TypeScript中T与U类型一致仍无法使用+运算符的问题

这个问题在StackOverflow和GitHub上已有讨论，TypeScript核心团队成员Ryan Cavanaugh曾明确表示：

目前描述的所有情况均为预期行为。不从不同候选值推断联合类型是完全有意为之的；尽管在理论上合理，但在绝大多数情况下这不会产生预期结果。

问题重现 #

你尝试通过类型约束确保参数a和b类型一致，但TypeScript仍无法识别二者类型相同，代码如下：

type Addable = string | number
type BeSame<T> = T extends number ? number : string
function addMe<T extends Addable, U extends BeSame<T>>(a: T, b: U) {
    return a + b;
}

此时会报错：Operator '+' cannot be applied to types 'T' and 'U'

预期行为 #

你期望TypeScript能识别参数类型一致性，允许合法调用并拦截跨类型调用：

addMe("helo", 2); // 报错（符合预期）
addMe(4,5); // 正常（符合预期）
addMe("hello", "hello"); // 正常（符合预期）

问题原因 #

你定义的BeSame<T>约束虽然试图让U与T保持同类型，但TypeScript的类型系统无法在函数体内部将泛型T和U收窄到具体的string或number。T仍然属于Addable的子类型（可能是联合类型的单个成员，但编译器不会自动推导到具体类型），因此a + b会被判定为string | number之间的跨类型运算，而TypeScript不允许这种不确定类型的+操作。

解决方案 #

最简洁且符合TypeScript类型系统设计的方案是使用单个泛型参数，让两个参数都约束为该泛型类型：

type Addable = string | number;
function addMe<T extends Addable>(a: T, b: T) {
    return a + b;
}

这样编译器会自动确保a和b为同一类型：

• 跨类型调用（如addMe("helo", 2)）会直接报错
• 同类型调用（如addMe(4,5)或addMe("hello", "hello")）可以正常通过类型检查，且函数体内部的+运算也会被判定为合法的同类型操作。

补充说明 #

Ryan Cavanaugh提到的“不自动推断联合类型”正是这种设计的核心原因：如果允许从不同候选值自动推断联合类型，多数场景下会生成不符合开发者预期的复杂联合类型，反而增加类型维护成本。而通过单个泛型参数约束同类型的方式，既满足了类型安全需求，也符合TypeScript的设计原则。

内容的提问来源于stack exchange，提问作者zain ul din