如何基于类的泛型类型定义Map的泛型参数？

要让myMap实现和myObj、myMethod一致的类型约束，你需要明确Map的键类型为keyof T，值类型为对应键的回调数组的联合类型，同时在方法中通过类型断言或泛型增强来确保类型安全。以下是两种可行实现：

方案一：类型断言处理 #

class MyClass<T> {
  // 定义Map的键为T的所有属性名，值为对应类型回调数组的联合
  myMap = new Map<keyof T, ((payload: T[keyof T]) => void)[]>();

  myObj: { [K in keyof T]?: ((value: T[K]) => void)[] } = {};

  myMethod<K extends keyof T>(a: K, cb: (payload: T[K]) => void) {
    // 通过类型断言指定返回值为当前K对应的回调数组类型
    let entry = this.myMap.get(a) as ((payload: T[K]) => void)[] | undefined;
    if (!entry) {
      entry = [];
      this.myMap.set(a, entry);
    }
    entry.push(cb);
  }
}

关键说明： #

• Map类型定义：Map<keyof T, ((payload: T[keyof T]) => void)[]> 限定了Map的键只能是T的属性名，值集合覆盖所有可能的回调数组类型。
• 类型断言：TypeScript无法自动推断get(a)的返回值与当前键K的类型关联，因此需要断言明确类型，保证push操作的类型安全。
• 空数组初始化：如果Map中无对应键的条目，先创建空数组并存入，避免undefined调用push的运行时错误。

方案二：自定义泛型Map接口（无需断言） #

// 自定义接口增强Map的get方法类型推断能力
interface TypedMap<T> extends Map<keyof T, ((payload: T[keyof T]) => void)[]> {
  get<K extends keyof T>(key: K): ((payload: T[K]) => void)[] | undefined;
}

class MyClass<T> {
  // 断言Map实例符合自定义TypedMap类型
  myMap: TypedMap<T> = new Map() as TypedMap<T>;

  myObj: { [K in keyof T]?: ((value: T[K]) => void)[] } = {};

  myMethod<K extends keyof T>(a: K, cb: (payload: T[K]) => void) {
    let entry = this.myMap.get(a);
    if (!entry) {
      entry = [];
      this.myMap.set(a, entry);
    }
    entry.push(cb);
  }
}

关键说明： #

• 自定义TypedMap接口：重写get方法的泛型约束，让TypeScript能根据传入的键K自动推断返回值的对应类型，无需额外断言。
• 类型适配：将原生Map实例断言为自定义接口类型，实现更严格的类型关联。

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