C的整型算术运算总是至少以缺省整型类型的精度来进行的。
为了获得这个精度,表达式中的字符(char)和短整型(short)型操作数在使用之前被转换为普通整型,这种转换称为整型提升。
整型提升的意义:
表达式的整型运算要在CPU的相应运算器件内执行,CPU内整型运算器(ALU)的操作数的字节长度一般就是 int 的字节长度,同时也是CPU的通用寄存器的长度。
因此,即使两个 char 类型的相加,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。
通用CPU(general-purpose CPU)是难以直接实现两个8比特字节直接相加运算(虽然机器指令中可能有这种字节相加指令)。所以,表达式中各种长度可能小于 int 长度的整型值,都必须先转换为 int 或 unsigned int ,然后才能送入CPU去执行运算。
// 实例 1
char a, b, c;
...
a = b + c;
b 和 c 的值被提升为普通整型,然后再执行加法运算。
加法运算完成后,结果将被截断,然后再存储于 a 中。
方法:整型提升是按照变量的数据类型的符号位来提升的。
(1) 负数(原码按位取反得反码,反码加1得补码)
char c1 = -1;
变量 c1 的二进制位(补码)中只有 8 个比特位:
1111 1111
因为 char 为有符号的 char ,所以整型提升的时候,高位补充符号位,即 1 ,提升后结果为:
11111111 11111111 11111111 11111111
(2) 正数(原、反、补码相同)
char c2 = 1;
变量 c2 的二进制位(补码)中只有 8 个比特位:
0000 0001
因为 char 为有符号的 char ,所以整型提升的时候,高位补充符号位,即 0 ,提升后结果为:00000000 00000000 00000000 00000001
(3) 无符号整型提升,高位补0
// 实例 1 代码
int main()
{
char a = 3; // sizeof(char) = 1
// 00000011 - 3
// 00000000 00000000 00000000 00000011
char b = 127;
// 01111111 - 127
// 00000000 00000000 00000000 01111111
char c = a + b;
// 提升:
// 00000000 00000000 00000000 00000011
// 00000000 00000000 00000000 01111111
// 00000000 00000000 00000000 10000010
// 截断:
// 10000010 - c
// 整型提升(在补码的基础上):
// 补码:11111111 11111111 11111111 10000010
// 反码:11111111 11111111 11111111 10000001
// 原码:10000000 00000000 00000000 01111110 -> -126
// a 和 b 都是char类型,都没有达到int的大小,于是发生整型提升。
// 输出为 %d ,此处也会发生整型提升。
printf("%d\n", c); // -126
return 0;
}
实例 2
int main()
{
char a = 0xb6; // 有符号char可存储数值范围:-126-127; 存不下 0xb6 = 182
// sizeof(char) = 1; --> 1个byte = 8个bit (0000 0000)
// unsigned char a = 0xb6; 改为unsigned char(0-256),则将输出:182 a c
printf("%d\n", a); // -74
short b = 0xb600; // short 型的 b 存不下 0xb600
int c = 0xb6000000;
if (a == 0xb6)
printf("a");
if (b == 0xb600)
printf("b");
if (c == 0xb6000000)
printf("c");
// 输出为 c
return 0;
}
实例3
int main()
{
char c = 1;
printf("%u\n", sizeof(c)); // 1
printf("%u\n", sizeof(+c)); // 4 , 因为此处要参与运算,故发生了整型提升
printf("%u\n", sizeof(-c)); // 4 ,同理
printf("%u\n", sizeof(!c)); // 4 ,同理(vs编译器输出为1,非C99标准)
return 0;
}
补充:
算术转换
如果某个操作符的各种操作数属于不同的类型,那么除非其中一个操作数转换为另一个操作数的类型,否则操作无法进行。下面的层次体系称为寻常算术转换:
long double |
double |
float |
unsigned long int |
long int |
unsigned int |
int |
如果某个操作数的类型在上面的列表中排名较低,那么首先要转换为另一个操作数的类型后才执行运算。
警告:算数转换要合理,不然会有一些潜在的问题。
float f = 3.14;
int num = f; // 隐式转换,会有精度丢失。