TypeScript可索引类型哈希表查找时如何触发undefined警告？

这个问题我之前也碰到过，确实挺坑的——TypeScript默认的可索引类型会假设你访问的键一定存在，所以不会提示undefined的风险。下面给你几个解决办法，按你的需求选就行：

1. 修改索引类型为string | undefined #

最直接的方式是把你的可索引类型明确标注为可能返回undefined，这样TypeScript就会在访问不存在的键时触发警告：

interface HashMap { 
  [index: number]: string | undefined; 
} 

const exampleMap: HashMap = { 1: "foo", 2: "bar" };
const noWarningHere = exampleMap[3]; // 现在TS会提示noWarningHere是string | undefined
console.log(noWarningHere.length); // 这里会报错：对象可能为 "undefined"

这样修改后，你必须先判断值是否为undefined才能安全使用它的属性，比如：

if (noWarningHere) {
  console.log(noWarningHere.length); // 此处类型安全
}

2. 使用TypeScript内置的Map类型 #

如果你不需要自定义的可索引对象，直接用TS内置的Map会更省心——它的get()方法默认返回值类型就是T | undefined，天然会触发警告：

const exampleMap = new Map<number, string>();
exampleMap.set(1, "foo");
exampleMap.set(2, "bar");

const noWarningHere = exampleMap.get(3); // TS提示：string | undefined
console.log(noWarningHere.length); // 同样会报错：对象可能为 "undefined"

3. 封装自定义哈希表类（进阶方案） #

如果需要更严格的类型约束，可以封装一个自己的哈希表类，强制要求访问键时必须处理不存在的情况：

class StrictHashMap<K extends number | string, V> {
  private map: Record<K, V | undefined> = {} as Record<K, V | undefined>;

  set(key: K, value: V): void {
    this.map[key] = value;
  }

  get(key: K): V | undefined {
    return this.map[key];
  }

  // 提供一个必须处理不存在情况的方法
  getOrThrow(key: K): V {
    const value = this.map[key];
    if (value === undefined) {
      throw new Error(`Key ${key} not found`);
    }
    return value;
  }
}

const exampleMap = new StrictHashMap<number, string>();
exampleMap.set(1, "foo");
exampleMap.set(2, "bar");

const value = exampleMap.get(3); // 类型是string | undefined
console.log(value.length); // TS报错

const safeValue = exampleMap.getOrThrow(3); // 运行时会抛错，但TS认为类型是string

为什么默认不会警告？ #

TypeScript的设计逻辑是：当你定义{ [index: number]: string }时，它认为所有符合索引类型的键都应该存在对应的string值，所以访问任意数字键都会推断为string。但实际开发中我们很少能保证这一点，所以需要手动调整类型或者用更合适的数据结构。

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