能否通过TypeScript函数类型强制实现「无未知属性」约束？

这是个非常好的问题，触及了TypeScript类型系统里一个容易混淆的细节——对象字面量的新鲜度检查（Freshness Check），我来给你拆解清楚：

一、为什么最后一个示例不报错？ #

TypeScript对直接写出的对象字面量会执行特殊的「新鲜度检查」：当你把一个对象字面量直接关联到明确类型（比如第一个例子里，函数返回类型明确是{status: string}，直接返回字面量），TS会严格检查字面量是否有类型中未定义的属性，这是为了帮你避免拼写错误或者多余属性的意外引入。

但在第三个例子中，情况不一样：

1. 你先定义了一个匿名函数，它的返回值会被TS自动推断成{status: string; bar: string}；
2. 然后把这个匿名函数赋值给类型为() => {status: string}的变量foo。

这时候，对象字面量的「新鲜度」已经消失了——新鲜度检查只在字面量直接绑定到目标类型时触发。当字面量作为函数返回值，先被推断成更宽泛的类型，再通过TypeScript的结构类型兼容性（子类型可以赋值给父类型）匹配函数的返回类型时，TS不会再检查多余属性，因为{status: string; bar: string}是{status: string}的子类型，符合赋值规则。

二、如何强制实现「无额外属性」的约束？ #

如果你需要严格禁止返回对象包含额外属性，可以用以下几种方法：

方法1：使用satisfies关键字（TS 4.9+ 支持） #

satisfies可以让你在保持类型推断的同时，强制表达式满足指定类型，而且会触发对象字面量的新鲜度检查：

const foo = (() => {
  return {
    status: '200 OK',
    bar: 'baz' // 报错：对象字面量只能指定已知属性，'bar'不在类型'{ status: string; }'中
  };
}) satisfies () => {status: string};

方法2：定义Exact精确类型 #

通过条件类型实现一个Exact类型，确保返回类型和目标类型完全匹配，没有多余属性：

// 定义精确匹配类型：只有当T和U完全一致时才通过
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

// 使用Exact约束函数返回类型
const foo: () => Exact<{status: string}, ReturnType<typeof foo>> = function() {
  return {
    status: '200 OK',
    bar: 'baz' // 报错：类型'{ status: string; bar: string; }'不能赋值给类型'never'
  };
};

方法3：在返回值处直接用satisfies约束 #

更直接的方式，在返回对象时就用satisfies绑定目标类型，写的时候就能立刻发现多余属性：

const foo: () => {status: string} = function() {
  return {
    status: '200 OK',
    bar: 'baz' // 报错：对象字面量只能指定已知属性，'bar'不在类型'{ status: string; }'中
  } satisfies {status: string};
};

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