如何让TypeScript为函数参数实现基于父类键的强类型约束

为什么第一个示例（对象属性）能约束，第二个（函数参数）不行？ #

你原来的写法存在泛型循环推断的问题：

• 第一个示例中，U extends Record<string, KeysToObject<U>> 里，KeysToObject<U> 依赖 U 的键集合，而 U 又依赖 KeysToObject<U> 的类型。TypeScript 处理对象字面量时能勉强完成推断，但原写法并没有严格禁止额外键（你提到的未触发错误就是这个原因）。
• 第二个示例中，函数参数的类型是逆变的，TypeScript 面对这种循环约束时会放宽推断，把 KeysToObject<U> 推断成宽泛的 Record<string, string>，导致允许任意字符串键，自然不会报错。

正确的实现方式 #

核心思路是提取键类型作为泛型参数，避免循环依赖，让约束逻辑更清晰：

修复第一个示例（create_object_a）

// 定义基于键集合的对象类型
type KeysToObject<K extends string> = { [P in K]: string };

// 用键类型K约束输入对象的每个属性必须匹配KeysToObject<K>
function create_object_a<K extends string>(input: Record<K, KeysToObject<K>>) {}

create_object_a({
  abc: {
    abc: "hi", // ✅ 正常
    xyz: "hi"  // ❌ 报错：类型“KeysToObject<"abc">”上不存在属性“xyz”
  }
});

修复第二个示例（create_object_b）

同样用键类型K约束函数参数的类型：

function create_object_b<K extends string>(input: Record<K, (x: KeysToObject<K>) => any>) {}

create_object_b({
  abc: (x) => {
    x.abc = "hello"; // ✅ 正常
    x.xyx = "hello"; // ❌ 报错：类型“KeysToObject<"abc">”上不存在属性“xyx”
  }
});

更严谨的约束（可选） #

如果需要禁止输入对象包含额外键（比如不允许{abc: ..., def: ...}这种超出K的键），可以用严格类型定义：

type StrictRecord<K extends string, V> = { [P in K]: V } & Record<Exclude<string, K>, never>;

function create_object_a<K extends string>(input: StrictRecord<K, KeysToObject<K>>) {}

这样输入额外键时会直接触发错误。

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