联合类型中不同签名函数的类型推断问题

首先明确核心问题：当函数接收的回调是参数数量、类型完全不兼容的函数联合类型时，单参数回调会出现类型推断为any的情况，而多参数回调却能正常推断，这本质是TypeScript对函数联合类型的兼容性和推断逻辑导致的。

为什么单参数回调无法推断类型？ #

当调用c((x) => { console.log(x); })时，TypeScript需要判断这个回调是否符合A | B：

• 对于A类型，回调的参数x应该是string；
• 对于B类型，JS允许函数忽略多余参数，因此单参数回调也可以赋值给B（此时x对应B的第一个参数number）。

由于string和number没有交集，TypeScript无法确定你想让回调匹配A还是B，只能将x推断为any。

为什么多参数回调能正常推断？ #

当传入双参数回调(y, x) => { console.log(y, x); }时，这个回调只能匹配B类型：

• A类型只接受1个参数，双参数回调无法赋值给A（调用A时只会传入1个参数，第二个参数会是undefined，与A的参数要求冲突）。

TypeScript能明确确定回调只能是B，因此可以正确推断y为number、x为string。

关于B类型单参数赋值的验证 #

你测试的const b: B = (z) => z;是符合函数赋值兼容性规则的：JS中函数可以忽略未声明的参数，因此单参数函数可以赋值给多参数的函数类型，TypeScript会将z推断为B的第一个参数类型number。

解决方案：使用函数重载替代联合类型 #

如果想要让所有场景都能正确推断类型，不要用联合类型定义回调参数，而是用函数重载：

type A = (x: string) => void;
type B = (y: number, x: string) => void;

// 定义重载签名
function c(fn: A): void;
function c(fn: B): void;
// 实现签名
function c(fn: A | B) {}

c((x) => { console.log(x); });        // x: string，正确推断
c((y, x) => { console.log(y, x); });  // y: number, x: string，正确推断

重载会让TypeScript根据传入的回调参数数量，匹配对应的重载签名，从而明确推断参数类型。

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