带条件泛型的TypeScript类型赋值兼容问题咨询

我在使用TypeScript类型系统时遇到了一个问题：当泛型包含条件类型时，无法将更窄的类型赋值给更宽泛的类型——但所有泛型参数都已经完全实例化了，按道理TypeScript应该能完全解析两种类型并基于属性类型做比较。

触发错误的简化代码 #

// 返回类型匹配Types的键
type KeysMatching<T, Types> = { [K in keyof T]: T[K] extends Types ? K : never }[keyof T];

type Mapping = {
    STR: string;
    NUM: number;
    BOOL: boolean;
}

type Values = Mapping[keyof Mapping];

type Generic<T extends Values> = {
    typeStr: KeysMatching<Mapping, T>
}

const foo: Generic<boolean> = { typeStr: 'BOOL' };
const bar: Generic<Values> = foo;
// 错误信息：
// Type 'Generic<boolean>' is not assignable to type 'Generic<Values>'.
//  Type 'Values' is not assignable to type 'boolean'.
//    Type 'string' is not assignable to type 'boolean'.(2322)

我曾在Stack Overflow看到过这样的说法：

If a conditional type contains an unresolved type parameter (such as T) typescript will not try to reason much about the conditional type.

但这里所有条件类型都应该已经被解析完成了。我完全不理解为什么TypeScript会先提示'Generic<boolean>'不能赋值给'Generic<Values>'，然后又反过来提示'Values'不能赋值给'boolean'——我明明是想把boolean类型的实例赋值给更宽泛的Values类型啊。

补充测试 #

如果移除KeysMatching里的条件逻辑，赋值操作就不会报错，这说明问题确实和条件类型有关，但按道理检查类型兼容性时所有泛型都已经被解析了。我还试了一个更简单的条件类型案例，完全没问题：

type Conditional<T, V> = T extends V ? T : unknown;
const foo2: Conditional<string, Values> = 'string';
const bar2: Conditional<Values, Values> = foo2;

问题原因解析 #

这个问题的核心在于TypeScript对泛型条件类型的逆变处理，以及KeysMatching这种“分布式条件类型”的特性。

首先，Generic<T>的typeStr属性依赖KeysMatching<Mapping, T>，而KeysMatching本质是一个分布式条件类型——当T是联合类型时（比如Values是string | number | boolean），它会把联合类型拆成单个成员分别处理，再把结果合并成新的联合类型。

但当TypeScript检查Generic<boolean>是否能赋值给Generic<Values>时，它不会直接把两个实例化后的类型展开对比（即{ typeStr: 'BOOL' } vs { typeStr: 'STR' | 'NUM' | 'BOOL' }），而是会尝试基于泛型参数的兼容性做推导：

TypeScript的泛型类型兼容性检查遵循协变/逆变规则：对于Generic<T>，如果T是用于输出位置（比如属性类型），那它应该是协变的（即窄类型可以赋值给宽类型），但这里的KeysMatching<Mapping, T>是一个逆变的条件类型——因为T出现在条件类型的extends右侧，分布式条件类型在这种场景下会被TypeScript视为逆变位置。

当TypeScript看到Generic<boolean>赋值给Generic<Values>时，它会反向推导：要让KeysMatching<Mapping, boolean>兼容KeysMatching<Mapping, Values>，需要Values兼容boolean，但Values是联合类型，显然不兼容boolean，所以就抛出了反向的错误提示。

你的简单条件类型案例没问题，是因为Conditional<T, V>里T在extends左侧，属于协变位置，TypeScript能正确识别窄类型到宽类型的兼容性。而KeysMatching里T是作为extends的右侧参数，触发了逆变的检查逻辑，导致TypeScript没有展开实例化后的具体类型，而是基于泛型参数的反向兼容性判断。

解决方法 #

如果你想让Generic<boolean>能赋值给Generic<Values>，可以通过让TypeScript提前展开条件类型的方式，比如：

// 方法1：使用类型断言
const bar: Generic<Values> = foo as Generic<Values>;

// 方法2：重构Generic类型，让TypeScript更易识别兼容性
type Generic<T extends Values> = {
    typeStr: T extends string ? 'STR' : T extends number ? 'NUM' : 'BOOL'
};

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