如何让函数首个参数决定泛型类型？解决Map类型安全问题

问题根源在于TypeScript的泛型推断逻辑：当你调用mapGetDefault时，TypeScript会同时参考map和backup两个参数来推断泛型V的类型。你传入的() => new Map()返回的是Map<any, any>，为了让所有参数类型兼容，TypeScript会把V推断成更宽泛的Map<any, any>，而非从myMap的类型中取预期的Map<number, boolean>。

下面是几种解决方法：

方法1：显式指定backup的返回类型 #

直接在backup函数中明确Map的泛型参数，让它与myMap的V类型严格匹配：

let val = mapGetDefault(myMap, 'a', () => new Map<number, boolean>());

此时TypeScript会正确推断val的类型为Map<number, boolean>。

方法2：调用时显式指定泛型参数 #

如果不想重复泛型定义，可以在调用函数时直接指定K和V的类型，强制约束V为预期类型：

let val = mapGetDefault<string, Map<number, boolean>>(myMap, 'a', () => new Map());

这种方式会让backup的返回类型自动适配V，避免推断偏差。

方法3：优化函数的泛型约束（推荐） #

你的函数定义本身没有错误，但可以通过调整让TypeScript优先从map参数推断V，同时强制backup的返回类型必须严格匹配V。修改后的函数无需变动逻辑，只需保留原有定义：

export function mapGetDefault<K, V>(
  map: Map<K, V>,
  key: K,
  backup: () => V,
): V {
  let val = map.get(key);
  if (val === undefined) {
    val = backup();
    map.set(key, val);
  }
  return val;
}

此时如果backup的返回类型与V不兼容（比如还是传() => new Map()），TypeScript会直接抛出类型错误：

Type 'Map<any, any>' is not assignable to type 'Map<number, boolean>'.

这样就能提前发现问题，确保类型安全，避免backup覆盖map的原有类型约束。

内容的提问来源于stack exchange，提问作者Some Noob Student