TypeScript中Map值类型变更问题求助：调用联合类型函数报错

问题核心原因 #

1. 联合类型函数的参数逆变规则
   当你调用一个函数联合类型（比如(x:string)=>string | (x:number)=>number）时，TypeScript会应用参数逆变逻辑：为了保证调用安全，参数类型必须满足所有分支函数的参数要求，也就是取各分支参数类型的交集。string和number的交集是never，所以参数被推导为never，导致传任何值都会报错。

2. 普通Map的类型绑定缺失
   你定义的Map<string, MyUnion>只声明了值是MyUnion类型，但TypeScript无法建立'first'键与FirstType、'second'键与SecondType的精确关联。所以handlers.get('first')返回的只能是MyUnion | undefined，无法确定具体是哪个函数，触发了上面的逆变规则。

可行解决方案 #

方案一：使用键值明确绑定的对象（最简便） #

直接用对象字面量替代Map，TypeScript会自动推导每个键对应的精确函数类型：

const first = (x: string): string => x.toUpperCase();
const second = (x: number): number => x ** 2;

const handlers = {
  first,
  second
};

// 类型自动推导为(x: string) => string
const myHandler = handlers['first'];
const b = myHandler('asd'); // 无类型错误

// 类型自动推导为(x: number) => number
const mySecondHandler = handlers['second'];
const a = mySecondHandler(10); // 无类型错误

方案二：给Map添加精确泛型约束（保留Map场景） #

如果必须使用Map，通过泛型让键和对应值类型绑定，再配合类型守卫缩小范围：

const first = (x: string): string => x.toUpperCase();
const second = (x: number): number => x ** 2;

type HandlerKey = 'first' | 'second';
type HandlerType = typeof first | typeof second;

const handlers = new Map<HandlerKey, HandlerType>();
handlers.set('first', first);
handlers.set('second', second);

const myHandler = handlers.get('first');
if (myHandler) {
  // 自定义类型守卫区分函数
  function isStringHandler(fn: HandlerType): fn is typeof first {
    // 可根据函数特征判断，比如检查toString输出、参数长度等
    return fn.toString().includes('string');
  }

  if (isStringHandler(myHandler)) {
    const b = myHandler('asd'); // 类型正确
  } else {
    const a = myHandler(10); // 类型正确
  }
}

方案三：使用类型断言（快速临时解决） #

如果是简单场景，也可以直接用类型断言指定具体函数类型，但不推荐在复杂场景使用：

const myHandler = handlers.get('first');
if (myHandler) {
  const b = (myHandler as typeof first)('asd');
  const a = (handlers.get('second') as typeof second)(10);
}

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