TypeScript泛型条件无法精准推导类型，求自动推断解决办法

先看你遇到问题的代码：

type TypeToValue = {
  one: number;
  two: string;
};
function MyFunction<T extends keyof TypeToValue>(
  value: TypeToValue[T],
  type: T,
) {
  if (type === 'one') return value.toFixed(2); // 报错："Property 'toFixed' does not exist on type 'string | number'."
  if (type === 'two') return value.toString()
  throw Error('invalid type')
}

问题根源在于：当泛型T是keyof TypeToValue的联合类型（即'one' | 'two'）时，TypeScript无法通过type === 'one'的判断，将value的类型从TypeToValue[T]（此时为number | string）收窄到具体的number。因为泛型参数T是在函数调用时确定的，函数内部无法对泛型做精确的分支收窄。

下面提供两种可行的解决方案：

方案1：使用可辨识联合类型作为参数（推荐） #

把参数合并成一个可辨识联合类型，让TypeScript能通过type字段自动关联value的类型：

type TypeToValue = {
  one: number;
  two: string;
};

// 生成可辨识联合类型的参数结构
type FunctionParams = {
  [K in keyof TypeToValue]: { type: K; value: TypeToValue[K] }
}[keyof TypeToValue];

function MyFunction(params: FunctionParams) {
  if (params.type === 'one') return params.value.toFixed(2); // 自动推断value为number，无报错
  if (params.type === 'two') return params.value.toString(); // 自动推断value为string，无报错
  throw new Error('invalid type');
}

// 调用示例
MyFunction({ type: 'one', value: 123 }); // 返回"123.00"
MyFunction({ type: 'two', value: 'hello' }); // 返回"hello"

这种方式不仅能实现自动类型推断，还能在调用时强制type和value的类型匹配，避免传入不合法的参数组合，类型安全性最高。

方案2：使用类型断言（备选） #

如果不想修改原有参数结构，可以在分支中手动对value做类型断言：

type TypeToValue = {
  one: number;
  two: string;
};
function MyFunction<T extends keyof TypeToValue>(
  value: TypeToValue[T],
  type: T,
) {
  if (type === 'one') return (value as number).toFixed(2);
  if (type === 'two') return (value as string).toString();
  throw new Error('invalid type');
}

注意这种方式需要你手动保证断言的正确性，TypeScript不会再做类型校验，后续如果修改TypeToValue的结构，可能会出现断言失效但无法被检测到的问题，因此仅作为临时备选方案。

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