函数重载允许同一作用域内同名函数通过参数列表不同实现多态，编译器借助名字修饰和重载决议在编译期确定调用版本，属于静态多态。
函数重载是C++中一个核心的特性，它允许在同一个作用域内定义多个同名函数，只要它们的参数列表不同。也就是说，函数名相同，但参数的个数、类型或顺序不一样时，编译器会根据调用时传入的实际参数来选择匹配的函数版本。
函数重载的基本规则
要构成有效的函数重载，必须满足以下条件：
- 函数名必须相同：这是重载的前提。
- 参数列表必须不同：可以是参数的类型、数量或顺序不同。
- 返回类型不影响重载判断：仅靠返回类型不同无法构成重载。
- 必须在同一作用域内：类外和类内的函数不构成重载关系（除非显式使用using引入）。
例如：
void print(int x); void print(double x); void print(const char* str); void print(int a, double b); // 参数个数不同这四个
print函数构成了重载。
编译器如何实现函数重载？
C++本身并不直接支持“同名多函数”，底层机制依赖于名字修饰（Name Mangling）技术。编译器在编译阶段会根据函数名、参数类型等信息生成一个全局唯一的内部符号名。
立即学习“C++免费学习笔记（深入）”；
比如，下面这两个函数：
void func(int); void func(double);
经过名字修饰后可能变成类似：
_Z4funci // func(int) _Z4funcd // func(double)这种修饰方式因编译器而异（如GCC、Clang、MSVC修饰规则不同），但目的都是让链接器能区分不同版本的同名函数。
因此，函数重载是在编译期完成解析的，属于静态多态（早绑定），不同于虚函数的动态多态（晚绑定）。
重载决议的过程
当调用一个重载函数时，编译器会执行“重载决议”来决定使用哪个版本。这个过程包括以下几个步骤：
- 候选函数收集：找到所有同名且可见的函数。
- 可行函数筛选：选出参数数量和类型能匹配的函数。
- 最佳匹配选择：通过隐式转换序列的优劣判断最合适的函数。
如果找不到唯一最佳匹配，就会产生编译错误（歧义调用）。
示例歧义情况：
void func(int); void func(long);func(10); // OK，优先匹配int func('a'); // OK，char -> int 更近 func(10L); // OK，long更匹配
long x = 10; func(x); // 调用func(long)
// 但如果两个转换代价相同： void func(float); void func(double); func(3.14); // 默认是double，调用func(double)
注意事项与常见陷阱
虽然函数重载非常实用，但也容易引发问题：
- 避免过度重载：过多重载会让代码难以理解和维护。
- 小心默认参数带来的冲突：带默认参数的函数可能与另一个重载产生二义性。
- const成员函数也可以重载：非const对象调用非const版本，const对象调用const版本。
- 指针和引用参与重载时要注意类型精确匹配。
基本上就这些。函数重载是C++类型系统和编译机制协同工作的结果，理解其背后的原理有助于写出更清晰、更安全的代码。
