TypeScript - 类型交集＆amp;这个关键字

Question

有什么区别：

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

和

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

Answer 1

this类型取决于实现类，因此给定第一个定义，以下将进行类型检查：

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的第二个定义，ff.g()不会进行类型检查，因为g上未定义MyType & string。