TypeScript中如何实现对象按键分发联合而非合并键？泛型函数类型适配求助

我太懂你这个困扰了——TypeScript处理泛型和联合类型的时候，总爱把联合里各个对象的键给“捏”成一个大集合，而不是按我们想的那样，给每个联合成员单独生成对应的返回类型，确实挺闹心的！

咱们先拆解下问题根源：你原来的objectify泛型是绑在键类型T extends string上的，当传入的参数是{a: number} | {b: number}这种联合对象时，TypeScript会把T推断成"a" | "b"，自然就会生成一个包含所有键的返回对象，而不是我们要的联合类型。要解决这个，核心就是让泛型在联合类型上“自动分发”，给每个联合成员单独处理。

解决方案：调整泛型指向，利用TypeScript的分布式泛型特性 #

我们把泛型的关注点从「键的类型」转移到「整个对象的类型」上，让TypeScript对联合里的每个对象单独做类型推导，而不是合并所有键。

先重写你的objectify函数：

// 先定义一个工具类型，专门处理单个对象的转换
type Objectified<T extends Record<string, number>> = {
  [K in keyof T]: { value: T[K] }
};

// 调整泛型约束，让T接收整个对象（支持联合类型），利用分布式特性自动分发
function objectify<T extends Record<string, number>>(o: T): Objectified<T>;

// 函数实现部分不用改，还是原来的逻辑
function objectify(o: any) {
  const output = {} as any;
  for (const key in o) {
    output[key] = { value: o[key] };
  }
  return output;
}

为什么这样能解决问题？ #

当你传入一个联合类型的对象（比如{a: number} | {b: number}）时，TypeScript的泛型会触发分布式条件类型的特性——它会把联合拆成单个成员，分别应用Objectified类型，最后再把结果重新组合成联合。换句话说：

• 传入{a: number} → 得到{a: {value: number}}
• 传入{b: number} → 得到{b: {value: number}}
• 传入联合时，最终返回{a: {value: number}} | {b: {value: number}}，完全符合你的需求！

再适配你的业务代码 #

现在回头看你的objectifyDatum函数，类型推断会完全正常工作：

const data = { first: { a: 1 }, second: { b: 2 } };

function objectifyDatum<K extends keyof typeof data>(k: K) {
  // 这里TypeScript不再报错了！因为objectify现在接受联合中的任意对象
  return objectify(data[k]);
}

// 现在objectifiedDatum的类型是{a: {value: number}}，完美匹配传入的'first'
const objectifiedDatum = objectifyDatum('first');
// 如果传'second'，类型自动变成{b: {value: number}}
const objectifiedDatum2 = objectifyDatum('second');

额外小技巧：强制分发的工具类型 #

如果你想更明确地控制分发逻辑，也可以把Objectified改成带条件判断的形式，确保即使T不是联合也能正常工作：

type Objectified<T> = T extends Record<string, number> ? {
  [K in keyof T]: { value: T[K] }
} : never;

这样写的好处是，只要T是符合Record<string, number>的类型（不管是不是联合），都会被正确处理，类型安全拉满。

总结一下：核心就是把泛型的绑定对象从「键的联合」换成「对象的联合」，借TypeScript的分布式泛型特性，让每个对象成员单独被处理，而不是被强行合并成一个大对象。

内容来源于stack exchange