TypeScript 5.0.3：泛型参数不兼容为何未触发报错？

我在TypeScript应用里尝试用泛型参数T控制实体对象的引用属性是否填充，简化测试后发现异常：Entity<{ref1: number}>和Entity<{}>本该不兼容，但TypeScript判定前者extends后者为true；但更明确的场景下判定又正常。这是TypeScript的特性还是Bug？

最小复现示例 #

type Entity<T extends {ref1?:unknown}> = {
    ref1: T["ref1"] extends string ? T["ref1"]: number;
}

type A = Entity<{ref1: string}> extends Entity<{}> ? true : false // 正确返回true
type B = Entity<{ref1: number}> extends Entity<{}> ? true : false // 返回true
type C = Entity<{ref1: number}> extends Entity<{ref1: undefined}> ? true : false // 返回false
type D = Entity<{ref1: string}> extends Entity<{ref1: undefined}> ? true : false // 返回false

原动机是实现：未传泛型时所有引用为string；传入指定泛型时对应属性为填充值，其余为string。

解答 #

这是TypeScript的设计特性而非Bug，核心原因是泛型参数经过条件类型计算后，最终生成的实体类型完全一致，导致兼容性判定为true。

具体分析 #

1. Entity<{}>的类型计算
   当泛型参数T为{}时，T["ref1"]会返回unknown（因为{}是开放类型，允许存在任意属性，不存在的属性索引访问结果为unknown）。此时条件判断unknown extends string ? unknown : number中，unknown是TypeScript的顶层类型，它并不属于string的子类型，因此条件结果为number。最终Entity<{}>等价于{ ref1: number }。

2. Entity<{ref1: number}>的类型计算
   当T为{ref1: number}时，T["ref1"]是number，number extends string显然不成立，条件结果同样为number。因此Entity<{ref1: number}>也等价于{ ref1: number }。

两个最终生成的类型完全相同，自然会被判定为兼容，这就是类型B返回true的原因。你觉得它们“本该不兼容”，是混淆了泛型参数T的兼容性和最终生成的Entity类型的兼容性——泛型参数{ref1: number}和{}确实不兼容，但经过条件类型转换后的实体类型是一致的。

3. 关于类型C返回false的说明
   如果你的测试环境中类型C返回false，大概率是因为TypeScript版本差异导致的索引访问行为不同。在最新版本的TypeScript中，Entity<{ref1: undefined}>的计算结果同样是{ ref1: number }，此时类型C应该返回true。若出现不同结果，建议检查TypeScript版本是否过旧。

满足原动机的类型设计 #

如果要实现“未传泛型时所有引用为string；传入指定泛型时对应属性为填充值，其余为string”的需求，可以调整类型设计如下：

// 定义所有需要控制的引用属性名
type RefKeys = 'ref1' | 'ref2' | 'ref3';

// 默认泛型参数为{}，未传时所有属性为string
type Entity<T extends Partial<Record<RefKeys, unknown>> = {}> = {
  [K in RefKeys]: K extends keyof T 
    ? T[K] extends undefined ? string : T[K] 
    : string;
};

// 测试用例
type DefaultEntity = Entity; // { ref1: string; ref2: string; ref3: string; }
type CustomEntity = Entity<{ ref1: number }>; // { ref1: number; ref2: string; ref3: string; }
type UndefinedRefEntity = Entity<{ ref2: undefined }>; // { ref1: string; ref2: string; ref3: string; }

通过这种方式，能精准控制每个引用属性的类型：未指定时为string，指定时使用传入的类型（若传入undefined则仍保持string）。

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