获课：xingkeit.top/16378/

函数重载与默认参数复盘：编译期函数匹配底层原理

同一个函数名，调用时参数不同却能跑出不同结果——这就是重载。给参数设个默认值，少传几个参数也能调——这就是默认参数。这两个特性在 C++ 和 TypeScript 里极其常见，但底层匹配规则完全不同，搞混了就是编译报错或调用了你意想不到的版本。

一、函数重载：编译器在做什么

重载的本质是同作用域内允许同名函数共存，编译器根据实参的数量、类型、顺序，在编译期选出唯一匹配的版本。这个过程叫重载决议（Overload Resolution），发生在编译阶段，不是运行时。

决议分三步走。

第一步：候选函数筛选。 编译器先把所有同名函数拉出来，去掉参数数量不匹配的。你传了两个参数，三参数的版本直接淘汰。

第二步：可行函数排名。 剩下的函数中，编译器逐参数比对。精确匹配优先级最高——参数类型完全一致，不需要任何转换。其次是提升匹配，比如 int 传给 long，属于标准类型提升。再次是标准转换，比如 double 传给 int，需要截断。最后是用户自定义转换，优先级最低。

第三步：最佳匹配抉择。 如果有多个可行函数排名相同，编译器报歧义错误。比如一个函数接受 int，另一个接受 long，你传了 5——两个都是精确匹配，编译器无法抉择，直接报错。解决办法是显式转型或调整重载签名。

关键细节：默认参数不参与重载决议。 这是最容易踩的坑。两个重载函数，一个两参数，一个三参数但第三个有默认值。调用时只传两个参数，编译器只看两参数版本，三参数版本根本不进候选池。传三个参数时，两参数版本因参数不足被淘汰，三参数版本精确匹配。但如果两参数版本的第二个参数类型和三参数版本的前两个类型完全一致，传两个参数时就会产生歧义——因为编译器分不清你想调哪个。

二、默认参数：本质是语法糖

默认参数的实现极其简单——编译器在编译期把缺失的参数补全为默认值，然后按完整参数列表去匹配重载。

但这里有个致命约束：默认参数必须从右往左连续设置。 你不能给第一个参数设默认值而第二个不设，因为调用时 func(1) 到底是省略了第二个参数，还是只传了第一个参数？编译器无法判断。

另一个坑是默认参数只在声明处指定，定义处不能重复写。 写了就是重复定义，编译直接报错。原因很简单：默认参数是调用时才生效的，属于调用方的信息，不是函数实现的一部分。多处定义会导致不同调用方看到不同的默认值，行为不一致。

三、重载与默认参数的致命冲突

当两者同时出现时，规则是：重载决议先执行，默认参数后补全。

这意味着默认参数不会制造新的候选函数，它只会在已有候选函数的参数列表末尾补值。如果补完之后跟另一个重载签名完全一致，就会产生二义性。

经典反例：void foo(int) 和 void foo(int, int = 0)。调用 foo(5) 时，两个函数都能匹配——第一个精确匹配，第二个补全后也是精确匹配。编译器无法抉择，报歧义错误。

解决方案只有两个：要么删掉其中一个，要么让参数类型有明确区分，比如第二个函数的第一个参数改成 double。

四、一句话总结

重载是编译期的多路选择，默认参数是调用时的自动补全。前者看参数决定选谁，后者看参数决定补什么。两者独立运行，但叠加时默认参数不进候选池、不制造新匹配。记住这条线，重载和默认参数就不会再打架。