typescript - 为什么在这种情况下接口(interface)不保护我？

Question

interface IA {
    readonly a: string;
    f(x: string): void;
}

class X implements IA {
    a;
    f(x) {
        this.a = 1;
    }
}

let x = new X().a;

令人惊讶的是，这段代码可以编译。

• 它将X.a 的类型推断为any，这是为什么呢？
• readonly 似乎不能保护我不修改 a.我用错了吗？

更新

https://github.com/Microsoft/TypeScript/issues/11578

Answer 1

几乎所有非类型化变量都隐含地是 any。您可以在编译器选项中禁用它:

  "noImplicitAny": true

此时您必须定义一个可以分配给基本接口(interface)类型的类型。

至于只读。它按预期工作:

您必须了解 typescript 和其他面向对象语言(如 C#)之间存在一些差异。也就是说，将一个类型变量赋值给另一个类型变量完全取决于右侧类型是否与左侧类型相交。即

let x: X = { a: "hello", f: (x) => { } };

完全有效。