TypeScript报错：Type 'T'无法索引指定类型的原因及解决方案

报错原因 #

你遇到的类型错误核心在于泛型约束的逻辑漏洞：Hash extends typeof Example.ClassesByName这个约束并没有限制Hash的键只能来自原类型。在TypeScript的结构类型系统中，子类型可以包含父类型的所有属性，还能额外添加新属性。这意味着keyof Hash可能包含Example.ClassesByName不存在的键，TypeScript无法保证T（keyof Hash的子类型）一定是合法的索引键，因此抛出错误。

简单来说：你默认T是Example.ClassesByName的键，但TypeScript判断T可能属于某个扩展了原类型的Hash的额外键，所以拒绝执行索引操作。

修复方案 #

方案一：移除多余的泛型参数（推荐） #

原代码中的Hash泛型完全是冗余的，直接用Example.ClassesByName的类型约束T即可，代码更简洁且类型安全：

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

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

  public stringToClass<T extends keyof typeof Example.ClassesByName>(className: T) {
    const klass = Example.ClassesByName[className]; // 类型检查通过
  }
}

方案二：严格约束Hash的键范围（若需保留泛型） #

如果确实需要保留Hash泛型（比如未来有扩展需求），可以通过Record工具类型强制Hash的键只能来自Example.ClassesByName的键集合，不允许额外添加：

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

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

  public stringToClass<
    Hash extends Record<keyof typeof Example.ClassesByName, typeof Example.ClassesByName[keyof typeof Example.ClassesByName]>
  >(className: keyof Hash) {
    const klass = Example.ClassesByName[className as keyof typeof Example.ClassesByName];
  }
}

这里的类型断言是安全的，因为我们已经约束了Hash的键只能是原类型的键。

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