TypeScript中向类型添加额外属性未报错的原因及简便禁用方法

嗨，这个问题其实是TypeScript的结构子类型特性和对象字面量新鲜度检查在共同作用，咱们一步步说清楚：

为什么第一个例子不报错？ #

TypeScript是基于结构类型系统的——只要一个对象包含目标类型的所有必填属性，它就会被认为是目标类型的兼容类型。在第一个代码示例里：

type MyType = {
  propertyOne: string
  propertyTwo: number
}

export const someFunction = (line: MyType[]): MyType[] => {
  return line.map((t) => ({
    ...t,
    someAdditionalProperty: 'why is this legal',
  }))
}

map回调返回的对象虽然多了someAdditionalProperty，但它完全覆盖了MyType的所有属性，而且这个对象并没有直接赋值给一个显式标注为MyType的变量，所以TypeScript没有触发对象字面量新鲜度检查（这个检查只在直接赋值给显式类型变量时生效，用来防止意外添加额外属性），因此不会报错。

为什么第二个例子会报错？ #

而第二个例子里，你给map的回调函数显式标注了返回类型MyType：

type MyType = {
  propertyOne: string
  propertyTwo: number
}

export const someFunction = (line: MyType[]): MyType[] => {
  const someVariable: MyType[] =  line.map((t): MyType => ({
    ...t,
    someAdditionalProperty: 'why is this legal',
  }))
  return someVariable
}

这时候TypeScript会对回调的返回值做严格的类型校验，不允许出现MyType定义之外的属性，所以就会报错。但你说这样每个函数都加显式类型太麻烦，确实有更简便的解决办法。

简便禁用额外属性的方法 #

方法1：封装一个严格类型的map工具函数 #

你可以自己封装一个泛型map函数，强制回调的返回值严格匹配目标类型，这样不用每次都手动给回调标注返回类型：

type MyType = {
  propertyOne: string
  propertyTwo: number
}

// 封装严格的map函数，强制返回值类型为U
function strictMap<T, U>(arr: T[], callback: (item: T) => U): U[] {
  return arr.map(callback);
}

export const someFunction = (line: MyType[]): MyType[] => {
  // 调用时指定U为MyType，回调返回额外属性会直接报错
  return strictMap<MyType, MyType>(line, (t) => ({
    ...t,
    someAdditionalProperty: 'why is this legal', // 这里会立刻触发类型错误！
  }));
};

这样只需要在调用strictMap时指定目标类型，所有回调的返回值都会被严格校验，不用重复写返回类型标注。

方法2：自定义Exact工具类型强制精确匹配 #

如果你想让MyType本身就不允许有额外属性，可以定义一个Exact工具类型，用来确保对象只能包含指定的属性：

// Exact工具类型：确保T和U的属性完全一致，不能多也不能少
type Exact<T, U> = T extends U ? U extends T ? T : never : never;

type MyType = {
  propertyOne: string
  propertyTwo: number
}

export const someFunction = (line: MyType[]): Exact<MyType, MyType>[] => {
  return line.map((t) => ({
    ...t,
    someAdditionalProperty: 'why is this legal', // 这里会报错
  }));
};

这个方法适合需要全局确保类型精确性的场景，只要把返回类型改成Exact<MyType, MyType>[]，就能自动禁用额外属性。

方法3：调整TypeScript配置 #

开启tsconfig.json中的strictFunctionTypes配置（属于strict模式的一部分），它会让函数的参数和返回类型检查更严格，一定程度上能减少这类兼容问题，但可能会影响现有项目的类型校验，需要谨慎开启。

备注：内容来源于stack exchange，提问作者Karel Čančara