如何在TypeScript中检查扩展运算符类型及阻止指定代码编译？

1. 如何在TypeScript中对扩展运算符进行类型检查？ #

TypeScript对扩展运算符的类型检查逻辑会根据操作对象（对象/数组）有所不同，下面分场景说明具体的检查方式：

针对对象扩展 #

默认情况下，TypeScript会自动合并扩展对象与目标对象的类型，只要扩展属性与目标类型兼容就不会报错。如果需要严格控制扩展后的类型完全符合预期，可以这么做：

• 启用严格模式：在tsconfig.json中开启strict: true，尤其是strictPropertyInitialization和noImplicitAny这两个子配置，它们会让编译器对未初始化属性、隐式any类型进行严格校验，避免扩展时引入不符合类型的属性。
• 自定义Exact工具类型：如果要强制合并后的对象没有多余属性，可以实现一个Exact工具类型来做严格匹配：

  type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;
  
  // 合法示例：扩展源仅包含目标类型属性
  const validSource = { a: "test" };
  const result: Exact<{ a: string }, typeof result> = { ...validSource }; // 正常通过
  
  // 非法示例：扩展源带有多余属性
  const invalidSource = { a: "test", b: 123 };
  const badResult: Exact<{ a: string }, typeof badResult> = { ...invalidSource }; // 报错：类型不匹配
  

• 显式标注扩展源类型：给扩展对象指定类型，确保它是目标类型的子集，比如：

  type Target = { a: string };
  const source: Partial<Target> = { a: "hello" };
  const merged: Target = { ...source }; // 若source缺少a属性，严格模式下会直接报错
  

针对数组扩展 #

数组扩展的类型检查相对直观，TypeScript会自动推断合并后的数组类型为原数组类型的联合：

const nums = [1, 2, 3];
const strings = ["a", "b"];
const merged = [...nums, ...strings]; // 类型自动推断为 (string | number)[]

如果需要强制合并后的数组为特定类型，直接显式标注即可：

const merged: number[] = [...nums, ...strings]; // 报错：string类型无法赋值给number类型

2. 如何让代码const bar: { a: string } = { a: '', ...{b: ''} }无法编译？ #

这段代码当前能正常编译的核心原因是：TypeScript的**多余属性检查（excess property checking）**仅在直接赋值对象字面量时触发，而通过扩展运算符引入的属性，编译器会默认认为是动态生成的对象，不会主动校验多余属性。要让它报错，有几种可行方案：

方案1：用Exact工具类型强制严格匹配 #

借助前面的Exact工具类型，强制bar的类型严格等于{ a: string }，不允许任何多余属性：

type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

const bar: Exact<{ a: string }, typeof bar> = { a: '', ...{b: ''} }; 
// 报错：类型 "{ a: string; b: string; }" 不满足类型 "Exact<{ a: string; }, { a: string; b: string; }>"

方案2：显式约束扩展对象的类型为无属性 #

把扩展的{b: ''}断言为Record<string, never>（表示该对象不能有任何属性），编译器会直接检测到类型冲突：

const bar: { a: string } = { a: '', ...({b: ''} as Record<string, never>) };
// 报错：类型 "{ b: string; }" 不能赋值给类型 "Record<string, never>"

方案3：结合ESLint规则加强校验 #

在tsconfig.json中开启strict: true和noPropertyAccessFromIndexSignature: true，再配合ESLint的@typescript-eslint/no-unused-vars规则，不仅能在编译阶段对多余属性发出警告，还能通过配置将警告转为错误，彻底阻止代码编译。

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