TypeScript类型断言合法性校验规则及特殊场景疑问

核心规则概述 #

TypeScript判断类型断言是否合法，核心依据是两个类型的重叠程度：若类型间存在足够的兼容关系（比如一方是另一方的子集/超集、属于同一类型族、有公共属性覆盖），则断言合法；若完全无重叠或重叠程度不足，TypeScript会抛出ts(2352)错误，防止误操作。

一、为什么(5)(6)(7)触发ts(2352)错误 #

逐个分析示例：

• (5) b as typC：typB包含name/age属性，typC仅含isGraduated，两者无任何公共属性，也不存在继承/兼容关系，完全没有类型重叠，TypeScript判定这大概率是误操作，因此报错。
• (6) b as typD：虽然typB和typD都有age属性，但typB的必填属性name与typD的必填属性address完全无关，TypeScript认为这种局部重叠程度不足以支撑合法断言，因此报错。
• (7) 1 as string：基本类型number和string属于完全独立的类型族，无任何兼容可能，直接触发错误。

二、为什么(8)(9)(10)(11)可以通过 #

这些都是双重断言，利用了TypeScript中三个特殊类型的特性绕过直接断言的重叠检查：

• unknown：所有类型都可断言为unknown，同时unknown可断言为任何类型——它是类型系统的“中立中转枢纽”。
• any：完全绕过类型检查，任何类型与any之间的断言都不受限制。
• never：TypeScript的底部类型，所有类型都可断言为never，同时never可断言为任何类型（因为never代表不可能存在的值，理论上可转换为任意类型）。

对应示例：

• (8)(11)：先将原类型断言为never（合法），再从never断言为目标类型（合法），双重断言绕过了直接检查。
• (9)：先断言为unknown（合法），再从unknown断言为目标类型（合法），完成中转。
• (10)：先断言为any（合法），再从any断言为目标类型（合法），any本身不受类型约束。

补充：为什么(1)(2)(3)(4)合法 #

• (1)(2)：typEmpty是空对象类型，TypeScript中任何非基本类型都可断言为空对象类型（空对象类型代表“可包含任意属性的对象”），因此合法。
• (3) a as typB：typA是typB的子集（typB包含typA的所有属性），TypeScript允许从子集断言为超集（相当于“补全属性”的扩展操作）。
• (4) b as typA：typB是typA的超集，允许从超集断言为子集（相当于“忽略多余属性”的收缩操作）。

内容的提问来源于stack exchange，提问作者LeoPkm2-1