仅使用重载函数时代码如何运行？注释重载签名后为何参数不匹配？

当注释掉两个重载签名后，无法向泛型方法传入符合要求的参数。

有重载签名的代码示例 #

class Example {
    test(...strArray: string[]):(a:string)=>void;
    test(strArray: string[]):(a:string)=>void;
    test<T extends Array<T>>(strArray: T){
        alert(strArray.length.toString());
        return (a:T)=>{console.log(a)};
    }
}

new Example().test(["hl", "soda", "matcha"]);

注释重载签名后的代码示例（报错） #

class Example {
    //test(...strArray: string[]):(a:string)=>void;
    //test(strArray: string[]):(a:string)=>void;
    test<T extends Array<T>>(strArray: T){
        alert(strArray.length.toString());
        return (a:T)=>{console.log(a)};
    }
}

new Example().test(["hl", "soda", "matcha"]); //错误：期望string并将其扩展为string[]，因此出现三次string无法赋值给string[]的错误

提问：仅使用重载函数时该代码是如何运行的？

首先要明确，你写的泛型约束T extends Array<T>本身是个循环约束——它要求T是一个元素类型等于自身的数组，比如嵌套无限层的数组，这种类型根本匹配不了普通的string[]。

当你加上重载签名后，TypeScript的类型检查逻辑是优先匹配对外暴露的重载签名，不会直接去校验内部实现函数的泛型约束：

• 调用test(["hl", "soda", "matcha"])时，会命中第二个重载签名test(strArray: string[]):(a:string)=>void，此时TypeScript直接用这个重载的规则做类型检查，完全忽略实现里有问题的泛型约束。
• 实际运行时，代码还是会执行泛型实现里的逻辑，但类型层面已经被重载签名“屏蔽”了，所以不会触发类型错误。

简单说，重载签名就是给外部调用者一套明确的类型接口，只要内部实现函数能兼容所有重载的参数和返回值，TypeScript就不会在调用时暴露实现里的类型问题。

而注释掉重载签名后，调用时只能直接匹配泛型实现的签名，这时TypeScript会尝试推导T的类型：传入的string[]不满足T extends Array<T>（因为string[]的元素是string，不是T本身），所以就抛出了类型错误。

内容的提问来源于stack exchange，提问作者Thọ Nguyễn