打字稿防止对超类型的断言

Question

是否有一个 Typescript 编译器标志使得以下代码无法编译？

interface A {
    key: number
}    
var B = {} as A;

对于 A 的类型扩展 B 的任何情况。如要编译上述代码，则必须使用双重断言：var B = {} as any as A;

此场景的其他一些示例，其中 A 扩展了 B，但允许断言 B 属于 A 类型。

class A {
    public key = 1;
}
var B = {} as A;               // Would not want to compile

declare var A: number | null;
var B = A as number;           // Would not want to compile

Answer 1

我不确定你的最终目标是什么，但我可以解释一下为什么下面的代码可以编译：

interface A {
    key: number
}    
var B = {} as A;

TypeScript 有一个结构化的类型系统。您使用与任何其他类型兼容的空对象 {}。这就是为什么没有错误。

不过，试着更好地描述你的目标。