Array.map为何会给重载函数返回类型额外包裹一层数组？

当你直接把f传给Array.map时，TypeScript的重载解析逻辑在上下文类型推断中出现了偏差，导致错误匹配了第二个重载签名：

1. 重载匹配的优先级偏差：
   Array.map的回调函数会向传入的函数传递三个参数（当前元素、索引、原数组），虽然你的f只接受一个参数，但JavaScript允许忽略多余参数，所以TypeScript会尝试让f的重载签名适配这个调用场景。
   此时TypeScript错误地优先匹配了第二个重载<T extends number>(x: T[]): T[]，为了让参数number（当前元素）适配T[]的类型约束，它推断T为number，进而认为f的返回值是T[]即number[]。最终map的返回类型就变成了number[]的数组，也就是number[][]。

2. 箭头函数包裹的正确逻辑：
   当你用(v) => f(v)包裹时，明确指定了只传递v（单个number类型参数）给f，此时TypeScript会精准匹配第一个重载<T extends number>(x: T): T，返回值为number，所以map的返回类型正确推断为number[]。

你可以通过以下几种方式解决这个问题：

方案1：使用函数重载代替类型别名 #

直接定义函数重载而非类型别名，TypeScript的重载解析会更准确：

// 定义函数重载
function f<T extends number>(x: T): T
function f<T extends number>(x: T[]): T[]
// 实现函数
function f<T extends number>(x: T | T[]) {
    return Array.isArray(x) ? x.map(v => 2 * v) : 2 * x
}

这种方式下，直接调用[1,2,3].map(f)就能得到正确的number[]类型。

方案2：显式指定map的泛型参数 #

直接告诉TypeScriptmap的返回值类型，强制匹配正确的重载：

const result = [1,2,3].map<number>(f)

方案3：优化类型断言的准确性 #

如果坚持使用类型别名，可通过更精准的类型定义避免推断偏差：

type MaybeElementwise =
    | (<T extends number>(x: T) => T)
    | (<T extends number>(x: T[]) => T[])

const f: MaybeElementwise = <T extends number>(maybeArray: T | T[]) =>
    Array.isArray(maybeArray)
        ? maybeArray.map((v) => 2 * v)
        : 2 * maybeArray

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