为什么TypeScript函数重载会强制无必要的类型收窄？

• 核心原因是 TypeScript 做函数重载匹配时，仅会校验你显式声明的前序重载签名，函数的实现签名完全不参与外部调用的类型检查。你当前只声明了分别接收"a"、"b"单字面量的两个重载，没有对外暴露接收"a" | "b"联合类型的重载声明，因此传入联合类型参数时找不到匹配的重载规则，就会抛出类型错误。
• 实现签名本身仅用于函数内部逻辑的类型校验，属于实现层的内容，TS 设计上默认不会把实现签名暴露为外部可用的重载规则，目的是让开发者可以精准控制函数对外的调用形态，避免实现细节溢出到公开类型定义中。
• 你手动对参数做类型收窄后，参数类型会从联合类型缩小为单个字面量类型，刚好可以匹配上你已经声明的两个单值重载，因此不再报错。

如果要支持直接传入联合类型，只需要补一个对应联合类型的重载声明即可：

function foo(options: "a"): "a";
function foo(options: "b"): "b";
// 新增对外暴露的联合类型重载
function foo(options: "a" | "b"): "a" | "b";
function foo(options: "a" | "b"): "a" | "b" {
    switch (options) {
        case "a":
            return `a`;
        case "b":
        default:
            return `b`;
    }
}

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