函数重载是编译期的静态多态，依赖参数列表不同实现同名函数区分，匹配时按精确、提升、标准、用户定义和可变参数顺序选择最佳函数，通过名字修饰避免链接冲突。
C++中的函数重载和多态是两个密切相关但本质不同的概念。函数重载发生在编译期，属于静态多态；而运行时多态依赖虚函数机制，属于动态多态。本文重点讲解函数重载的定义规则与匹配原理，帮助理解C++如何实现这一特性。
函数重载的基本定义规则
函数重载允许在同一作用域内定义多个同名函数，只要它们的参数列表不同即可。返回类型可以不同，但不能仅凭返回类型区分重载函数。
- 函数名称必须相同
- 参数列表必须不同：参数个数不同，或对应位置的参数类型不同
- 参数的默认值不影响重载的判断，但不能造成调用歧义
- const限定符可用于成员函数的重载（如const版本与非const版本）
- 引用类型、指针类型、数组类型在重载中被视为不同类型
例如：
void func(int x); void func(double x); // 类型不同，合法重载 void func(int x, int y); // 参数个数不同，合法重载 void func(const int& x); // 引用类型不同，可构成重载
函数重载的匹配过程与优先级
当调用一个重载函数时，编译器会根据实参尝试找到“最佳匹配”。这个过程分为几个阶段，按优先级递减顺序进行：
- 精确匹配：包括相同类型、数组到指针、函数到指针、cv修饰符调整（如const）
- 提升转换：如char→int，float→double等标准提升
- 标准转换：如int→double，派生类指针→基类指针
- 用户定义转换：通过构造函数或类型转换操作符
- 可变参数匹配：最后考虑省略号参数（...）
如果在某一层级有多个可行函数，编译器将报错“调用歧义”。
示例：
void foo(int);
void foo(long);
foo(10); // 精确匹配 int，调用 foo(int)
foo(10L); // 精确匹配 long，调用 foo(long)
foo('a'); // char 可提升为 int 或 long，两者都是提升转换
// 但 int 是更小的整型，通常优先选择 foo(int)
名字修饰与编译器实现机制
C++实现函数重载的关键在于名字修饰（Name Mangling）。编译器会根据函数名、参数类型生成唯一的内部符号名。例如：
// 源码 void print(int); void print(double); // 编译后可能变成类似： _Z5printi // print(int) _Z5printd // print(double)
链接器看到的是这些修饰后的名字，因此不会冲突。这也解释了为什么C语言不支持重载——C不进行名字修饰，同名函数会产生符号冲突。
常见陷阱与注意事项
函数重载虽然方便，但也容易引发问题：
- 避免参数类型过于相近导致意外匹配，如int和bool
- 慎用默认参数，可能与重载产生二义性
- 注意引用和指针的重载组合，特别是const与非const版本
- 模板函数与普通函数同时存在时，匹配规则更复杂
基本上就这些。理解重载的匹配层次和名字修饰机制，能帮助写出更清晰、安全的C++代码。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
