TypeScript泛型函数重载疑问：传入非string参数为何无报错？

这问题其实戳中了TypeScript重载机制里一个容易被忽略的细节，我来一步步给你拆解原因：

1. 你写的不是"双重载签名"，而是"单重载签名+实现签名" #

首先得纠正一个常见误解：在TypeScript里，只有没有函数体的函数声明才是重载签名，带函数体的那个是「实现签名」——它是对内的，对外不可见。所以你的代码结构其实是：

• 对外暴露的重载签名：function concat5<T>(strs: T, strs2: T): T;（泛型，允许任何相同类型的两个参数）
• 内部实现签名：function concat5(strs: string, strs2: string) { return strs + strs2; }（只处理string类型）

当你调用concat5(123,12)或concat5({a:1}, {b:2})时，TypeScript只会匹配对外的重载签名：它推断T为number或对应的对象类型，认为完全符合(T,T)=>T的约束，自然不会在调用处报错。

2. 严格模式未开启导致实现签名检查缺失 #

TypeScript本来应该检查「实现签名是否能覆盖所有重载签名的调用场景」——你的实现签名只能处理string，但重载签名允许任何类型，这显然是不兼容的。但如果你的tsconfig.json没开启严格模式（尤其是strictFunctionTypes选项），TypeScript会放松这个检查，不会在实现处报错，也不会追溯到调用处提示风险。

3. JavaScript弱类型的"兜底"让运行时不报错 #

退一步说，即使类型不匹配，JavaScript的+运算符本身就支持任意类型：数字会做加法，对象会被转为[object Object]再拼接，所以代码能跑起来——但这绝对不是你想要的行为，只是TypeScript在宽松模式下没帮你拦住。

怎么修复？ #

如果你只想让这个函数处理string类型，直接去掉泛型重载签名就行：

function concat5(strs: string, strs2: string) {
  return strs + strs2;
}
// 此时调用concat5(123,12)会直接报错，符合预期

如果想支持多种类型（比如string和number），要写多个明确的重载签名，再用兼容所有情况的实现签名：

// 对外暴露的重载签名：只允许string或number
function concat5(strs: string, strs2: string): string;
function concat5(strs: number, strs2: number): number;
// 实现签名要能处理所有重载的情况，用any/unknown
function concat5(strs: any, strs2: any) {
  return strs + strs2;
}
// 此时调用concat5({a:1}, {b:2})会报错，因为没有匹配的重载

内容的提问来源于stack exchange，提问作者rever-whale