函数重载与歧义性

beyes

使用函数重载时，容易产生歧义性错误。比如，在某些情况下，编译器不能在两个或多个正确的重载函数中进行选择。歧义性是一种错误，含有歧义性的程序不能通过编译。

看以下带有歧义性代码：

[C++] 纯文本查看 复制代码

#include <iostream>
using namespace std;

float func (float x);
float func (double y);


int main(void)
{
    cout << func (10.1) << " ";      //没有歧义性
    cout << func (10);                  //产生歧义性

    return 0;
}

float func (float x)
{
    return x;
}

float func (double y)
{
    return -y;
}

编译时编译器会发出错误提示：

$ g++ quote3.cc -o quote3
quote3.cc: In function ‘int main()’:
quote3.cc:11: error: call of overloaded ‘func(int)’ is ambiguous
quote3.cc:4: note: candidates are: float func(float)
quote3.cc:5: note:                 float func(double)

在 C++ 中，自动类型转换是常见的，C++ 会自动尝试将调用函数的实际参数转换为函数形式参数的类型。在上面，重载函数 func() 的参数类型分别是 float 和 double 型。

在 main() 中，cout << func (10.1) << " "; 这条语句是不会产生歧义性的，因为除非明确显示的指定，否则在 C++ 中所有浮点类型都会被自动的转换为 double 类型数据。

但是，当使用整数 10 来调用 func() 时就会产生歧义性，因为编译器不知道将 10 转换为 float 类型还是 double 类型，这两种类型都是合法的，所以编译器会对这个歧义性发出错误信息报告。，并且停止编译程序。

还有一个产生歧义性的原因是在重载函数中使用了默认参数，见下面代码：

[C++] 纯文本查看 复制代码

#include <iostream>
using namespace std;

int func(int i);
int func(int i, int j = 1);

int main(void)
{
    cout << func(8, 9) << " ";   //没有歧义
    cout << func(8);    //产生歧义

    return 0;
}

int func (int i)
{
    return i;
}

int func (int i, int j)
{
    return i * j;
}

编译时发出错误报告：
$

g++ quote2.cc -o quote2
quote2.cc: In function ‘int main()’:
quote2.cc:10: error: call of overloaded ‘func(int)’ is ambiguous
quote2.cc:4: note: candidates are: int func(int)
quote2.cc:5: note:                 int func(int, int)

上面，cout << func(8, 9) << " "; 这条语句不会产生歧义性，因为它显式的给出了两个世纪参数，在函数调用时，自然会调用 func(int i, int j = 1); 。但是，cout << func(8);  这条语句就会产生歧义性了，因为编译器不知道应该调用带有一个参数的重载函数 func() 还是带有两个参数的重载函数 func()，这两个重载函数对于这种情况都合法。