TypeScript强类型对象循环约束问题：如何在无冗余代码的前提下同时约束对象键与值类型

我完全理解你的痛点——既要让对象的键保持强类型（支持自动补全、禁止访问不存在的键），又要约束值的类型，还不想重复写键名。你尝试的几种写法要么丢失了键的类型信息，要么出现循环约束，要么有冗余代码，确实让人头疼。

这里有个非常优雅的解决方案：使用泛型辅助函数，它能让TypeScript自动推导对象的具体键，同时强制每个值都符合你指定的类型，完全没有冗余代码。

解决方案代码 #

// 定义一个泛型辅助函数，约束值的类型为 (name: string) => string
function createGreetingObject<T extends Record<string, (name: string) => string>>(obj: T): T {
  return obj;
}

// 用这个函数创建你的对象
const example = createGreetingObject({
  morning: (name) => `Good morning ${name}!`,
  evening: (name) => `Good evening ${name}!`
});

为什么这能解决问题？ #

• 键的强类型：TypeScript会自动推导example的键为"morning"和"evening"，所以编辑器会提供精准的自动补全，如果你尝试访问example.doesntexist，会立刻得到类型错误。
• 值的类型约束：泛型约束T extends Record<string, (name: string) => string>确保了对象里的每个值都必须是接受string类型参数、返回string的函数。比如如果你不小心写了morning: (name: number) => ...，TypeScript会直接报错。
• 无冗余代码：你只需要写一遍键名，不需要在类型注解里重复声明。

另一种可选方案（多一个变量，但也无冗余） #

如果你不想用辅助函数，也可以先定义原始对象，再用映射类型约束值的类型：

// 先定义原始对象，让TypeScript推导键的类型
const exampleRaw = {
  morning: (name) => `Good morning ${name}!`,
  evening: (name) => `Good evening ${name}!`
};

// 用映射类型约束每个值的类型
type ExampleType = {
  [K in keyof typeof exampleRaw]: (name: string) => string;
};

// 赋值并应用类型约束
const example: ExampleType = exampleRaw;

这种方法同样能达到效果，但需要多写一个中间变量，不如辅助函数简洁。

验证效果 #

• 尝试访问不存在的键：console.log(example.doesntexist) → 类型错误
• 尝试传入不符合类型的参数：morning: (name: number) => ... → 类型错误
• 编辑器会自动补全morning和evening两个键

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