为什么TypeScript使用类型断言时不会检查缺失的必填属性？

type Person = {
    name: string,
    age: number,
}

// 正常触发缺少'age'属性的报错
const demo: Person = {
    name: 'test',
} 

// 未触发缺少'age'属性的报错？
const demo2 = {
    name: 'test',
} as Person

// 未触发缺少'age'属性的报错？
const demo3 = {
    people: [{
        name: 'test',
    }] as Person[]
}

为什么使用as做类型断言时不会检查对象必填键 #

TypeScript 对两种类型标注方式的校验逻辑完全不同：

• 用:标注的类型注解（例如代码里的const demo: Person = { ... }）：要求编译器严格校验右侧值是否完全匹配目标类型的结构，缺少必填属性、存在未定义的多余属性都会直接报错，是默认最安全的类型标注方式。
• 用as声明的类型断言：本质是开发者手动向编译器保证「这个值的类型一定符合我声明的目标类型，不需要你做额外校验」，仅会在源类型和目标类型完全无兼容可能性时抛出错误，其余场景都会直接跳过严格的结构校验，包括必填属性检查、多余属性检查。

demo2、demo3没有触发报错的原因完全符合上述逻辑：

1. demo2中{name: 'test'}的推导类型是{name: string}，和定义的Person类型存在兼容关系（Person包含了{name: string}的所有结构），所以as Person的断言直接被编译器放行，不会校验是否缺少age属性。
2. demo3中直接将数组断言为Person[]，编译器会直接采信你的断言，不会遍历检查数组内每个元素是否符合Person的结构要求。

避免漏检的方案 #

如果想要避免断言跳过校验带来的风险，可以选择两种更安全的写法：

1. 优先用类型注解代替类型断言，这是最稳妥的方案，能触发所有默认的类型校验逻辑。
2. 如果需要保留值的原始推导类型，可以使用TS 4.9新增的satisfies操作符，它会先校验值是否符合目标类型的要求，再保留值的原始推导类型，不会像as一样直接跳过校验：

const demo2 = {
    name: 'test',
} satisfies Person // 会正常触发缺少age属性的报错

补充说明：as不是完全不做任何校验，如果源类型和目标类型完全不兼容，比如写'string' as Person，编译器还是会抛出错误，只有当两个类型存在兼容可能时才会跳过严格结构校验。

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