为何空对象可被TypeScript类型断言为任意类型？

先看你给出的代码示例：

let wow = {} as boolean //No errors O.O
let wow2 = {} as [] //No errors O.O
let wow3 = {} as Function //No errors O.O
let wow4 = {} as number //No errors O.O
let wow5 = {} as string //No errors O.O
let wow6 = {} as symbol //No errors O.O

出现这种情况的原因可以从这几点理解：

• 类型断言只是编译器提示，不是运行时转换：as关键字的作用是告诉TypeScript编译器“我比你更清楚这个值的类型”，它不会修改{}的实际类型，只是让编译器跳过自动类型检查，所以只要不是完全离谱的类型转换，编译器不会拦着。

• JavaScript的类型转换特性支撑了这种断言：在JS里，空对象{}本来就可以被强制转换成各种类型——比如Boolean({})会得到true，Number({})得到NaN，String({})得到"[object Object]"，甚至可以尝试把它当作函数调用（虽然运行时会报错，但语法上是允许的）。TypeScript的类型系统会考虑这种运行时的可能性，所以不会禁止这类断言。

• 编译器的检查逻辑：只有当两种类型完全没有任何重叠或转换可能时（比如'abc' as 123这种字面量类型互转），编译器才会报错。而{}属于宽泛的object类型，和其他类型之间存在运行时转换的可能，所以编译器允许你做这种断言。

哪怕开启了TypeScript的严格模式，这类断言也不会报错——毕竟TypeScript的设计就是在类型安全和开发灵活性之间找平衡，允许开发者在明确场景下绕过自动检查。

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