TypeScript泛型extends异常行为问题及求解
场景背景
我要创建一个作为路径选择器配置类的灵活泛型类，部分返回类型依赖传入的泛型参数。定义了一个抽象类，包含两个泛型：
T：继承自object，表示目标对象类型X：约束为keyof T，用于指定对象的标识属性
第一个问题：Record类型约束报错
添加路径存储属性时，将其类型设为Record<T[X], T[X]|null>，期望T[X]是string或number，但TypeScript抛出错误：
Type 'T[X]' does not satisfy the constraint 'string | number | symbol'.
Type 'T[keyof T]' is not assignable to type 'string | number | symbol'.
Type 'T[string] | T[number] | T[symbol]' is not assignable to type 'string | number | symbol'.
Type 'T[string]' is not assignable to type 'string | number | symbol'.(2344)
第二个问题：条件类型的异常行为
为解决标识类型非字符串/数字的问题，我用映射类型将非string/number的属性转为never，但发现异常行为：当两个不同T类型都包含id属性且类型为number时，定义条件类型type Test = T['id'] extends number ? true : false，尝试赋值const test: Test = true时，报错：
Type 'boolean' is not assignable to type 'Test'.
原因解释
第一个问题的原因
TypeScript无法推断T[X]一定符合string | number | symbol的约束——虽然X是keyof T，但T的属性值类型可能包含对象、数组等非基础类型，而Record的键类型必须是string | number | symbol，所以直接使用T[X]作为键类型会触发约束检查失败。
第二个问题的原因
当T是泛型类型参数而非具体类型时，T['id'] extends number ? true : false属于延迟解析的条件类型。TypeScript在未确定T的具体类型前，不会将Test简化为true或false，而是保留它作为一个条件类型。此时true是具体的布尔字面量，无法赋值给未解析的条件类型Test，导致类型不匹配。
解决方案
解决Record类型约束问题
给泛型X添加额外约束，确保T[X]属于string | number，直接在泛型定义阶段就排除不符合要求的属性：
abstract class PathSelector<T extends object, X extends keyof T & (T[X] extends string | number ? X : never)> { paths: Record<T[X], T[X] | null> = {} as Record<T[X], T[X] | null>; }
通过X extends keyof T & (T[X] extends string | number ? X : never)，强制X只能是T中属性值为string或number的键，确保T[X]满足Record键类型的约束。
解决条件类型赋值问题
如果需要在泛型上下文中让条件类型的结果可赋值，有两种可行方式：
- 类型断言方式：
type Test<T> = T['id'] extends number ? true : false; const test = true as Test<{ id: number }>;
- 约束泛型T的id类型：
如果T的id属性固定为number，可以在泛型定义时明确约束：
abstract class PathSelector<T extends { id: number }, X extends keyof T> { type Test = T['id'] extends number ? true : false; const test: Test = true; // 此时Test会被解析为true，赋值正常 }
或者使用Extract工具类型提前确定属性类型：
type Test<T> = Extract<T['id'], number> extends never ? false : true;
内容的提问来源于stack exchange，提问作者Martijn Bakker
