一. 简介
本文来简单学习一下,C语言中的整型提升。
二. C语言中的整型提升
1. 什么是整型提升?
C语言中的算数运算表达式总是以整型的精度进行的,为了获得这个精度,表达式的字符和短整型操作数在使用之前被隐式转换为普通类型即整型提升。
表达式中的 字符型(即 char)和短整型(即 short)类型操作数在使用之前被转换成普通整型 int类型,这种转换叫做整型提升。整型提升针对类型小于整型的 char, short。char
占用1字节空间,short
占用2字节空间,在运算时都会提升为占用4个字节的int
类型,所以,C的整型算术运算总是至少以缺省整型类型的精度来进行的。换而言之整形算术运算都至少以 int
类型计算的。
2. C语言中整型提升的意义?
整型提升的意义在于:表达式的整型运算要在CPU的相应运算器件内执行,CPU内整型运算器(ALU)的操作数的字节长度一般就是 int类型的字节长度,同时也是CPU的通用寄存器的长度。
例如,如果两个 char 类型的相加,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。通用CPU(general-purpose CPU)是难以直接实现两个8比特字节直接相加运算(虽然机器指令中可能有这种字节相加指令)。所以,表达式中各种长度可能小于 int类型长度的整型值,都必须先转换为 int类型 或 unsigned int类型,然后才能送入CPU去执行运算。
--<百度百科>
三. 如何进行整型提升?
1. 如何进行整型提升?
整形提升是按照变量的数据类型的符号位来提升的。
有符号整数的整型提升:
负数的整形提升:高位补充符号位,即补1(负数的符号位是 1)。
例如,char c1 = -1
,char
类型占1字节,也就是它的二进制补码只有8个比特位 :11111111
因为char
是有符号位的char
,所以整形提升的时候,高位补符号位1
提升之后的效果为:11111111 11111111 11111111 11111111
正数的整形提升:也是高位补充符号位,即补 0(正数的符号位为 0)。
char c2 = 1;
变量 c2 的二进制位(补码)中只有8个比特位:00000001
因为char
为有符号的char
所以整形提升的时候,高位补充符号位,即为0
提升之后的结果是:00000000 00000000 00000000 00000001
无符号的整形提升:高位直接补 0
2. 举例说明
举例一
举例来说明,C语言是如何进行整型提升的?有如下代码:
#include <stdio.h>int main(void)
{char a = 3;char b = 127;char c = 0;c = a+b;printf("c: %d\n", c);return 0;
}
输出结果如下:
注意:这里有一点需要注意数据在内存存放的是数据的补码,而打印的是源码!
正数的补码与原码相同;
负数的补码为 其原码取反 +1。补码求原码也补码取反+1;
分析如下:
char a = 3;char 是 一个字节即 8位, a为 : 00000011
char b = 127;同理,b 为 :01111111
char c = a + b
,接下来要进行整型提升
当前char
为有符号的char
,所以对于a
就高位补0
,为:
00000000 000000000 000000000 00000011
b
整形提升后为:00000000 00000000 00000000 01111111
a+b 相加后为
: 00000000 00000000 00000000 10000010
,将这个 32 位二进制放到c
中,截断为10000010。
printf("%d\n", c)
中,%d
是打印十进制的数,所以还需整形提升,此时c
为10000010
,符号位为:1
,整形提升高位补1
,最终为:
11111111 11111111 11111111 10000010
(补码),其原码为:
10000000 00000000 00000000 01111110
,所以这个数字输出为-126
举例二
如下代码对 a, b,c 的比较:
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");
return 0;
}
分析如下:
当 进行 a== 0xb6 比较运算时,a进行了整型提升。a 为 10110110
整型提升后 a 为:11111111 11111111 11111111 10110110 (补码)
求其则原码为:10000000 00000000 00000000 01001010,char为 一个字节,截断后 a = -0x4A
同理, b == 0xb600 比较运算时,b 也进行了整形提升,经过一轮整形提升后 b 为 -4A00。
而 c==0xb6000000比较运算时,c 本身就是 int类型 无需提升,因此 c就是 0xb6000000。