TypeScript重载签名无法识别实现内定义的fnA类型，求解决方案

你的问题出在重载签名定义在外部作用域，而fnA、fnB是fn函数内部定义的函数，外部作用域无法访问到它们的类型标识符，所以TypeScript会报错。

这里提供两种可行的解决方式：

方式一：提前定义内部函数的类型别名 #

先在外部声明fnA、fnB对应的类型，重载签名直接使用这些类型即可：

// 先定义与内部函数匹配的类型别名
type FnTypeWhenTrue = () => void;
type FnTypeWhenFalse = () => void;

// 重载签名使用提前定义的类型
function fn(a: true): FnTypeWhenTrue;
function fn(a: false): FnTypeWhenFalse;
function fn(a: boolean): FnTypeWhenTrue | FnTypeWhenFalse {
    function fnA() { console.log(a); };
    function fnB() { console.log(a); };
    return a ? fnA : fnB;
}

如果fnA和fnB的类型有差异（比如返回值不同），只需要修改对应的类型别名即可。

方式二：使用泛型+条件类型 #

通过泛型捕获参数a的具体类型，再用条件类型描述返回值，完全不需要引用内部函数的标识符：

function fn<T extends boolean>(a: T): T extends true ? () => void : () => void;
function fn(a: boolean) {
    function fnA() { console.log(a); };
    function fnB() { console.log(a); };
    return a ? fnA : fnB;
}

这种方式更灵活，如果内部函数的类型依赖于a的具体值（比如a为true时，fnA可以访问更具体的类型），条件类型可以精准匹配。

如果你的内部函数有更复杂的类型（比如依赖外部函数的参数类型），可以进一步细化条件类型或类型别名，确保与内部函数的实际类型完全对齐。

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