为何我的TypeScript条件类型与预期反向生效？

代码示例 #

class A {}
class B {}
class C {}
class D {}

//! 为何这样能正常工作？
type MyObjectType<T extends (keyof Hash), Hash> = (keyof Hash) extends T ? null : Hash[T];

class Example {
  public static ClassesByName = { A: A, B: B, C: C, D: D };

  public stringToClass<
    Hash extends typeof Example.ClassesByName,
    T extends keyof Hash,
  >(className: T): MyObjectType<T, Hash> {
    throw new Error("unimplemented");
  }
}

const instance = new Example();
const klassA = instance.stringToClass("A"); // 预期: klassA 类型为 typeof A（符合预期）
const klassB = instance.stringToClass("B"); // 预期: klassB 类型为 typeof B（符合预期）
const klassZ = instance.stringToClass("Z"); // 预期: klassZ 类型为 null，但传入错误参数直接触发TS错误

问题背景 #

TypeScript官方文档中条件类型的语法为：

SomeType extends OtherType ? TrueType : FalseType;

原本想要实现的逻辑是：若Hash的键集合包含T，则返回Hash[T]，否则返回null，因此最初编写的类型定义是：

type MyObjectType<T extends (keyof Hash), Hash> = (keyof Hash) extends T ? Hash[T] : null;

但这个写法完全达不到预期效果，反而将TrueType与FalseType反转后，代码能正常工作：

type MyObjectType<T extends (keyof Hash), Hash> = (keyof Hash) extends T ? null : Hash[T];

核心原因分析 #

问题出在条件判断的方向完全搞反，再结合泛型约束的限制，导致了看似反向生效的结果：

1. 泛型约束的限制：T extends keyof Hash已经限定了T只能是Hash的单个键（或键的联合类型）。当传入单个键（比如"A"）时，keyof Hash是"A" | "B" | "C" | "D"这个联合类型，它的范围远大于单个键"T"，因此(keyof Hash) extends T的结果必然是false。

   • 最初的写法中，条件为false时返回null，这就和预期的返回Hash[T]完全相反，所以不符合需求。
   • 反转后的写法中，条件为false时返回Hash[T]，正好符合获取对应类类型的预期。

2. 条件判断的逻辑错误：你原本想表达的是「T是keyof Hash的子集」（即T是Hash的有效键），但写成了「keyof Hash是T的子集」。只有当T等于keyof Hash本身（即整个键联合类型）时，(keyof Hash) extends T才会为true，此时返回null——但你的场景中都是传入单个键，所以这个条件永远为false，走else分支。

3. null分支的实际作用：你原本想用null分支处理传入无效键的情况，但T extends keyof Hash的泛型约束已经直接排除了这种情况——比如传入"Z"时，TS会直接报错，根本不会进入类型计算。

总结 #

反转后的条件类型之所以能符合你的预期，是因为在单个键的场景下，它永远触发else分支返回正确的类型；只有当传入整个键联合类型时才会返回null。而最初的写法因为判断方向错误，单个键场景下会返回null，完全不符合需求。

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