为何能将其他类型值赋值给空类类型变量？TypeScript类型检查疑问

TypeScript采用的是结构类型系统，这就是你遇到这种赋值差异的核心原因——它不关心类型的“名义”（比如类的名字），只检查两个类型的结构是否兼容。

1. 空类能接受其他类型赋值的原因 #

当你定义一个空类MyClass时，它没有任何属性或方法。在结构类型检查规则下，只要某个值的结构不违反目标类型的约束（也就是至少拥有目标类型的所有成员），就可以赋值。因为空类没有任何成员，所以任何对象（比如new Date()创建的实例）都满足这个条件，编译器自然不会报错：

class MyClass {}

const myClass: MyClass = new Date() // 无报错

2. Boolean类型赋值报错的原因 #

Boolean是JavaScript的内置包装类，它拥有自己的结构：比如它的valueOf()方法返回的是原始boolean类型。而Date的valueOf()方法返回的是number类型（时间戳）。TypeScript在检查结构兼容性时，会对比方法的返回值类型，发现两者不兼容，因此抛出错误：

const b: Boolean = new Date() 
/*
Type 'Date' is not assignable to type 'Boolean'.
  The types returned by 'valueOf()' are incompatible between these types.
    Type 'number' is not assignable to type 'boolean'.
*/

总结 #

TypeScript的类型检查逻辑确实是基于结构而非名义：只要一个值的结构满足目标类型的所有要求（属性、方法的类型都匹配），就可以赋值，不管它的实际类型名字是什么。空类因为没有结构约束，所以几乎所有对象都能兼容；而像Boolean这种有明确结构的类型，会严格校验成员的类型兼容性。

内容的提问来源于stack exchange，提问作者proninyaroslav