如何避免Map类型拓宽？让TypeScript识别Map取值不为undefined

针对你给出的场景，TypeScript默认认为Map.get()的返回值可能是undefined——因为它无法静态追踪Map在运行时的键是否被删除或修改。以下是几种可行的解决方式：

1. 使用非空断言操作符! #

如果你完全确定目标键一定存在于Map中，可以直接用非空断言告诉TypeScript该值不会是undefined：

const stringToDecimal = new Map<string, number>([
    ["one", 1],
    ["two", 2],
]);

console.log(stringToDecimal.get("one")! + 5); // 不会再提示undefined错误

注意：这种方式需要开发者自己承担运行时风险，如果后续键被删除，代码会抛出Cannot read properties of undefined错误。

2. 自定义断言函数（带运行时校验） #

如果想在确保键存在的同时增加运行时安全性，可以写一个断言函数，让TypeScript在通过检查后推断值的确定类型：

const stringToDecimal = new Map<string, number>([
    ["one", 1],
    ["two", 2],
]);

function getMapValue<K, V>(map: Map<K, V>, key: K): V {
    const value = map.get(key);
    if (value === undefined) {
        throw new Error(`Key ${String(key)} not found in map`);
    }
    return value;
}

console.log(getMapValue(stringToDecimal, "one") + 5); // TS能识别值为number类型

这种方式既做了运行时校验，又让TypeScript准确推断类型，安全性更高。

3. 针对固定键的Map做类型约束 #

如果你的Map键是固定的几个字面量值，可以通过字面量类型约束Map的键，再结合类型重载让get()返回确定类型：

type DecimalKey = "one" | "two";
const stringToDecimal = new Map<DecimalKey, number>([
    ["one", 1],
    ["two", 2],
]);

// 自定义StrictMap类型，重载get方法的返回值
type StrictMap<K extends string | number | symbol, V> = Omit<Map<K, V>, 'get'> & {
    get(key: K): V;
};

// 将普通Map断言为StrictMap
const strictMap = stringToDecimal as StrictMap<DecimalKey, number>;

console.log(strictMap.get("one") + 5); // TS识别值为number类型

这种方式适合键固定不变的场景，能在编译阶段约束只能使用指定键，同时让get()返回确定类型。

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