C++ 函数重载二义性

说起函数重载，我不由得想起了C++的“多态”特性。多态又分为静态（编译时）多态和动态（运行时）多态，静态多态即为函数重载，动态多态则是虚函数机制。虚函数水较深，先不讨论，今天我们来看一下函数重载、作用以及要避免的一些坑（尤其是二义性错误）。

一、先来review一下 函数重载的概念

1. 函数名相同；

2. 形参类型和数量不同；

3. 不关返回值的事。

二、如何匹配要使用那个函数呢？

在C++ primary 中文5版 P217我们可以发现端倪。

1. 选定候选函数集 ： ① 与被调用函数同名； ② 声明在调用点可见。=》没有，返回无匹配错误

2. 选定可行函数集：考察候选函数的参数列表，找出参数数量相同、且各个参数类型相同或者可以转换为形参的函数；=》没有，返回无匹配错误

3. 选出最佳匹配函数：层层选拔之后，如果幸存者函数有几个的话（不太可能)，我们就要找出最最最合适的那一个，怎么找？实参和形参类型最接近的那一个。=》没有，返回无匹配错误

三、函数重载二义性

二义性是指在编译过程中无法找出最匹配的函数，或者说编译器在函数匹配过后还是有多个函数满足要求，无法确定该执行那一个引发的错误。

具体表现：

1. 参数数目引发的歧义

int get(){
    return 5;
}
int get(int a = 5){
    return a;
}
//调用get()
//不给参数和有默认参数会造成歧义。

2. 参数隐式转换引发的歧义

int get(int m){
    return m;
}
 
long get(long m){
    return m;
}
//double d = 1.234;
//调用get(d);double既可以隐式转换未long，也可以是int,或者说一般的数值类型之间都可以进行隐式类型转换，故无法确定那一个更加匹配。

int get(int a){
    return a;
}
int get(int &a){
    return a;
}
//int m = 10;
//调用get(m)
//传值和传引用都可以完成调用，只不过值传递有拷贝的开销，而引用传递不会有。

3. 类型型相关歧义（较深内容，不容易理解）

P517-520，艰涩难懂，需要自己琢磨。

另外，我发现在P517的一个例子，是错误的，并未发生歧义，不会导致运行错误。

#include <iostream>
#include <string>
using namespace std;

struct B;
struct A {
    A() = default;
    A(const B&){
        //转换B为A
        cout << "A内部将B转换为A" << endl;
    };
    //...
    string name = "A";
};

struct B {
    B() = default;
    operator A() const{
        //类类型转换，B->A
        cout << "B 类类型转换为 A" << endl;
    };
    //...
    string name = "B";
};

A f(const A&) {
    //...
}

int main()
{
    B b;
    A a = f(b);
}

（由g++运行）

四、如何避免/解决

一是我们要注意默认参数，二是要考虑类型转换，使用explicit可以阻止隐式类型转换。

---