目录
前言
在C语言中:表达式求值的顺序一部分是由操作符的优先级和结合性决定。
同样,有些表达式的操作数在求值的过程中可能需要转换为其他类型。
一、隐式类型转换
C的整型算术运算总是至少以缺省整型类型的精度来进行的。
为了获得这个精度,表达式中的字符和短整型操作数在使用之前被转换为普通整型,这种转换称为整型提升(作用于小于4字节的类型)。
整型提升的意义:
表达式的整型运算要在CPU的相应运算器件内执行,CPU内整型运算器(ALU)的操作数的字节长度一般就是int的字节长度,同时也是CPU的通用寄存器的长度。
因此,即使两个char类型的相加,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。
通用CPU(general-purpose CPU)是难以直接实现两个8比特字节直接相加运算(虽然机器指令中可能有这种字节相加指令)。所以,表达式中各种长度可能小于int长度的整型值,都必须先转换为int或unsigned int,然后才能送入CPU去执行运算。
一句话来说就是:(例如:加法计算a与b)
a和b的值被提升为普通整型,然后再执行加法运算。加法运算完成之后,结果将被截断,然后再存储于a中。(这是为了提高精度)(前提:是小于4字节的类型)
如何进行整型提升?
需要注意的是:
整形提升是按照变量的数据类型的符号位来提升的,其会根据符号位是“0或1”来补充所缺少的二进制位。无符号整形提升,高位补0
负数的整形提升
变量a的二进制位(补码)中只有8个比特位:
1111111
因为 char 为有符号的 char:
所以整形提升的时候,高位补充符号位,即为1
提升之后的结果是:
11111111111111111111111111111111
正数的整形提升
变量a的二进制位(补码)中只有8个比特位:
0000001
因为 char 为有符号的 char:
所以整形提升的时候,高位补充符号位,即为0
提升之后的结果是:
00000000000000000000000000000001
无符号的整型提升
4变量a的二进制位(补码)中只有8个比特位:
0000001
因为unsigned char 为无符号的unsigned char:
所以整形提升的时候,高位补充符号位,即为0
提升之后的结果是:
00000000000000000000000000000001
整形提升的验证
我们虽然无法看见底层的整形提升的过程,但是我们却可以利用代码来进行验证。
#include <stdio.h>
int main()
{
char a = 0xb6;
short b = 0xb600;
int c = 0xb6000000;
if (a == 0xb6)
printf("a");
if (b == 0xb600)
printf("b");
if (c == 0xb6000000)
printf("c");
printf("\n");
return 0;
}
因为的a,b(小于4字节)要进行整形提升,但是c(为4字节)不需要整形提升;a,b整形提升之后,变成了负数,所以表达式 a==0xb6 , b==0xb600 的结果是假,但是c不发生整形提升,则表达式c==0xb6000000 的结果是真。
计算上
正因为整形提升,所以对于小于4字节的计算,其底层是发生了整型提升。
原:
a : 00000101; b : 01111101;
提升:
因为 char 为有符号的 char :
所以整形提升的时候,高位补充符号位,即为0
提升之后的结果是:
a : 00000000000000000000000000000101; b : 00000000000000000000000001111101;
计算:
c = a + b = 00000000000000000000000010000010;
因为" c "为有符号 char 的(一字节),所以要发生阶段(只保留一字节):
c : 10000010
输出:
" printf "输出,也需要至少为4字节:
有符号的 char 类型的" c "为一字节,所以是需要进行整型提升的(负数的整形提升)。
c = 11111111111111111111111110000010;
因为,存储方式为补码,而输出为原码(其为负数):
补码:
c = 11111111111111111111111110000010;
反码:
c = 11111111111111111111111110000001;
原码:
c = 10000000000000000000000001111110;
所以,输出为:-126
二、算术转换
如果某个操作符的各个操作数属于不同的类型,那么除非其中一个操作数的转换为另一个操作数的类型,否则操作就无法进行。下面的层次体系称为寻常算术转换(作用于大于4字节的类型)。
这里的类型都是 >= 4字节(由下向上转换)
注意:
算术转换要合理,要不然会有一些潜在的问题。