TypeScript中lambda返回Partial允许额外属性而普通函数报错问题咨询

问题原因 #

这个行为是TypeScript两个核心设计规则共同作用的结果：

1. 多余属性检查仅在对象字面量直接赋值给明确标注类型的位置时触发
   普通函数声明时你显式指定了返回值类型为Partial<IContext>，return后的对象字面量属于直接赋值给明确类型的返回值位置，所以会触发多余属性检查，额外的c属性会直接报错。
   而lambda赋值给PFactory类型变量时，TypeScript的检查逻辑是先推导lambda的返回值类型，再判断该函数整体是否和PFactory类型兼容。这时候对象字面量没有直接赋值给Partial<IContext>类型，会先被推导为{a: number, b: string, c: number}，TS只要判断这个类型是Partial<IContext>的子类型（包含所有要求的可选属性）就会判定兼容，不会触发多余属性检查。
2. 函数返回值默认采用协变规则
   你观察到的函数赋值合法的情况是TS的默认设计：允许返回值属性更多、类型更具体的函数，赋值给返回值类型更宽泛的函数变量，这种协变在大多数业务场景下是安全的，所以TS默认允许。

解决方案 #

你可以通过类型定义限制返回值不能存在IContext以外的属性，强制触发多余属性检查，修改后的PFactory定义如下：

type NoExtraProps<Base, T> = T extends Base 
  ? T & Record<Exclude<keyof T, keyof Base>, never> 
  : never;

type PFactory = <T extends Partial<IContext>>() => NoExtraProps<IContext, T>;

修改后测试原代码：

const pf1: PFactory = () => ({}); // 无报错，符合预期
const pf2: PFactory = () => ({a: 1, b: "foo"}); // 无报错，符合预期
const pf3: PFactory = () => ({a: 1, b: "foo", c: 3}); // 报错：c属性不能赋值给never类型，符合预期
const pf4: PFactory = () => ({c : 3}); // 报错：c属性不能赋值给never类型，符合预期

该类型的核心逻辑是把所有不在IContext定义内的属性的类型强制设为never，只要返回对象字面量包含额外属性，就会出现类型不匹配的错误。

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