函数重载本质是编译期名字修饰，编译器根据实参类型、个数、const性等静态匹配唯一函数签名；仅返回值不同不构成重载；参数个数、类型不同可重载，顶层const差异不可重载。
函数重载的本质是编译期名字修饰（name mangling）
所谓“重载”，不是运行时动态选择，而是编译器在调用点根据实参类型、个数、const性等，静态匹配唯一一个 function name + parameter types 组合。c++ 不允许仅靠返回值类型不同来重载——int foo(); 和 double foo(); 会编译失败。
参数列表差异必须能被编译器无歧义分辨
以下变化构成合法重载：
- 参数个数不同：
void print(int)vsvoid print(int, int) - 参数类型不同：
void func(double)vsvoid func(std::String) - 顶层 const 差异不算重载：
void f(int)和void f(const int)是同一函数（const int在形参中等价于） - 引用/指针的底层 const 会影响匹配：
void g(int&)、
void g(const int&)、void g(int*)三者可共存 - 成员函数的 cv-qualifier（
const/volatile）和 ref-qualifier（&/&&）也参与重载：void h() const与void h()是不同函数
常见匹配失败场景与调试方法
报错如 error: call of overloaded 'foo(...)' is ambiguous，通常因为：
- 用户自定义类型存在多个隐式转换路径（比如同时定义了
operator int()和operator double()） - 参数是
nullptr，而重载函数分别接受int*和std::shared_ptr——两者都可从nullptr转换 - 使用了默认参数，导致两个函数在调用时签名“看起来一样”：
void x(int = 0)和void x()不能共存 - 模板函数与非模板函数并存时，编译器优先选非模板（如果能匹配），但有时模板推导出更精确类型反而引发歧义
调试建议：用 static_cast 显式指定目标重载版本，或临时删减其他重载函数缩小排查范围。
立即学习“C++免费学习笔记（深入）”；
重载与继承中的隐藏（hiding）易混淆点
子类中定义同名函数，哪怕参数不同，也会隐藏父类所有同名重载版本：
class Base { public: void show(int) { } void show(double) { } }; class Derived : public Base { public: void show(std::string) { } // ← 这会隐藏 Base::show(int) 和 Base::show(double) };若想保留父类重载，需显式引入：
class Derived : public Base { public: using Base::show; // ← 关键！否则父类所有 show 都不可见 void show(std::string) { } };不加 using 声明时，即使 Derived d; d.show(42); 看起来该调用 Base::show(int)，也会编译失败。
重载规则表面简单，真正难的是在大型项目中维护一致的隐式转换路径和跨层级的名称可见性。一旦出现模糊匹配，别急着加 static_cast，先检查是否无意中隐藏了基类函数，或某个中间类型悄悄提供了多条转换构造函数。