TypeScript中受约束的类泛型为何延迟求值？

核心原因：泛型的延迟解析 #

TypeScript中，泛型类型参数（比如例子中的T）在类/函数的定义阶段是未具体化的抽象类型，它代表所有符合约束条件的类型集合，而非某个具体类型。因此TypeScript不会提前将依赖泛型的类型表达式（比如条件类型、索引类型查询）简化为约束中的具体类型，而是保留其泛型形式，直到泛型被传入具体类型参数（即类被实例化、函数被调用）时才会进行最终的类型求值。

逐个例子解析 #

1. 条件类型未简化为true #

class C<T extends {}> {
    method() {
        type X = T extends {} ? true : false;
        // 显示为 T extends {} ? true : false，而非 true
    }
}

虽然T被约束为extends {}，理论上所有符合约束的类型都会让条件判断为true，但TypeScript在泛型未具体化时，不会提前简化这个条件类型。这是因为T可以是任何满足extends {}的类型（包括number、string、自定义对象等），保留条件类型的形式可以确保类型系统的一致性，避免针对特殊情况做针对性优化导致逻辑混乱。

2. 索引类型查询未简化为number #

class C<T extends { foo: number }> {
    method() {
        type X = T['foo'];
        // 显示为 T['foo']，而非 number
    }
}

T的约束是{foo: number}，但T可以是这个类型的子类型，比如{foo: 5, bar: string}，此时T['foo']的类型是5（而非number）。TypeScript保留T['foo']的泛型形式，是为了在传入具体子类型时，能准确获取该子类型中foo的实际类型，而不是强制简化为约束中的number，这保证了泛型的灵活性和类型准确性。

为什么赋值时类型检查正常？ #

当你使用类的实例时（比如const c = new C<{foo: number}>()），T被具体化为{foo: number}，此时X会被求值为number，因此赋值时的类型检查能正常工作：

const a: X = 5; // 符合类型要求，正常通过
const b: X = "str"; // 类型不匹配，正确报错

在类定义阶段编辑器显示的T['foo']只是泛型未具体化时的“占位符”，实际类型检查会基于泛型约束进行推断，确保赋值操作符合约束要求。

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