Typescript 为什么我的条件类型不能像我预期的那样工作

听起来你好像搞不清extends这个关键字在generic constraints和conditional types中的意思.如果你有两个类型X和Y，那么说X extends Y意味着如果你有一个X类型的值，你可以把它赋给Y类型的变量，但反之亦然.

所以如果你想说你有一个K类型的值，它应该可以赋值给keyof H类型的变量.比如，想象H等于{a: string, b: number, c: boolean}.然后，您有一个类型为K的值，它应该可以赋值给变量the union type "a" | "b" | "c".这将使K为"a"、"b"或"a" | "b"，但如果它类似于"z"，则它不会起作用.在这种情况下，你需要说K extends keyof H.如果你说的相反，那keyof H extends K，你是说K至少需要接受"a" | "b" | "c"个中的all个.但这不是你想要做的.

如果你仍然认为extends应该以另一种方式工作，这可能意味着你正在考虑对象类型而不是键类型. 对象的键类型是contravariant，这意味着如果是A extends B，则是keyof B extends keyof A. 第Union and Intersection of types章类似的问题

所以你喜欢的类型

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

只有在偶然的情况下才会"奏效".从K extends keyof H开始，唯一的方法(keyof H) extends K是如果K和keyof H相同.这意味着K必须是H中所有密钥的并集.这通常不会发生；如果您使用一个有效的密钥调用stringToClass()，那么K将只是那个密钥，而支票(keyof H) extends K将是fail，您将得到H[K].另一方面，如果有人用无效的东西调用stringToClass(),K的推理将失败，它将回退到完全约束keyof H，判断(keyof H) extends K将succeed，而您将得到null.这种情况发生在某种工作上是偶然的组合，我们应该正确地重写您的类型.

所以我们想要K extends keyof H，而不是相反.这意味着您可以直接编写type MyObjectType<K extends keyof H, H> = H[K]，而不需要任何条件类型.毕竟，你已经限制了K extends keyof H.如果您必须执行判断，因为您希望为错误的输入返回null，那么您应该取消对K的限制以允许此类输入，并以正确的方式执行条件判断:

type MyObjectType<K, H> = K extends keyof H ? H[K] : null

然后stringToClass()看起来就像

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

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

我再次从K中删除了约束(因此MyObjectType<K, H>实际上允许它)，并在使用错误的classname输入调用它时保留错误，I intersected K使用keyof H.

让我们来测试一下:

const instance = new Example();
const klassA = instance.stringToClass("A"); // okay
// const klassA: typeof A
const klassB = instance.stringToClass("B"); // okay
// const klassB: typeof B
const klassZ = instance.stringToClass("Z"); // error!
// ---------------------------------> ~~~
// const klassZ: null

看上go 不错.

Playground link to code