前言函数重载让同一个名字可以对应多组参数调用时由编译器挑出唯一匹配的那个。多数时候它工作得很自然但一旦涉及隐式转换、继承、模板和默认参数选中的函数经常和直觉相反。更麻烦的是选错未必报错——有时它能编过只是悄悄调用了另一个重载行为与预期不同。最常见的误解是「参数类型最接近的那个会被选中」。标准并没有「距离」这个概念它定义的是一套分级的隐式转换序列逐参数比较等级两个候选各赢一部分参数时结果就是二义性ambiguous编译失败。另一个误解是「private 函数不参与重载」——访问控制是在重载解析之后才检查的私有的最佳匹配会让整个调用报错而不是退而求其次。本文按编译器的实际决策顺序展开先建立候选集再筛出可行函数然后比较隐式转换序列最后才做访问检查与模板取舍。理解这个顺序大部分「为什么调用了那个」的问题都能自己推出来。本文以 C17 为基准所讲规则在 C11 之后基本稳定。一、候选集与可行函数重载解析不是全局搜索而是从「名字查找」的结果开始。对于一个非限定调用f(args)编译器先做普通查找再做实参依赖查找argument-dependent lookup, ADL把找到的同名函数合在一起构成候选集candidate set。这也是为什么std::cout x不需要写std::operator——ADL 会在实参所在的命名空间里找。名字查找有一条容易忽视的规则派生类中的同名函数会隐藏基类的全部重载不管参数是否匹配。例如// 适用于 C17struct Base {void run(int);};struct Derived : Base {void run(double);};void demo() {Derived d;d.run(1); // 选择 Derived::run(double)Base::run(int) 被隐藏}1是int但Base::run(int)根本不在候选集里只能对Derived::run(double)做int到double的转换。若确实需要基类重载应在派生类里写using Base::run;把名字重新引入同一作用域。候选集确定后编译器筛出可行函数viable function实参个数能对上考虑默认参数且每个实参都能转换成对应形参类型。最后再比较这些可行函数的转换序列。需要强调默认参数只影响「是否可行」不参与优劣比较。下面两个重载同时存在时f(1)是二义性的// 适用于 C17void f(int);void f(int, int 0);void call() {f(1); // 两个都可行转换序列相同 - 二义性}二、隐式转换序列的五个等级标准把每个实参到形参的转换拆成「标准转换序列」或「用户定义转换序列」并按等级排序。从好到差依次是等级内容例子精确匹配Exact match恒等、左值到右值、数组到指针、函数到指针、限定转换int到intint*到const int*提升Promotion整型提升、浮点提升char/short到intfloat到double转换Conversion整型转换、浮点整型互转、指针转换、布尔转换int到longdouble到intDerived*到Base*用户定义转换User-defined转换构造函数或转换函数const char*到std::string省略号Ellipsis匹配...任意类型到...比较规则是逐实参进行的如果候选 A 的每个转换都不比 B 差且至少有一个更好A 胜出如果两个候选互有胜负就是二义性。注意「精确匹配」里包含限定转换所以把int*传给const int*形参不会比传给int*形参更差——但如果两个重载都存在非 const 版本更优因为另一个需要限定转换。几个可以直接推演的结论char实参同时有int和long重载时选int前者是提升后者是转换。float实参同时有double和int重载时选double提升优于转换。0同时有int和void*重载时选int0的类型就是int是精确匹配转成指针属于转换。long实参同时有int和double重载时两者都是转换且没有优劣二义性。下面这段代码把上述规则放在一起// 适用于 C17#include iostreamvoid pick(int) { std::cout int\n; }void pick(long) { std::cout long\n; }void pick(double) { std::cout double\n; }void choose(int) { std::cout int\n; }void choose(void*) { std::cout void*\n; }int main() {pick(a); // char - int 是提升优于到 long/double 的转换选 intpick(3.5f); // float - double 是提升优于到 int 的转换选 doublepick(1L); // long 精确匹配选 longchoose(0); // 0 是 int精确匹配选 intchoose(nullptr); // nullptr 只能转成指针选 void*return 0;}nullptr那一行值得单独说nullptr的类型是std::nullptr_t它不能转换成int所以choose(int)不可行只剩choose(void*)。这与0的情况正好相反也是现代代码提倡用nullptr的原因之一。三、引用绑定、限定与用户定义转换引用形参引入几条例外。第一非 const 左值引用不能绑定右值因此void g(int)对字面量3不可行void g(const int)可以因为 const 左值引用能延长临时对象的寿命。第二绑定到基类引用需要派生到基类的转换属于「转换」等级而绑定到派生类引用是精确匹配所以派生类版本更优。// 适用于 C17struct B {};struct D : B {};void by_ref(B) { }void by_ref(D) { }void by_ref(const B) { }void run() {D d;by_ref(d); // D 精确匹配优于 B派生到基类转换const D cd{};by_ref(cd); // 只有 const B 可行两个非 const 引用都不能绑定 const 对象}by_ref(cd)这一行体现了「先可行性、后比较」的顺序B和D都会丢弃 const根本不进入候选比较唯一可行的const B因此直接胜出哪怕它需要一次派生到基类的转换。写重载时如果漏掉 const 版本调用会直接编译失败而不是选一个「次优」的。用户定义转换序列有两条硬约束。其一一个序列里最多只能有一次用户定义转换不能「先转 A 再转 B」。其二用户定义转换序列之间比较的是「转换前后的标准转换序列」若仍无法区分则二义性。这也是为什么同时给一个类型定义多个转换运算符很容易制造歧义。初始值列表列表初始化还有一条特殊规则如果类有std::initializer_list构造函数列表初始化时它会被强烈优先考虑哪怕其他构造函数看起来更匹配。这是std::vectorint v{1, 2};与std::vectorint v(1, 2);语义完全不同的原因——前者是列表初始化后者是普通构造。四、重载解析之后访问、模板与返回值访问控制发生在解析之后。编译器先选出最佳候选再检查它是否可访问。因此下面这段代码不会退而调用f(double)而是直接报错// 适用于 C17class Widget {private:void f(int);public:void f(double);};void demo(Widget w) {w.f(1); // 选中 private 的 f(int)然后报访问错误}同样被 delete的函数也参与重载解析一旦它是最佳匹配调用就是编译错误而不是继续找下一个。这条规则常被用来主动禁止某些隐式转换删掉f(double)之后传float就会在编译期被拦下。返回类型不参与重载解析。仅返回值不同的两个函数不能构成重载这是语言规则不是编译器限制。模板与非模板的取舍分两层。第一层是转换序列如果模板实例化后是精确匹配而非模板需要一次转换模板胜出。第二层才是「平局决胜」当两者的转换序列同样好时非模板函数优先如果两个都是模板则更特化的那个优先。// 适用于 C17template typename Tvoid emit(T) { }void emit(int) { }template typename Tvoid send(T) { }template typename Tvoid send(T*) { }void call() {emit(42); // 非模板 emit(int) 与模板 emitint 都是精确匹配 - 非模板优先emit(42L); // 模板 emitlong 精确非模板需 long-int 转换 - 模板胜出int x 0;send(x); // 两个模板都精确T* 版本更特化 - 选 send(T*)}「更特化」的判定通过偏序比较完成T*能匹配的模式比T窄所以send(T*)更特化。这也是很多库用T与const T重载做转发的原因但转发引用会让推导规则变得更复杂不在本文展开。五、完整实例一次调用到底选了谁把前面的规则合到一个例子里每个调用点的选择都写成注释。这里不声称任何执行输出只按标准语义推演。// 适用于 C17#include iostream#include stringvoid show(int) { std::cout int\n; }void show(long) { std::cout long\n; }void show(double) { std::cout double\n; }void show(const std::string) { std::cout string\n; }void show(const void*) { std::cout pointer\n; }struct Base {};struct Derived : Base {};void take(Base) { std::cout Base\n; }void take(...) { std::cout ellipsis\n; }void pair_call(int, double) { std::cout int,double\n; }void pair_call(double, int) { std::cout double,int\n; }int main() {show(a); // intchar - int 是提升show(3.5f); // doublefloat - double 是提升show(hello); // pointerconst char* - const void* 是标准转换// 优于到 std::string 的用户定义转换show(7); // int精确匹配Derived d;take(d); // Base派生到基类转换优于省略号pair_call(1, 1); // 二义性第一个候选精确转换第二个转换精确return 0;}最后一行如果参与编译整个程序无法通过——二义性是在编译期确定的错误。想让它编过必须显式写pair_call(1, 1.0)或做类型转换让某一个候选在两个参数上都不差。show(hello)这一行最值得记住直觉上字符串字面量应该走std::string重载但标准转换的等级高于用户定义转换所以它选了const void*。如果show(const void*)不存在才会轮到std::string。这类「多了一个看似无关的重载行为就变了」的情况是重载集合设计中最需要警惕的。常见坑点❌ 以为返回值类型不同可以构成重载。✅ 返回类型不参与重载解析函数名和参数列表相同就是重复定义。❌ 认为f(0)和f(nullptr)会选择同一个重载。✅0是int走精确匹配nullptr是std::nullptr_t只能匹配指针形参。❌ 给字符串字面量准备std::string重载却同时存在bool或const void*重载。✅ 标准转换优于用户定义转换字面量可能选到指针/布尔版本删掉或重命名干扰项。❌ 在派生类定义同名函数以为基类的其他重载仍然可用。✅ 派生类的名字会隐藏基类全部重载需要时写using Base::f;。❌ 以为 private 成员函数不参与重载解析。✅ 先解析后检查访问私有最佳匹配会让调用直接报错。❌ 同时提供f(int)和f(int, int 0)调用f(1)。✅ 两者都可行且转换序列相同构成二义性合并成一个函数或去掉默认参数。❌ 多参数重载里以为「赢的参数多」就胜出。✅ 必须每个参数都不差且至少一个更好互有胜负即二义性。❌ 以为模板函数总是让位于非模板函数。✅ 只有在转换序列同样好时才优先非模板模板精确匹配、非模板需要转换时模板胜出。总结阶段做什么关键规则名字查找建立候选集派生类同名函数隐藏基类重载ADL 补充候选可行性参数个数与可转换性默认参数只影响可行性序列比较逐参数比较转换等级精确 提升 转换 用户定义 省略号平局决胜模板与非模板、特化程度非模板优先更特化的模板优先解析之后访问检查、删除检查选中的不可访问即报错不回溯重载解析的规则看似繁琐实际只需要记住一条主线先筛可行再逐参数比等级任何一项互有胜负就是二义性。写重载集合时尽量让每个重载在参数类型上有明显区分避免提供会被隐式转换「截胡」的版本也不要依赖0、字符串字面量这类容易跨越等级的实参。拿不准时显式写出类型或改用不同函数名比事后调试更容易。
前言函数重载让同一个名字可以对应多组参数调用时由编译器挑出唯一匹配的那个。多数时候它工作得很自然但一旦涉及隐式转换、继承、模板和默认参数选中的函数经常和直觉相反。更麻烦的是选错未必报错——有时它能编过只是悄悄调用了另一个重载行为与预期不同。最常见的误解是「参数类型最接近的那个会被选中」。标准并没有「距离」这个概念它定义的是一套分级的隐式转换序列逐参数比较等级两个候选各赢一部分参数时结果就是二义性ambiguous编译失败。另一个误解是「private 函数不参与重载」——访问控制是在重载解析之后才检查的私有的最佳匹配会让整个调用报错而不是退而求其次。本文按编译器的实际决策顺序展开先建立候选集再筛出可行函数然后比较隐式转换序列最后才做访问检查与模板取舍。理解这个顺序大部分「为什么调用了那个」的问题都能自己推出来。本文以 C17 为基准所讲规则在 C11 之后基本稳定。一、候选集与可行函数重载解析不是全局搜索而是从「名字查找」的结果开始。对于一个非限定调用f(args)编译器先做普通查找再做实参依赖查找argument-dependent lookup, ADL把找到的同名函数合在一起构成候选集candidate set。这也是为什么std::cout x不需要写std::operator——ADL 会在实参所在的命名空间里找。名字查找有一条容易忽视的规则派生类中的同名函数会隐藏基类的全部重载不管参数是否匹配。例如// 适用于 C17struct Base {void run(int);};struct Derived : Base {void run(double);};void demo() {Derived d;d.run(1); // 选择 Derived::run(double)Base::run(int) 被隐藏}1是int但Base::run(int)根本不在候选集里只能对Derived::run(double)做int到double的转换。若确实需要基类重载应在派生类里写using Base::run;把名字重新引入同一作用域。候选集确定后编译器筛出可行函数viable function实参个数能对上考虑默认参数且每个实参都能转换成对应形参类型。最后再比较这些可行函数的转换序列。需要强调默认参数只影响「是否可行」不参与优劣比较。下面两个重载同时存在时f(1)是二义性的// 适用于 C17void f(int);void f(int, int 0);void call() {f(1); // 两个都可行转换序列相同 - 二义性}二、隐式转换序列的五个等级标准把每个实参到形参的转换拆成「标准转换序列」或「用户定义转换序列」并按等级排序。从好到差依次是等级内容例子精确匹配Exact match恒等、左值到右值、数组到指针、函数到指针、限定转换int到intint*到const int*提升Promotion整型提升、浮点提升char/short到intfloat到double转换Conversion整型转换、浮点整型互转、指针转换、布尔转换int到longdouble到intDerived*到Base*用户定义转换User-defined转换构造函数或转换函数const char*到std::string省略号Ellipsis匹配...任意类型到...比较规则是逐实参进行的如果候选 A 的每个转换都不比 B 差且至少有一个更好A 胜出如果两个候选互有胜负就是二义性。注意「精确匹配」里包含限定转换所以把int*传给const int*形参不会比传给int*形参更差——但如果两个重载都存在非 const 版本更优因为另一个需要限定转换。几个可以直接推演的结论char实参同时有int和long重载时选int前者是提升后者是转换。float实参同时有double和int重载时选double提升优于转换。0同时有int和void*重载时选int0的类型就是int是精确匹配转成指针属于转换。long实参同时有int和double重载时两者都是转换且没有优劣二义性。下面这段代码把上述规则放在一起// 适用于 C17#include iostreamvoid pick(int) { std::cout int\n; }void pick(long) { std::cout long\n; }void pick(double) { std::cout double\n; }void choose(int) { std::cout int\n; }void choose(void*) { std::cout void*\n; }int main() {pick(a); // char - int 是提升优于到 long/double 的转换选 intpick(3.5f); // float - double 是提升优于到 int 的转换选 doublepick(1L); // long 精确匹配选 longchoose(0); // 0 是 int精确匹配选 intchoose(nullptr); // nullptr 只能转成指针选 void*return 0;}nullptr那一行值得单独说nullptr的类型是std::nullptr_t它不能转换成int所以choose(int)不可行只剩choose(void*)。这与0的情况正好相反也是现代代码提倡用nullptr的原因之一。三、引用绑定、限定与用户定义转换引用形参引入几条例外。第一非 const 左值引用不能绑定右值因此void g(int)对字面量3不可行void g(const int)可以因为 const 左值引用能延长临时对象的寿命。第二绑定到基类引用需要派生到基类的转换属于「转换」等级而绑定到派生类引用是精确匹配所以派生类版本更优。// 适用于 C17struct B {};struct D : B {};void by_ref(B) { }void by_ref(D) { }void by_ref(const B) { }void run() {D d;by_ref(d); // D 精确匹配优于 B派生到基类转换const D cd{};by_ref(cd); // 只有 const B 可行两个非 const 引用都不能绑定 const 对象}by_ref(cd)这一行体现了「先可行性、后比较」的顺序B和D都会丢弃 const根本不进入候选比较唯一可行的const B因此直接胜出哪怕它需要一次派生到基类的转换。写重载时如果漏掉 const 版本调用会直接编译失败而不是选一个「次优」的。用户定义转换序列有两条硬约束。其一一个序列里最多只能有一次用户定义转换不能「先转 A 再转 B」。其二用户定义转换序列之间比较的是「转换前后的标准转换序列」若仍无法区分则二义性。这也是为什么同时给一个类型定义多个转换运算符很容易制造歧义。初始值列表列表初始化还有一条特殊规则如果类有std::initializer_list构造函数列表初始化时它会被强烈优先考虑哪怕其他构造函数看起来更匹配。这是std::vectorint v{1, 2};与std::vectorint v(1, 2);语义完全不同的原因——前者是列表初始化后者是普通构造。四、重载解析之后访问、模板与返回值访问控制发生在解析之后。编译器先选出最佳候选再检查它是否可访问。因此下面这段代码不会退而调用f(double)而是直接报错// 适用于 C17class Widget {private:void f(int);public:void f(double);};void demo(Widget w) {w.f(1); // 选中 private 的 f(int)然后报访问错误}同样被 delete的函数也参与重载解析一旦它是最佳匹配调用就是编译错误而不是继续找下一个。这条规则常被用来主动禁止某些隐式转换删掉f(double)之后传float就会在编译期被拦下。返回类型不参与重载解析。仅返回值不同的两个函数不能构成重载这是语言规则不是编译器限制。模板与非模板的取舍分两层。第一层是转换序列如果模板实例化后是精确匹配而非模板需要一次转换模板胜出。第二层才是「平局决胜」当两者的转换序列同样好时非模板函数优先如果两个都是模板则更特化的那个优先。// 适用于 C17template typename Tvoid emit(T) { }void emit(int) { }template typename Tvoid send(T) { }template typename Tvoid send(T*) { }void call() {emit(42); // 非模板 emit(int) 与模板 emitint 都是精确匹配 - 非模板优先emit(42L); // 模板 emitlong 精确非模板需 long-int 转换 - 模板胜出int x 0;send(x); // 两个模板都精确T* 版本更特化 - 选 send(T*)}「更特化」的判定通过偏序比较完成T*能匹配的模式比T窄所以send(T*)更特化。这也是很多库用T与const T重载做转发的原因但转发引用会让推导规则变得更复杂不在本文展开。五、完整实例一次调用到底选了谁把前面的规则合到一个例子里每个调用点的选择都写成注释。这里不声称任何执行输出只按标准语义推演。// 适用于 C17#include iostream#include stringvoid show(int) { std::cout int\n; }void show(long) { std::cout long\n; }void show(double) { std::cout double\n; }void show(const std::string) { std::cout string\n; }void show(const void*) { std::cout pointer\n; }struct Base {};struct Derived : Base {};void take(Base) { std::cout Base\n; }void take(...) { std::cout ellipsis\n; }void pair_call(int, double) { std::cout int,double\n; }void pair_call(double, int) { std::cout double,int\n; }int main() {show(a); // intchar - int 是提升show(3.5f); // doublefloat - double 是提升show(hello); // pointerconst char* - const void* 是标准转换// 优于到 std::string 的用户定义转换show(7); // int精确匹配Derived d;take(d); // Base派生到基类转换优于省略号pair_call(1, 1); // 二义性第一个候选精确转换第二个转换精确return 0;}最后一行如果参与编译整个程序无法通过——二义性是在编译期确定的错误。想让它编过必须显式写pair_call(1, 1.0)或做类型转换让某一个候选在两个参数上都不差。show(hello)这一行最值得记住直觉上字符串字面量应该走std::string重载但标准转换的等级高于用户定义转换所以它选了const void*。如果show(const void*)不存在才会轮到std::string。这类「多了一个看似无关的重载行为就变了」的情况是重载集合设计中最需要警惕的。常见坑点❌ 以为返回值类型不同可以构成重载。✅ 返回类型不参与重载解析函数名和参数列表相同就是重复定义。❌ 认为f(0)和f(nullptr)会选择同一个重载。✅0是int走精确匹配nullptr是std::nullptr_t只能匹配指针形参。❌ 给字符串字面量准备std::string重载却同时存在bool或const void*重载。✅ 标准转换优于用户定义转换字面量可能选到指针/布尔版本删掉或重命名干扰项。❌ 在派生类定义同名函数以为基类的其他重载仍然可用。✅ 派生类的名字会隐藏基类全部重载需要时写using Base::f;。❌ 以为 private 成员函数不参与重载解析。✅ 先解析后检查访问私有最佳匹配会让调用直接报错。❌ 同时提供f(int)和f(int, int 0)调用f(1)。✅ 两者都可行且转换序列相同构成二义性合并成一个函数或去掉默认参数。❌ 多参数重载里以为「赢的参数多」就胜出。✅ 必须每个参数都不差且至少一个更好互有胜负即二义性。❌ 以为模板函数总是让位于非模板函数。✅ 只有在转换序列同样好时才优先非模板模板精确匹配、非模板需要转换时模板胜出。总结阶段做什么关键规则名字查找建立候选集派生类同名函数隐藏基类重载ADL 补充候选可行性参数个数与可转换性默认参数只影响可行性序列比较逐参数比较转换等级精确 提升 转换 用户定义 省略号平局决胜模板与非模板、特化程度非模板优先更特化的模板优先解析之后访问检查、删除检查选中的不可访问即报错不回溯重载解析的规则看似繁琐实际只需要记住一条主线先筛可行再逐参数比等级任何一项互有胜负就是二义性。写重载集合时尽量让每个重载在参数类型上有明显区分避免提供会被隐式转换「截胡」的版本也不要依赖0、字符串字面量这类容易跨越等级的实参。拿不准时显式写出类型或改用不同函数名比事后调试更容易。
平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测)
