TypeScript中如何从父重载函数调用嵌套重载函数？

当父函数参数为boolean类型，而内部重载函数（比如示例里的innerOverloaded）只针对true/false字面量提供重载签名时，直接调用会触发TypeScript类型错误——这是因为TS的重载解析逻辑不会自动把boolean联合类型拆成单个字面量去匹配重载签名。

下面是几种解决方案，按推荐优先级排序：

1. 扩展内部函数的重载签名（最优） #

直接给innerOverloaded加一个接受boolean参数、返回boolean的重载签名，从根源覆盖所有调用场景，代码最简洁且类型安全：

// 新增boolean类型的重载签名
function innerOverloaded(foo: true): false;
function innerOverloaded(foo: false): true;
function innerOverloaded(foo: boolean): boolean;
function innerOverloaded(foo: boolean): boolean {
  return !foo;
}

// 现在直接调用完全正常
function overloadedClean(foo: boolean): boolean {
  return innerOverloaded(foo);
}

2. 转换为实现类型调用（无法修改原函数时） #

如果不能改动innerOverloaded的定义，可以把它转换成实现签名的类型后调用，绕过重载解析的限制：

function innerOverloaded(foo: true): false;
function innerOverloaded(foo: false): true;
function innerOverloaded(foo: boolean): boolean {
  return !foo;
}

// 将函数转换为实现类型，避开重载签名的约束
const innerImpl: (foo: boolean) => boolean = innerOverloaded;

function overloadedClean(foo: boolean): boolean {
  return innerImpl(foo);
}

3. 不推荐的方案：条件分支或类型断言 #

• 条件分支（比如foo ? innerOverloaded(foo) : innerOverloaded(foo)）虽然能让TS推断分支内的字面量类型，但代码冗余，非必要别用。
• 类型断言（比如foo as true）能临时解决错误，但依赖手动判断准确性，容易埋下类型隐患，不如前两种方案可靠。

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