为何TypeScript不对函数返回的对象进行多余属性检查？

这个问题戳中了TypeScript类型检查里一个容易混淆的细节，我给你拆解明白～

首先得先搞清楚多余属性检查（Excess Property Checks）是什么：它其实是TS给我们加的一个「贴心保护」，不是类型系统的核心规则。当你把对象字面量直接赋值给一个明确的类型变量/函数参数时，TS会额外检查有没有多余的属性——比如你第一个例子里的handle({name:'', hello:'world'})，这里对象字面量直接传给了期望SomeType的参数，TS觉得你大概率是手滑多写了属性，所以直接报错。

那为什么第二个例子handle2(() => ({name:'', hello:'world'}))不报错呢？

原因在于，当对象字面量作为函数返回值时，TS的处理逻辑不一样：它会先把这个字面量「拓宽」成一个更宽泛的类型（比如{ name: string; hello: string }），然后判断这个宽泛类型是否兼容目标类型SomeType。而TypeScript用的是结构类型系统（鸭子类型），只要目标类型的所有属性都存在，多余的属性不会影响兼容性——所以这个返回类型是可以赋值给SomeType的，自然不会触发多余属性检查。

你可以再试一个场景验证：如果先把对象字面量赋值给一个变量，再让函数返回这个变量，同样不会报错：

const obj = { name: '', hello: 'world' };
handle2(() => obj); // 完全没问题

这是因为obj的类型已经被拓宽成包含hello的类型了，它和SomeType是兼容的。

那如果想让函数返回的对象也触发多余属性检查怎么办？很简单，显式指定函数的返回类型就行：

handle2((): SomeType => ({
  name: '',
  hello: 'world' // 这里就会报错啦：对象文字可以只指定已知属性，并且“hello”不在类型“SomeType”中
}));

当你明确告诉TS这个函数必须返回SomeType时，它就会对返回的对象字面量启用多余属性检查，和第一个例子的逻辑一致了。

总结一下：多余属性检查是TS的额外校验机制，只针对「对象字面量直接赋值给明确类型」的场景；函数返回的对象因为经过类型拓宽，属于兼容赋值范畴，所以不会触发这个检查——除非你主动约束返回类型。

备注：内容来源于stack exchange，提问作者Arthur Attout