C++函数重载过程中的二义性和类型转换
2017-07-25 11:12
1181 查看
【学习于C语言中文网,请勿转载】
发生函数调用时编译器会根据传入的实参的个数、类型、顺序等信息去匹配要调用的函数,这在大部分情况下都能够精确匹配。但当实参的类型和形参的类型不一致时情况就会变得稍微复杂,例如函数形参的类型是
现在有以下几种形式的函数重载(例1):
#include <iostream>
using namespace std;
//1号函数
void func(char ch){
cout<<"#1"<<endl;
}
//2号函数
void func(int n){
cout<<"#2"<<endl;
}
//3号函数
void func(long m){
cout<<"#3"<<endl;
}
//4号函数
void func(double f){
cout<<"#4"<<endl;
}
int main(){
short s = 99;
float f = 84.6;
func('a'); //不需要类型转换,调用func(char)
func(s); //将short转换成int,调用func(int)
func(49); //不需要类型转换,调用func(int)
func(f); //将float转换成double,调用func(double)
return 0;
}
运行结果:
#1
#2
#2
#4
这段代码很容易理解,相信大家都不会有什么疑问。对代码稍作修改,将2号函数
#include <iostream>
using namespace std;
//1号函数
void func(char ch){
cout<<"#1"<<endl;
}
//3号函数
void func(long m){
cout<<"#3"<<endl;
}
//4号函数
void func(double f){
cout<<"#4"<<endl;
}
int main(){
short s = 99;
float f = 84.6;
func('a');
func(s);
func(49);
func(f);
return 0;
}
这段代码在编译时发生了错误,大概的意思是:
这着实有点让人摸不着头脑!根据以往的编程经验,s 和 49 不都应该被转换成 long 类型,从而匹配3号函数
C++ 标准规定,在进行重载决议时编译器应该按照下面的优先级顺序来处理实参的类型:
记住类型提升(bool char short ->int、float->double)就行了,自动类型转化类型较多。
C++ 标准还规定,编译器应该按照从高到低的顺序来搜索重载函数,首先是精确匹配,然后是类型提升,最后才是类型转换;一旦在某个优先级中找到唯一的一个重载函数就匹配成功,不再继续往下搜索。
如果在一个优先级中找到多个(两个以及以上)合适的重载函数,编译器就会陷入两难境地,不知道如何抉择,编译器会将这种模棱两可的函数调用视为一种错误,因为这些合适的重载函数同等“优秀”,没有一个脱颖而出,调用谁都一样。这就是函数重载过程中的二义性错误。
在例1中,
s 的类型提升为 int 后和
f 提升为 double 类型后和
在例2中,
int 后仍然不能匹配,接下来进入自动类型转换阶段,发现 s 被转换为 char(整型转换)、long(整型转换)、double(整数和小数转换)后都有比较合适的函数,而且它们在同一个优先级中,谁也不比谁优秀,调用哪个都一样,产生了二义性,所以编译器会报错。
注意,类型提升和类型转换不是一码事!类型提升是积极的,是为了更加高效地利用计算机硬件,不会导致数据丢失或精度降低;而类型转换是不得已而为之,不能保证数据的正确性,也不能保证应有的精度。类型提升只有上表中列出的几种情况,其他情况都是类型转换。
当重载函数有多个参数时也会产生二义性,而且情况更加复杂。C++ 标准规定,如果有且只有一个函数满足下列条件,则匹配成功:
该函数对每个实参的匹配都不劣于其他函数;
至少有一个实参的匹配优于其他函数。
假设现在有以下几个函数原型:
void func(int, int); //①
void func(char, int, float); //②
void func(char, long, double); //③
我们来分析如下的调用会发生什么情况:
short n = 99;
func('@', n, 99);
func('@', n, 99.5);
函数原型
1) 先来看第一个函数调用。如果只考虑第一个实参
short 提升为 int(类型提升),对于③,需要把 short 转换为 long(类型转换),类型提升的优先级高于类型转换,所以②胜出;如果只考虑第三个实参
从整体上看,②③在第一、三个实参的匹配中是平等的,但②在第二个实参的匹配中胜出,也就是说,②对每个实参的匹配都不劣于③,但有一个实参的匹配优于③,所以②最终脱颖而出,成为被调用函数。
2) 再来看第二个函数调用。只考虑第一个实参时②③是平等的,没有谁胜出;只考虑第二个实参时②胜出;只考虑第三个实参时,②需要类型转换,③能够精确匹配,精确匹配的优先级高于类型转换,所以③胜出。
从整体上看,②③在第一个实参的匹配中是平等的,②在第二个实参的匹配中胜出,③在第三个实参的匹配中胜出,它们最终“打成了平手”,分不清孰优孰劣,所以编译器不知道如何抉择,会产生二义性错误。
在设计重载函数时,参数类型过少或者过多都容易引起二义性错误,因为这些类型相近,彼此之间会相互转换。
例如我们要设计几个重载函数来处理数值,数值包括小数和整数,如果只提供了以下两个函数原型:
void func(int);
void func(double);
那么下面的函数调用就会产生二义性错误:
long n = 1000;
func(n);
n 是 long 类型,转换为 int 或 double 的优先级都是一样的,编译器不知道如何抉择。
如果添加一个函数原型
发生函数调用时编译器会根据传入的实参的个数、类型、顺序等信息去匹配要调用的函数,这在大部分情况下都能够精确匹配。但当实参的类型和形参的类型不一致时情况就会变得稍微复杂,例如函数形参的类型是
int,调用函数时却将
short类型的数据交给了它,编译器就需要先将
short类型转换为
int类型才能匹配成功。
现在有以下几种形式的函数重载(例1):
#include <iostream>
using namespace std;
//1号函数
void func(char ch){
cout<<"#1"<<endl;
}
//2号函数
void func(int n){
cout<<"#2"<<endl;
}
//3号函数
void func(long m){
cout<<"#3"<<endl;
}
//4号函数
void func(double f){
cout<<"#4"<<endl;
}
int main(){
short s = 99;
float f = 84.6;
func('a'); //不需要类型转换,调用func(char)
func(s); //将short转换成int,调用func(int)
func(49); //不需要类型转换,调用func(int)
func(f); //将float转换成double,调用func(double)
return 0;
}
运行结果:
#1
#2
#2
#4
这段代码很容易理解,相信大家都不会有什么疑问。对代码稍作修改,将2号函数
void func(int n)去掉(例2):
#include <iostream>
using namespace std;
//1号函数
void func(char ch){
cout<<"#1"<<endl;
}
//3号函数
void func(long m){
cout<<"#3"<<endl;
}
//4号函数
void func(double f){
cout<<"#4"<<endl;
}
int main(){
short s = 99;
float f = 84.6;
func('a');
func(s);
func(49);
func(f);
return 0;
}
这段代码在编译时发生了错误,大概的意思是:
func(s)和
func(49)这两个函数发生调用错误,它们可以匹配三个重载函数中的任何一个,编译器不知道如何抉择。
这着实有点让人摸不着头脑!根据以往的编程经验,s 和 49 不都应该被转换成 long 类型,从而匹配3号函数
void func(long m)吗?这种推论在一般的函数调用或者四则运算中确实没错,但它不一定适用于重载函数!
C++ 标准规定,在进行重载决议时编译器应该按照下面的优先级顺序来处理实参的类型:
优先级 | 包含的内容 | 举例说明 |
---|---|---|
精确匹配 | 不做类型转换,直接匹配 | (暂无说明) |
只是做微不足道的转换 | 从数组名到数组指针、从函数名到指向函数的指针、从非 const 类型到 const 类型。 | |
类型提升后匹配 | 整型提升 | 从 bool、char、short 提升为 int,或者从 char16_t、char32_t、wchar_t 提升为 int、long、long long。 |
小数提升 | 从 float 提升为 double。 | |
使用自动类型转换后匹配 | 整型转换 | 低->高:char->short、 char short int ->long 高->低:long int short->char、 long int ->short |
小数转换 | 从 double 到 float | |
整数和小数转换 | char short int long -> float double、float double -> char short int long | |
指针转换 | 从 int * 到 void *。 |
C++ 标准还规定,编译器应该按照从高到低的顺序来搜索重载函数,首先是精确匹配,然后是类型提升,最后才是类型转换;一旦在某个优先级中找到唯一的一个重载函数就匹配成功,不再继续往下搜索。
如果在一个优先级中找到多个(两个以及以上)合适的重载函数,编译器就会陷入两难境地,不知道如何抉择,编译器会将这种模棱两可的函数调用视为一种错误,因为这些合适的重载函数同等“优秀”,没有一个脱颖而出,调用谁都一样。这就是函数重载过程中的二义性错误。
在例1中,
func('a')、
func(49)分别和
void func(char)、
void func(int)精确匹配;
func(s)没有精确匹配的重载函数,编译器将
s 的类型提升为 int 后和
void func(int)匹配成功;
func(f)也是类似的道理,将
f 提升为 double 类型后和
void func(double)匹配成功。
在例2中,
func(s)、
func(49)没有精确匹配的重载函数,将它们的类型都提升为
int 后仍然不能匹配,接下来进入自动类型转换阶段,发现 s 被转换为 char(整型转换)、long(整型转换)、double(整数和小数转换)后都有比较合适的函数,而且它们在同一个优先级中,谁也不比谁优秀,调用哪个都一样,产生了二义性,所以编译器会报错。
注意,类型提升和类型转换不是一码事!类型提升是积极的,是为了更加高效地利用计算机硬件,不会导致数据丢失或精度降低;而类型转换是不得已而为之,不能保证数据的正确性,也不能保证应有的精度。类型提升只有上表中列出的几种情况,其他情况都是类型转换。
多个参数时的二义性
当重载函数有多个参数时也会产生二义性,而且情况更加复杂。C++ 标准规定,如果有且只有一个函数满足下列条件,则匹配成功:该函数对每个实参的匹配都不劣于其他函数;
至少有一个实参的匹配优于其他函数。
假设现在有以下几个函数原型:
void func(int, int); //①
void func(char, int, float); //②
void func(char, long, double); //③
我们来分析如下的调用会发生什么情况:
short n = 99;
func('@', n, 99);
func('@', n, 99.5);
函数原型
func(int, int)只有两个参数,而函数调用有三个参数,很容易看出来不匹配,在初次筛选时就会被过滤掉,接下来我们只讨论②③个函数原型。
1) 先来看第一个函数调用。如果只考虑第一个实参
'@',那么②③两个函数都能够精确匹配,谁也不比谁优秀,是平等的;如果只考虑第二个实参
n,对于②,需要把
short 提升为 int(类型提升),对于③,需要把 short 转换为 long(类型转换),类型提升的优先级高于类型转换,所以②胜出;如果只考虑第三个实参
99,②③都要进行类型转换,没有哪一个能胜出,它们是平等的。
从整体上看,②③在第一、三个实参的匹配中是平等的,但②在第二个实参的匹配中胜出,也就是说,②对每个实参的匹配都不劣于③,但有一个实参的匹配优于③,所以②最终脱颖而出,成为被调用函数。
2) 再来看第二个函数调用。只考虑第一个实参时②③是平等的,没有谁胜出;只考虑第二个实参时②胜出;只考虑第三个实参时,②需要类型转换,③能够精确匹配,精确匹配的优先级高于类型转换,所以③胜出。
从整体上看,②③在第一个实参的匹配中是平等的,②在第二个实参的匹配中胜出,③在第三个实参的匹配中胜出,它们最终“打成了平手”,分不清孰优孰劣,所以编译器不知道如何抉择,会产生二义性错误。
总结
在设计重载函数时,参数类型过少或者过多都容易引起二义性错误,因为这些类型相近,彼此之间会相互转换。例如我们要设计几个重载函数来处理数值,数值包括小数和整数,如果只提供了以下两个函数原型:
纯文本复制
void func(int);
void func(double);
那么下面的函数调用就会产生二义性错误:
纯文本复制
long n = 1000;
func(n);
n 是 long 类型,转换为 int 或 double 的优先级都是一样的,编译器不知道如何抉择。
如果添加一个函数原型
void func(long);,或者去掉一个函数原型
void func(int);,无论再怎么调用也不会出错了。
相关文章推荐
- C++ 学习笔记(14)重载运算与类型转换、函数对象、function库
- 利用重载避免隐式类型转换(More Effective C++_21(效率))
- C++ 类型自动转换 构造函数 复制构造函数 赋值操作运算符函数
- C++学习笔记【第三部分第十四章:重载运算与类型转换】
- C++为什么可以进行函数重载以及引起的二义性问题
- C++中,int和char互转函数_itoa atoi、atof、itoa、itow _itoa_s 类型转换使用说明
- C++强制转换不同声明或类型的函数指针隐患
- ISO C++ operator 重载类型转换时对指针的重要约束!
- C++ Pirmer : 第十五章 : 面向对象程序设计之基类和派生的定义、类型转换与继承与虚函数
- Poedu_C++_Lesson02_2_20161220_重载、默认实参、inline、类型转换、引用
- C++强制转换不同声明或类型的函数指针隐患
- C++中类型转换与函数、运算符重载的问题(上)
- C++重载类型转换操作符(type cast operator
- More Effective C++ 条款21 利用重载技术避免隐式类型转换
- C++ 操作符重载、友元、类型转换操作符、五种类型转换、函数操作符
- C++强制转换不同声明或类型的函数指针隐患
- C++重载类型转换操作符(type cast operator
- 函数调用运算符与重载、类型转换
- c++中的类型转换函数定义
- C++重载逗号,括号,类型转换,实现以奇怪的方式给变量赋值