C++基础之函数重载

一个经典的函数重载案例：

bool compare(int a,int b) {
    cout << "compare(int a,int b)" << endl;
    return a > b;
}

bool compare(double a, double b) {
    cout << "compare(double a, double b)" << endl;
    return a > b;
}

bool compare(const char* a, const char* b) {
    cout << "compare(const char* a, const char* b)" << endl;
    return strcmp(a,b) > 0;
}

int main() {
    compare(1,2);
    compare(1.1, 2.2);
    compare("aaa","bbb");
    return 0;
}

1. 函数重载的定义

在同一个作用域下，一组函数名称相同，参数列表不同(个数或类型)的函数，可以构成重载。

2. 为什么C++支持函数重载，C不支持

编译时产生符号的规则不一样:

C++:函数生成符号时，由函数名加参数列表一起生产的，如bool compare(int a,int b) ,产生符号大致为compare_int_int
C:生成符号，仅由函数名决定，上述三个函数生成的函数符号一样，大致为compare,造成符号重定义，所以不支持。

3. 函数重载的注意事项：

3.1 为什么强调同一个作用域下：

C++在找符号时优先在当前的，最近的作用域下寻找，找不到继续向外一层的作用域查找。

int main() {
    bool compare(int a, int b);
    compare(1,2);
    compare(1.1, 2.2);
    compare("aaa","bbb");
    return 0;
}

上述代码是无法编译通过的，由于下面三个函数调用找实现的时候，都在当前作用域找到了函数声明，导致三个调用都会就近的调用bool compare(int a, int b);方法，所以，要想正确，需要保证在同一个作用域下进行函数的重载。

3.2 函数参数含有const和volatile关键字时，需要考虑是否对形参类型构成影响

不含有const/volatile时：

void fun(int a) {}
void fun(const int a) {}

在编译器眼中他们是同一种类型，我们可以输出一下类型：

int main() {
    int a = 100;
    const int b = 0;
    cout << typeid(a).name() << endl;
    cout << typeid(b).name() << endl;
    return 0;
}

输出结果：

int
int

也就是说，在编译器眼中，a和b的类型是一样的，所以上面fun无法构成函数重载。

当含有volatile/const时：

void fun(int* a) {}

void fun(const int* a) {}

int main() {
    //int a = 100;
    //const int b = 0;
    int* a;
    const int* b;
    cout << typeid(a).name() << endl;
    cout << typeid(b).name() << endl;
    return 0;
}

输出结果：

int *
int const *