TypeScript as、satisfies 与类型标注怎么选
类型标注、satisfies、as 是 TS 的三种类型约束方式：拓宽与安全、精确与校验、断言与信任。本文理清三者的语义差异与选择法则。
默认用类型标注（const x: T）；需要保留精确推导又要校验时用 satisfies；只有你比编译器知道更多时才用 as。安全等级：标注 > satisfies > as——能用更安全的就不用更灵活的。
类型标注：安全的默认
const theme: Theme = 'light'; // 校验 + 拓宽为 Theme
标注完成两件事：校验值合法、类型拓宽到标注类型。绝大多数场景这是正确答案——变量就该是声明的类型。
satisfies：校验但保持精确
const theme = 'light' satisfies Theme;
// 校验合法 ✓ 类型仍是字面量 'light' ✓
适用场景：配置对象、路由表——后续要用精确字面量做类型编程（keyof、映射）的地方。详见本系列《satisfies 运算符详解》。
as：断言即信任
const el = document.querySelector('#app') as HTMLDivElement;
无校验、纯信任——编译器放弃检查。只用于"编译器无法知道"的场景（DOM、外部数据），且优先考虑类型守卫替代。
三方对比
| 类型标注 | satisfies | as | |
|---|---|---|---|
| 校验值 | ✓ | ✓ | ✗ |
| 保留精确类型 | ✗（拓宽） | ✓ | ✓ |
| 安全等级 | 最高 | 高 | 低 |
组合使用
// 配置对象：satisfies 校验结构 + as const 精确化
const routes = {
home: { path: '/', auth: false },
admin: { path: '/admin', auth: true },
} as const satisfies Record<string, Route>;
as const satisfies T 是现代 TS 的黄金组合：值被校验、类型最精确、属性全只读。
常见问题（FAQ）
Q：函数返回值该用哪种？
显式返回类型标注——函数签名是契约，标注让实现与调用双方都有保障。
Q：satisfies 有运行时成本吗？
零成本——三者都是编译期概念。
Q：老代码大量 as 怎么治理？
ESLint 规则盘点 + 逐步替换：外部数据入口换 Zod 校验，DOM 断言保留，配置对象换 satisfies。
参考文档
本文依据公开文档整理，示例需按项目依赖版本验证；不将文档中的性能描述视为本项目实测结果。
