多余属性检查的作用是什么？结合TypeScript代码实例解析

先来看你提供的TypeScript代码：

interface SquareConfig{ color?: string; width?: number; }
interface Square{ color: string; area: number; }
function createSquare(config: SquareConfig): Square {
  let newSquare:Square = {color: "white", area: 100};
  if (config.color) {
    newSquare.color = config.color;
  }
  if (config.width) {
    newSquare.area = config.width * config.width;
  }
  return newSquare;
}

你提到的场景：当传入一个类型被推断为any的myObj时，TypeScript的编译检查器会直接放行，毕竟any会绕过所有类型校验——这和JavaScript的鸭子类型机制确实是一致的，鸭子类型只关心对象是否具备必要的属性，完全忽略多余属性。

那多余属性检查在这种场景下能帮到我们什么？其实要从两个层面来看：

1. 它是鸭子类型的「补漏安全层」，提前拦截手误 #

多余属性检查的核心设计目标，是针对直接传入字面量对象的场景——这也是日常开发中最容易出错的场景。比如你不小心把width写成了height：

// 这里会直接触发多余属性检查，编译报错：“height”不在类型“SquareConfig”中
createSquare({ color: "blue", height: 20 });

如果没有这个检查，JavaScript鸭子类型会直接忽略height，导致newSquare.area还是默认的100，你可能要到运行时才发现问题。而多余属性检查能在编译阶段就帮你揪出这种属性名拼写错误，或者不必要的属性传入。

2. 即使是any类型变量，在类型转换/断言时仍能发挥作用 #

虽然直接传入any类型的myObj不会触发检查，但当你尝试把这个any变量转换成SquareConfig类型时，多余属性检查就能帮你把关：

const myObj: any = { color: "green", height: 15 };

// 如果直接赋值，any转SquareConfig不会报错，但如果我们手动提取属性构建字面量：
const config: SquareConfig = {
  color: myObj.color,
  // 不小心把width写成height的话，立刻触发编译报错
  height: myObj.height
};

这种场景下，多余属性检查能帮你避免在类型转换过程中引入错误属性，确保最终传入createSquare的参数严格符合接口定义。

简单来说，多余属性检查并不是为了限制鸭子类型的灵活性，而是在TypeScript的类型系统之上，给你多一层编译阶段的错误防护——尤其是在大型项目中，它能帮你减少很多因属性名拼写错误、冗余属性导致的隐性Bug。

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