TypeScript泛型与keyof编译错误问题及解决方法咨询

问题根源 #

1. 字符串索引签名的兼容性：TypeScript中，{ [key: string]: string }的约束允许对象包含数字键——因为JavaScript会自动将对象的数字键转换为字符串，TypeScript为了兼容这一行为，不会对数字键报错。
2. keyof的类型范围：对于带有字符串索引签名的类型，keyof T会返回string | number | symbol（若存在symbol键），而非纯string类型。这就导致get方法中传入的key类型与Map<string, number>.get()要求的string类型不匹配，触发编译错误。

解决方案 #

方案一：拆分泛型，显式约束键类型 #

将泛型拆分为键类型K和值类型T，强制K为string类型，既保证类型安全，又消除编译错误：

class MyClass<K extends string, T extends Record<K, string>> {
  private map = new Map<string, number>();

  get(key: K): number | undefined {
    return this.map.get(key);
  }
}

// 合法示例
const validInstance = new MyClass<'username' | 'email', { username: 'john', email: 'john@example.com' }>();
validInstance.get('username'); // 正常编译

// 非法示例（触发编译错误）
const invalidInstance = new MyClass<'1', { 1: 'asdf' }>(); // 类型“1”不满足约束“string”

方案二：强化泛型约束+类型断言 #

通过更严格的泛型约束限制T的键只能是字符串，同时在get方法中对键进行类型断言：

class MyClass<T extends Record<string, string> & { [K in keyof T]: K extends string ? string : never }> {
  private map = new Map<string, number>();

  get(key: keyof T): number | undefined {
    return this.map.get(key as string);
  }
}

// 非法示例（触发编译错误）
const invalidInstance = new MyClass<{ 1: 'asdf' }>(); // 类型“{ 1: string; }”不满足泛型约束

额外注意 #

原代码中get方法返回number存在安全隐患——Map.get()在键不存在时会返回undefined，建议将返回类型改为number | undefined，或在确保键存在的场景下使用非空断言（!）。

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