C++函数重载详解：原理、规则与实例

函数重载的定义

在同一个作用域中，如果函数名相同但参数列表不同，这些函数之间即构成重载关系。需要特别注意的是：

• 返回值类型无关：仅靠返回值类型不同无法构成重载，因为编译器在调用时需要先确定返回类型，而函数签名尚未确定。
• 作用域限制：在不同作用域中的同名函数遵循标识符隐藏原则，通常不构成重载，除非通过特定的声明引入。

第1步：区分常成员函数与普通成员函数

目的：理解同一类中同名函数如何根据对象的状态进行重载调用。 操作说明： 在类定义中，可以定义一个const修饰的成员函数和一个未修饰的同名成员函数。常量对象（const object）只能调用const版本的函数，而非常量对象则优先调用非const版本。

class A {
public:
    void getVal() const { // 常函数 }
    void getVal() {      // 普通成员函数 }
};

int main() {
    const A a;
    A b;
    a.getVal(); // 调用常函数
    b.getVal(); // 调用普通成员函数
    return 0;
}

不同命名空间下的重载

默认情况下，不同namespace中的同名函数不会互相干扰。但如果使用using namespace指令将它们引入到同一作用域，且参数列表不同，则可以构成重载。

第2步：组合不同命名空间的同名函数

目的：展示如何利用using语句合并不同来源的函数实现统一接口。 操作说明： 将不同命名空间中的同名函数通过using指令引入main函数所在的作用域。调用时，编译器会根据传入参数的类型自动选择匹配的函数版本。

#include <iostream>
using namespace std;

namespace ns1 {
    void fa(int i) {
        cout << "in ns1:i=" << i << endl;
    }
}

namespace ns2 {
    void fa(double d) {
        cout << "in ns2:d=" << d << endl;
    }
}

int main() {
    using namespace ns1;
    using namespace ns2;
    
    fa(10);      // 调用 ns1::fa (int)
    fa(3.14);    // 调用 ns2::fa (double)
    
    return 0;
}

重载匹配原则

当存在多个重载候选函数时，编译器按照以下优先级顺序进行选择：

1. 完全匹配：参数类型与实参类型完全一致，无需转换。
2. 提升转换：如 float 转为 double，char 转为 int。
3. 标准转换：如 int 转为 long，派生类指针转为基类指针。
4. 用户自定义转换：通过构造函数或转换运算符进行的转换。
5. 省略号匹配：... 参数，用于可变参数函数，优先级最低。

Note：在实际编程中，应尽量设计使得调用能够达成“完全匹配”，以避免歧义和意外的性能损耗。

重载的底层原理：名称修饰

C++之所以能支持重载，是因为编译器在后台对函数名进行了特殊处理，这一过程称为名称修饰（Name Mangling）。

• 编译器会将函数的参数列表信息编码到底层函数名中。
• 汇编层面的函数名通常格式为：<作用域+返回类型+函数名+参数列表>。
• 例如，函数 show(int, int) 可能被编译为汇编符号 _Z4showii。

这种机制确保了链接器能够准确区分不同签名的同名函数，从而实现了面向对象编程中的多态特性之一。