TypeScript中如何创建含指定严格键值类型的Map实例？

普通的Map<K, V>泛型只能限制键和值的类型，但无法强制要求必须包含特定的键。要实现类似对象接口的“必须包含指定键”的约束，需要结合自定义类型和初始化保障，以下是几种可行方案：

方法一：自定义类型+类型断言 #

先定义强制包含指定键的Map类型，初始化时确保填入所有必填键后，通过类型断言让TypeScript识别该约束。

// 定义强制包含name和age键的Map类型
type PersonMap = Map<string, string | number> & {
  // 重载get方法，明确特定键的返回类型
  get(key: 'name'): string;
  get(key: 'age'): number;
  // 重载has方法，确保检查指定键时返回true
  has(key: 'name' | 'age'): true;
};

// 初始化时必须包含两个键，再断言为PersonMap类型
const personMap = new Map([
  ['name', 'Tim'],
  ['age', 21]
]) as PersonMap;

// 使用时类型提示完全符合预期
const name = personMap.get('name'); // 类型为string
const age = personMap.get('age'); // 类型为number
personMap.has('name'); // 类型为true

注意：这种方法需要手动保证初始化逻辑正确，如果漏写必填键，类型断言会掩盖错误，适合确定初始化过程不会出错的场景。

方法二：工厂函数确保初始化安全 #

用工厂函数封装Map的创建流程，强制传入所有必填键值，避免手动断言带来的风险。

type PersonMap = Map<string, string | number> & {
  get(key: 'name'): string;
  get(key: 'age'): number;
  has(key: 'name' | 'age'): true;
};

function createPersonMap(name: string, age: number): PersonMap {
  const map = new Map<string, string | number>();
  map.set('name', name);
  map.set('age', age);
  return map as PersonMap;
}

// 必须传入name和age才能创建实例，从根源避免漏写
const personMap = createPersonMap('Tim', 21);

方法三：封装类实现编译+运行时双重约束 #

如果需要在运行时也禁止删除必填键，可以封装一个继承自Map的类，重写相关方法实现双重限制。

class PersonMap extends Map<string, string | number> {
  constructor(name: string, age: number) {
    super();
    super.set('name', name);
    super.set('age', age);
  }

  // 重载get方法，明确特定键的返回类型
  get(key: 'name'): string;
  get(key: 'age'): number;
  get(key: string): string | number | undefined {
    return super.get(key);
  }

  // 禁止删除必填键，编译时报错+运行时抛错
  delete(key: 'name' | 'age'): never;
  delete(key: string): boolean {
    if (key === 'name' || key === 'age') {
      throw new Error('不能删除必填键"name"或"age"');
    }
    return super.delete(key);
  }
}

const personMap = new PersonMap('Tim', 21);
personMap.delete('name'); // 编译时报错，运行时也会抛出错误

为什么直接用Map<'name' | 'age', string | number>不行？ #

这个泛型类型仅限制了Map的键只能是'name'或'age'，值只能是string或number，但它允许Map只包含其中一个键，甚至一个都不包含，无法达到“必须包含所有指定键”的效果。

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