如何编写指定无参数或全参数的TypeScript函数重载？

可以实现这个需求，你之前的写法问题在于第二个重载允许传入单个可选参数，导致TypeScript认为只传第一个参数是合法的。正确的做法是只定义两个精确的重载签名：一个无参数，一个带两个必选参数，实现函数时用可选参数兼容这两种情况，但调用时会被重载约束。

正确写法示例： #

// 重载签名：仅允许两种调用方式
function foo(): string;
function foo(a: string, b: number): string;
// 实现签名：兼容两种重载的参数类型
function foo(a?: string, b?: number): string {
    return a ? `${a}${b?.toString() ?? ''}` : '';
}

调用验证： #

foo();            // ✅ 合法
foo('hello', 42); // ✅ 合法
foo('oops');      // ❌ 报错：没有与此调用匹配的重载。

原理是TypeScript的函数重载会以定义的签名来约束外部调用，实现签名的参数类型只需兼容所有重载即可，但外部调用必须严格匹配其中一个重载签名。这样就限制了只能无参或传入全部两个参数的调用方式。

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