c++中类型提升和转换
对于重载函数的参数的匹配优先级问题:
1: 完全匹配最优先
2: 经过类型提升后匹配的第二优先
3:经过类型转换后匹配的第三优先
4:通过类类型转换匹配的第四优先(即定义类的类型转换函数)
c++中的基本类型提升有以下两种:
1: 对于bool,char,unsigned char,short,unsigned short,若上述类型的所有可能的值都能包含在int内(即int能表示数的范围包含了前面类型能表示的范围),那么上述类型在进行算术运算是就会转换为int类型,否则,它们会转换为unsigned int类型 ;int类型没有自动提升,它能能转换到long等类型
举个例子: 一般 sizeof(short)=2,sizeof(int)=4,则在机器上short会转换为int 类型
short a=-20;
unsigned short b=6;
int c=a+b;
那么运算过程就是:
-20用二进制表示是 1111 1111 1110 1100 =0XFFEC; 6用二进制表示是 0000 0000 0000 0110=0X0006
(a+b)进行算术运算,那么它们都会被提升为int 类型,即a(-20)会被提升为0XFFFFFFFEC, b(6)会被提升为0X00000006
c=a+b=0XFFFFFFEC+0X00000006=0XFFFFFFF2,注意,它是有符号的,因此c=0XFFFFFFF2=-14
2: float 类型会转换为double类型
以上两类都会在进行算术计算时自动发生,即参加运算的是int型和double型
关于算术运算中同时有无符号和有符号数值之间的转换:若表达式中同时含有signed和unsigned类型的值,这类转换本质上依赖于机器
1:包含short和int类型的表达式,若满足上面提升的条件,short就会提升(也可以称谓转换,但本质上是提升)为int类型,否则就是unsigned int类型
2: long和unsigned int之间的转换,只要机器上的long足够表示unsigned int的所有值,那么久把unsigned int转换为long,否则它们都转换为unsigned long
32位机器上unsigned int和long基本都是用一个字长表示,那么当表达式包含unsigned int和long时,就把它们都转换为unsigned long型
3:对于包含unsigned int和signed int类型的表达式,signed int类型会被先转换为unsigned int类型在进行计算