Typescript 如何解决类型T不能用于索引类型{ A：typeof A; B：typeof B;. }'

代码的问题是stringToClass()太generic了. 通过使用H extends typeof Example.ClassesByName，你允许它比那个类型更大，因此可能有额外的键. 也就是说，有人可以打电话

const whoops = Object.assign({ a: 123 }, Example.ClassesByName);
const instance = new Example();
const hmm = instance.stringToClass<typeof whoops, "a">("a");

所以whoops在关键字a处有一个额外的属性，但它仍然可以赋值给typeof Example.ClassesByName.因此，您可以将其类型作为第一个类型参数传递给stringToClass()，因此将"a"作为其第二个类型参数传递(因为它是该类型的有效键)，因此className可以是"a".但在stringToClass()的内部:

public stringToClass<
  H extends typeof Example.ClassesByName,
  K extends keyof H,
>(className: K) {
  const klass = Example.ClassesByName[className]; // error!
}

你不是用className索引generic，你只是索引Example.ClassesByName编译器不知道类型K的className是否实际上是Example.ClassesByName的键，因为它不知道有人会为H传递什么额外的键. 所以这是个错误.

这里的修复方法是在K中只使stringToClass()成为通用的，即从constrained到keyof typeof Example.ClassesByName.这意味着K将是Example.ClassesByName的索引，您的实现将编译:

public stringToClass<
  K extends keyof typeof Example.ClassesByName,
>(className: K) {
  const klass = Example.ClassesByName[className]; // okay
}

现在你不能再叫它坏方法了，因为"a"不是Example.ClassesByName的关键字，你也没有办法传入typeof whoops或其他任何东西:

const instance = new Example();
const hmm = instance.stringToClass<"a">("a"); // error!

Playground link to code