TypeScript中函数返回值Partial类型检查未达预期严格度

我明白你的问题了——你想要让check函数严格限制传入的函数返回值只能是Partial<IUser>的结构：既不能包含接口外的额外属性，也不能有类型不匹配的属性，但当前的写法因为TypeScript的结构类型特性（鸭子类型），没法做到这么严格（比如返回{name: 'Bob', extra: 1}这类带额外属性的对象，TypeScript会认为它兼容Partial<IUser>而不报错）。

下面给你两种可行的解决方案：

方案1：定义严格版的Partial工具类型 #

我们可以自己实现一个StrictPartial<T>，它不仅继承了Partial<T>的可选属性特性，还会禁止任何不属于T的额外属性：

interface IUser {
  name: string;
  age: number;
}

// 严格版Partial：仅允许T的可选属性，禁止额外属性
type StrictPartial<T> = {
  [K in keyof T]?: T[K];
} & Record<Exclude<keyof any, keyof T>, never>;

// 修改check函数的参数类型为StrictPartial<IUser>
function check(f: () => StrictPartial<IUser>) {
  return f;
}

测试案例 #

• 合法的情况（不会报错）：

  check(() => ({ name: "Alice" })); // 仅包含name属性
  check(() => ({ age: 30 }));       // 仅包含age属性
  check(() => ({}));                // 空对象
  

• 非法的情况（会触发TypeScript错误）：

  check(() => ({ name: "Bob", extra: "oops" })); // 错误：额外属性extra不存在于StrictPartial<IUser>
  check(() => ({ age: "30" }));                  // 错误：age类型应为number，而非string
  

方案2：在函数内部添加编译时断言 #

如果你不想额外定义工具类型，也可以在check函数内部通过条件类型来做编译时的严格检查，确保返回值没有额外属性：

interface IUser {
  name: string;
  age: number;
}

function check<T extends () => Partial<IUser>>(f: T): T {
  // 提取传入函数的返回值类型
  type FuncReturnType = ReturnType<T>;
  // 找出返回值中不属于IUser的额外属性
  type ExcessKeys = Exclude<keyof FuncReturnType, keyof IUser>;
  // 断言：如果存在额外属性，ExcessKeys不会是never，触发类型错误
  type AssertNoExcess = ExcessKeys extends never ? true : false;
  const _assert: AssertNoExcess = true;

  return f;
}

这种方式的原理是利用TypeScript的条件类型特性：如果传入的函数返回值有额外属性，ExcessKeys就不会是never，此时AssertNoExcess会被推导为false，而我们给_assert赋值为true就会触发类型不匹配的错误。

为什么原写法不严格？ #

TypeScript的结构类型系统是“兼容即合法”的，只要一个对象包含目标类型的所有必要属性（对于Partial<IUser>来说，只要属性都是IUser里的即可，额外属性不影响兼容性），就会被认为是符合类型要求的。上面的两种方案都是通过限制额外属性的类型为never，或者通过条件类型断言来打破这种兼容性，从而实现严格检查。

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