活字体 - 型交差点＆このキーワード

Question

の違いは何ですか：

interface MyType { 
    f<T>(other: T): this & T; 
} 

と

interface MyType { 
    f<T>(other: T): MyType & T; 
} 

は？

this

Answer 1

タイプは第1の定義が与えられると、実装クラスに依存し、次のようです。TypeCheckます

class Foo implements MyType { 
    f<T>(other: T): T & this { ... } 
    g(): string { return "only in foo"; } 
} 

var foo: Foo 
var ff = foo.f("dsklf"); 
var s: string = ff.g(); 

ffためFoo & stringを入力し、したがってFooのサブタイプです。

MyTypeの2番目の定義を考えると

、ff.g()はMyType & stringに定義されていないので、gです。TypeCheckません。