TypeScript中为何将null断言为number|undefined无报错？

问题场景 #

以下代码中，直接将包含null值的对象断言为T2类型时未报错，但直接赋值却触发类型错误，这与预期不符：

type T1 = {
    value: number | null
}
type T2 = {
    value?: number
};

const v1: T1 = {
    value: null
};
const v2: T2 = {
    // 如预期报错：Type 'null' is not assignable to type 'number | undefined'.
    value: v1.value
}
const v3 = {
    // 无报错
    value: v1.value
} as T2

原本以为必须先断言为unknown才能完成这类转换，示例如下：

const v4 = ({
    value: v1.value
} as unknown) as T2

根据TypeScript手册描述：

TypeScript仅允许转换为类型的更具体或更不具体版本的类型断言。

想明确：这种{ value: number | null }断言为T2（{ value?: number }）的转换，属于更具体还是更不具体的类型转换？

解答 #

直接赋值报错的逻辑 #

直接给T2类型变量赋值时，v1.value的类型是number | null，但T2的value属性类型是number | undefined。null和undefined是TypeScript中相互独立的基础类型，不存在子类型关系，因此类型检查会触发错误，这是正常的类型安全校验行为。

类型断言未报错的逻辑 #

TypeScript对对象类型之间的断言检查，比直接赋值的类型校验要宽松。当你使用as T2断言时，TypeScript默认你明确知晓自己的操作，会绕过常规的属性类型精确匹配校验——只要两个对象类型的结构存在兼容性（比如都包含value属性，且属性类型都是number的联合类型），就允许这种断言操作。

关于"更具体/更不具体"的界定 #

从类型覆盖范围来看：

• T2是可选属性对象：允许value为number、undefined，甚至可以完全不包含value属性；
• 断言前的对象类型是必选属性对象：value只能是number或null，且必须存在该属性。

这种转换既不属于严格意义上的"更具体"，也不属于"更不具体"。手册中的描述是对类型断言规则的简化概括，实际TypeScript允许对象类型之间的断言，只要它们的属性结构存在重叠兼容，而不仅仅局限于单一类型的上下位关系。

另外，你提到的先断言为unknown再转T2的写法，是一种更彻底的强制类型转换方式：unknown是所有类型的父类型，任何类型都可以转换为unknown，再从unknown转换为任意类型，这种方式会完全绕过TypeScript的兼容性检查，属于更激进的类型断言写法。

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