TypeScript泛型场景下为何无法正确推断值类型？编译报错解惑

问题描述 #

尝试构建工具类型KeysWithValueType<T, V>，用于返回T中所有属性值继承自V的键的联合类型，但以下代码无法通过编译：

type KeysWithValueType<T, V> = { [K in keyof T]: T[K] extends V ? K : never }[keyof T];

const numericComparator = <T>(key: KeysWithValueType<T, number>) => (t1: T, t2: T) => t1[key] - t2[key];

编译错误提示：

算术运算的左侧必须是'any'、'number'、'bigint'或枚举类型。
算术运算的右侧必须是'any'、'number'、'bigint'或枚举类型。

原本认为T[KeysWithValueType<T, number>]必然是number类型，但实际并非如此，需要理清其中的类型推断误区。

类型理解误区分析 #

核心问题在于联合类型的索引访问行为：
KeysWithValueType<T, number>返回的是T中所有值为number子类型的键的联合类型，但当你用这个联合类型去索引T时，得到的是对应属性值的联合类型，而非统一的number类型。

举个例子：如果T定义为{ id: number; count: 0 | 1 }，那么KeysWithValueType<T, number>是'id' | 'count'，此时T[KeysWithValueType<T, number>]的类型是number | 0 | 1（等价于number，但TypeScript的类型检查不会自动做这个等价收缩）。更关键的是，当T存在属性值为number的子类型但无法直接参与算术运算的情况时（比如某些枚举类型），联合类型的不确定性会让TypeScript拒绝减法运算——因为它无法确保t1[key]和t2[key]一定是可运算的数值类型。

简单来说：TypeScript不会因为联合类型的每个成员都继承自V，就把T[联合键类型]收窄为V，它只会保留联合类型的原始形态，而联合类型无法直接参与需要单一确定类型的运算。

补充代码的问题说明 #

尝试添加泛型约束<T, K extends KeysWithValueType<T, number>>后，代码仍然报错，原因如下：

type KeysWithValueType<T, V> = { [K in keyof T]: T[K] extends V ? K : never }[keyof T];

const numericComparator = <T, K extends KeysWithValueType<T, number>>(key: K) => (t1: T, t2: T) => t1[key] - t2[key];

虽然K被约束为KeysWithValueType<T, number>的子类型，但TypeScript在未显式指定K的情况下，会默认将K推断为整个联合类型，导致T[K]仍然是属性值的联合类型，而非确定的单个数值类型，因此减法运算的类型检查依然不通过。

两个版本的语义差异：

• 第一个版本：key的类型是键的联合类型，调用时可以传入联合中的任意键，但函数内部无法确定key对应的具体属性，T[key]是联合类型。
• 第二个版本：K被设计为单个键类型（从联合中选取的某一个），但由于泛型推断的特性，除非调用时显式指定K，否则K还是会被推断为联合类型，本质上和第一个版本没有区别。

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