TypeScript如何推断“this”的类型?

推理策略 this

class A {
    s: String
    constructor() {
        this.s = "this is fine"
    }
    f() {
        console.log(this.s)
    }
}

let a = new A

a.f() // -> this is fine

let f1 = (new A).f
f1() // -> undefined

如果你把代码放进打字机里 Playground ,并检查 里面 f() ,您可以看到它被推断为 this: this ,表示 A

在这种情况下,我想这意味着 这 是绑定到 A ,并且不能引用全局对象。否则, 这 this: Any .

但实际上,正如 f1() f 在的上下文之外调用 A ,它仍然可能是全局对象。

所以在我看来 里面 应该是 ,不是 这个:这个 . 只有当函数 f级 这个:这个 . 例如:

class A {
    s: String
    constructor() {
        this.s = "this is fine"
    }
    f = () => {
        console.log(this.s)
    }
}

let a = new A

a.f() // -> this is fine

let f1 = (new A).f
f1() // -> this is fine

这