TypeScriptがこのタイプガードのany型を絞り込んでいないのはなぜですか？

Question

次の例では、私を混乱させる：

class MyClass 
{ 
    public MyProp = ""; 
} 

var object: any = null; 

if (object instanceof MyClass) 
    console.log(object.MyProp, object.NonExistant); // <-- No error, no intellisense 

はなぜ確認コンテキスト内の正しい種類を与えるタイプのガードではないでしょうか？

Answer 1

User-defined type guardsとinstanceof type guards（anyとunionとintersectionタイプを含む）anyある狭いないタイプを行います。型ガードでanyを狭くなります

唯一のことは、typeofチェックを使用して、プリミティブstring、boolをチェックし、numberさ：

var something: any; 
if (typeof something === "string") 
{ 
    something.NonExistant(); // <- Error, does not exist on `string` 
    something.substr(0, 10); // <- Ok 
} 

他の一般的なtypeof演算値を、function、objectとundefinedは、上記の例のように使用しようとするとanyを絞り込みません。

open issueは、anyを、TS 2.0でマイルストーン化されたユーザ定義型ガード内のプリミティブに絞り込むことを可能にします。

これは、主な動機は、そのタイプ-ガードタイプが一般的に可能なタイプを狭めていると私たちは確信することができる複数のプロパティへのアクセスを取得しているように思わ意識しdesign decisionないバグ

ですチェックされたコンテキスト内に存在します。しかし、タイプanyをガードする場合は、すでに存在する可能性があるすべてのメンバーにアクセスできるので、実際にはあなたの例で期待したようにanyのタイプガードを行うと実際に制限されます。

もう1つの動機は、が他のタイプと同じように狭くなった場合には、too much crappy codeが存在しているようです。

回避策

あなたは、任意のクラスのインスタンスであることができ、変数を持っている場合は、予想通り、代わりにanyの種類Objectとタイプのガードを使用し動作します。