TypeScript类型报错：{[x:string]:number}无法赋值给联合类型T的解决方法

问题原因 #

TypeScript无法自动推断{ [k]: v }的具体类型属于联合类型T = { a: number } | { b: number }的哪一个分支，会将其泛化为{ [x: string]: number }索引签名类型。而索引签名类型无法匹配联合类型的任一分支要求（比如分支{ b: number }要求必须有b属性），因此触发类型不兼容报错。

解决方案 #

1. 泛型约束关联参数与返回类型

通过泛型约束让k的类型和返回对象的类型强关联，让TypeScript能精确推断出对象属于T的某一个分支：

type T = { a: number } | { b: number };

function func<K extends 'a' | 'b'>(k: K, v: number): T {
  return { [k]: v } as { [key in K]: number };
}

// 调用时TS能精确推断类型
const t1 = func('a', 1); // 类型为 { a: number }
const t2 = func('b', 2); // 类型为 { b: number }

2. 直接使用类型断言

如果能确保业务逻辑中{ [k]: v }必然符合T的结构，可以直接用类型断言告诉TypeScript该对象的类型：

type T = { a: number } | { b: number };

function func(k: 'a' | 'b', v: number) {
  const t: T = { [k]: v } as T;
  // 后续业务逻辑
}

注意：这种方式需要开发者自行保证类型安全，避免出现不符合T结构的赋值。

3. 条件类型精确匹配分支

通过条件类型为不同的k值指定对应的对象类型，再赋值给T：

type T = { a: number } | { b: number };
// 根据k的类型映射到对应的T分支
type KeyToObj<K extends 'a' | 'b'> = K extends 'a' ? { a: number } : { b: number };

function func<K extends 'a' | 'b'>(k: K, v: number): T {
  return { [k]: v } as KeyToObj<K>;
}

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