为什么TypeScript不对隐式类型返回对象的多余无效属性抛出错误？

问题原因 #

这个现象是TypeScript的多余属性检查（Excess Property Checking） 的触发规则导致的：

• TypeScript默认采用结构子类型（鸭子类型）的兼容判定规则：只要一个对象包含目标类型要求的所有必填属性，哪怕存在额外属性，也会被判定为和目标类型兼容。
• 多余属性检查（也就是你想要的「禁止多余字段」的校验），仅在直接将对象字面量赋值给显式标注了类型的变量/参数时才会触发，其他场景只会做基础的结构兼容校验。

对应到你的代码示例：

1. expected函数中，你给cats变量显式标注了Record<keyof CatInfo, CatInfo>类型，且直接把对象字面量赋值给它，触发了多余属性检查，因此boris字段会正确报错。
2. notExpected函数中，cats变量没有显式标注类型，TypeScript会自动推导它的类型为包含age/breed/boris三个字段的对象类型。当你把这个变量作为返回值返回时，只会做结构兼容校验：这个推导出来的类型完全包含目标返回类型要求的所有属性，因此TypeScript会判定为合法，不会触发多余属性检查。

解决方法 #

如果要强制禁止返回多余属性，可以自定义Exact工具类型实现严格校验：

interface CatInfo {
  age: number;
  breed: string;
}

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

// 结合泛型+Exact实现严格校验
function getCats<T extends Record<keyof CatInfo, CatInfo>>(): Exact<Record<keyof CatInfo, CatInfo>, T> {
  // 此时如果返回的对象包含多余字段，会直接触发报错
  return {
    age: { age: 4, breed: 'oo'},
    breed: { age: 10, breed: "Persian" },
    boris: { age: 5, breed: "Maine Coon" }, // 此处会触发错误提示
  } as Exact<Record<keyof CatInfo, CatInfo>, T>;
}

另外也可以在团队规范中约定，要求返回值直接返回对象字面量，不要先赋值给无类型标注的临时变量再返回，也能自动触发多余属性检查。

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