TypeScript报错：未提供never类型参数，如何实现灵活的evaluate函数？

你遇到的问题核心在于：TypeScript无法通过泛型类型条件自动将函数参数设为可选。虽然你定义了ElementConvertor<T>在T为number时返回never，但函数签名里的toNumber参数仍然是必填项，编译器不会因为参数类型是never就允许你省略它。

正确的实现方式：函数重载 #

处理这种多参数形态的场景，TypeScript推荐使用函数重载来明确区分不同的调用规则，让编译器能正确识别何时需要传入转换器函数，何时不需要。

修正后的代码如下：

// 重载签名1：当元素是number类型时，无需传入转换器
function evaluate(element: number): number;
// 重载签名2：当元素是任意非number类型时，必须传入转换器
function evaluate<T>(element: T, toNumber: (element: T) => number): number;
// 函数实现签名（兼容所有重载）
function evaluate(element: unknown, toNumber?: (element: unknown) => number): number {
    if (typeof element === "number") {
        return element;
    }
    if (typeof toNumber !== "function") {
        throw new Error("非number类型元素必须传入转换器函数");
    }
    return toNumber(element);
}

const main = () => {
    const array1 = [1, 2, 3];
    const array1Value = array1.map(x => evaluate(x)); // 不再报错

    const array2 = [{ value: 1 }, { value: 2 }, { value: 3 }];
    const array2Value = array2.map(x => evaluate(x, ({ value }) => value));

    console.log(array1Value, array2Value); // 输出 [1,2,3] [1,2,3]
};

为什么原代码不生效？ #

原代码的泛型函数签名evaluate<T>(element: T, toNumber: ElementConvertor<T>)中，toNumber始终是必填参数。当你传入number类型的元素时，TypeScript推断T=number，此时ElementConvertor<T>是never，但编译器仍然要求你传入一个类型为never的参数——而never类型的值是不存在的，这就导致了矛盾的报错。

函数重载则通过显式声明两种不同的调用模式，让编译器能根据传入的参数类型自动匹配对应的签名，完美解决了这个问题。

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