曲径通幽论坛

标题: 函数重载与歧义性 [打印本页]

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

看以下带有歧义性代码：

[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()，这两个重载函数对于这种情况都合法。

欢迎光临曲径通幽论坛 (http://www.groad.net/bbs/)