c++函数重载的实现依赖名称修饰和参数匹配规则。名称修饰通过将函数名与参数类型、命名空间等信息结合生成唯一标识符，使链接器可区分同名函数；例如void func(int)和void func(double)会被修饰为\_z4funci和\_z4funcd。不同编译器修饰规则不同，导致对象文件无法跨编译器链接。参数匹配规则按优先级选择最合适的函数：1.精确匹配；2.通过提升匹配；3.通过标准转换；4.用户定义转换。若多个函数同样适用会导致歧义报错。默认参数不参与重载决议，仅作为语法糖，可能引发调用歧义，应避免类似写法。掌握这两个机制有助于理解链接错误和编写清晰的重载函数。
C++函数重载的实现主要依赖两个机制：名称修饰（Name Mangling）和参数匹配规则。这两个机制共同作用，让编译器在多个同名函数中准确找到最合适的那个。
名称修饰：编译器如何区分同名函数
虽然我们在代码中写的是相同函数名，但编译器并不会直接用这个名称生成符号。它会根据函数的参数类型、数量、命名空间、类作用域等信息，把函数名“修饰”成一个唯一的内部标识符。这个过程就叫名称修饰（Name Mangling）。
比如：
立即学习“C++免费学习笔记（深入）”；
void func(int); void func(double);
在编译后的目标文件中，可能变成类似这样的符号：
_Z4funci
_Z4funcd
其中：
Z4
表示函数名长度；func
是原始函数名；i
和d
分别表示int
和double
类型。
这样，即使函数名一样，链接器也能根据修饰后的名字区分它们。
注意：不同编译器的修饰规则不同，所以名称修饰是非标准化的，这也是为什么C++对象文件不能跨编译器直接链接的原因之一。
参数匹配规则：编译器怎么选对函数
当调用一个重载函数时，编译器会根据你传入的实参类型去匹配最合适的函数。匹配过程遵循以下优先级（从高到低）：
- 精确匹配（包括类型完全一致、const转换、数组到指针、函数到指针等）
- 通过提升进行匹配（如
char
到int
、float
到double
） - 通过标准转换（如
int
到float
、派生类指针到基类指针） - 用户定义的转换（如构造函数或类型转换运算符）
举个例子：
void print(int);
void print(const char*);
print(10); // 调用 print(int)
print("hello"); // 调用 print(const char*)如果出现歧义，比如两个函数都能接受当前参数，但没有一个是更优选择，编译器就会报错。
常见陷阱：如果你写了一个
void foo(long)，然后调用foo(10)，而没有void foo(int)，这时会发生隐式转换，可能会导致意想不到的结果。
函数重载与默认参数：容易混淆的地方
默认参数也可以影响函数调用，但它并不参与重载决议。例如：
void bar(int x); void bar(int x, int y = 0);
这时候调用
bar(5)就会产生歧义，因为两个函数都适用。这种写法应该避免。
所以说，默认参数更像是“语法糖”，而不是重载机制的一部分。
基本上就这些。理解名称修饰有助于看懂链接错误信息，掌握参数匹配规则则能写出更清晰、无歧义的重载函数。
