TypeScript 进阶特性：satisfies 运算符、TS 5.5 自动类型谓词推断与 isolatedDeclarations 并行构建优化
在现代 TypeScript（TS 4.9 ～ TS 5.6+）工程实践中，satisfies 运算符、自动类型谓词推断（Inferred Type Predicates） 与 isolatedDeclarations 独立声明生成 是解决“类型校验与字面量精确推导鱼和熊掌不可兼得”及“大型 Monorepo 类型构建慢”的三大核心特性。
一、 为什么需要 satisfies 运算符？（对比 : Type 显式注解与 as const）
当我们需要校验一个配置对象符合某个宽泛接口（如 Record<string, string | [number, number, number]>），但同时又希望保留每个属性最精确的字面量/具体类型以便后续直接调用字符串或数组方法时，传统 : Type 显式注解会把具体类型“抹平（Widen）”成联合类型：
type ColorValue = string | [number, number, number]
type ThemePalette = Record<'primary' | 'secondary', ColorValue>
// ✗ 痛点：使用 : ThemePalette 显式注解会丢失属性的具体类型！
const badTheme: ThemePalette = {
primary: '#2563eb',
secondary: [37, 99, 235],
}
// badTheme.primary.toUpperCase() -> ✗ 编译报错！因为 TS 认为 primary 是 string | [number, number, number]
// ✔ 破局：使用 satisfies 既严格校验键名拼写与值约束，又 100% 保留每个属性的精确推断类型！
const goodTheme = {
primary: '#2563eb',
secondary: [37, 99, 235],
} satisfies ThemePalette
goodTheme.primary.toUpperCase() // ✔ 完美通过！TS 精确知道 goodTheme.primary 是 string
goodTheme.secondary.map((n) => n) // ✔ 完美通过！TS 精确知道 goodTheme.secondary 是元组二、 TS 5.5+ 自动类型谓词推断（告别手写 x is NonNullable<T>）
在 TS 5.5 之前，[1, null, 2].filter(x => x !== null) 的返回类型仍然是 (number | null)[]，必须手动写类型守卫 (x): x is number => x !== null。TS 5.5+ 编译器现已能自动分析函数体控制流并自动推断出类型谓词（Type Predicate）：
const rawList: Array<string | null | undefined> = ['vue', null, 'react', undefined]
// TS 5.5+ 自动推断该箭头函数返回类型为 (item: string | null | undefined) => item is string
// 因此 validList 的类型直接收窄为 string[]！
const validList = rawList.filter((item) => item != null)三、 isolatedDeclarations：让 Monorepo .d.ts 生成提速 10 倍
在大型 Monorepo 中，tsc 之所以慢，是因为子包 B 必须等待子包 A 完成跨文件全量类型推导生成 .d.ts 后才能开始检查。开启 "isolatedDeclarations": true 后，TypeScript 强制要求所有模块导出的公开函数和变量必须显式标注返回类型，从而允许 Oxc / SWC / Babel 等极速单文件转译器无需运行 tsc 类型检查器，即可按单文件并行直出 .d.ts 声明文件！