整形提升

整型提升是C程序设计语言中的一项规定：在表达式计算时，各种整形首先要提升为int类型，如果int类型不足以表示则要提升为unsigned int类型；然后执行表达式的运算。

 

整型提升的意义在于：表达式的整型运算要在CPU的相应运算器件内执行，CPU内整型运算器(ALU)的操作数的字节长度一般就是int的字节长度，同时也是CPU的通用寄存器的长度。因此，即使两个char类型的相加，在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。通用CPU（general-purpose CPU）是难以直接实现两个8比特字节直接相加运算（虽然机器指令中可能有这种字节相加指令）。所以，表达式中各种长度可能小于int长度的整型值，都必须先转换为int或unsigned int，然后才能送入CPU去执行运算。

 

C语言标准中仅规定了： char的长度 ≤ short int的长度 ≤ int的长度

这意味着short int与int的长度相等的可能。这种情形下，unsigned short就无法提升为int表示，只能提升为unsigned int。

示例程序如下：#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"); 

 }

在x86架构上的Visual C++或gcc编译下，上述程序输出为 c 。这是因为在这些环境下，编译器把char定义为signed char（C语言标准没有规定char类型是有符号还是无符号）；表达式a==0xb6被整型提升，其中char类型的a提升为int类型并为一个负值，因此这个表达式的结果为false；表达式b==0xb600被整型提升，其中short类型的b提升为int类型并为一个负值，因此这个表达式的结果为false；表达式c == 0xb6000000没有做整型提升，==运算符的两段都是int类型的负值，其结果为true。 C语言的单操作数的+运算符（即“前缀+”），一个主要作用就是实现对操作数的整型提升。例如： 1 #include <stdio.h>

int main()

{ 

char a = 1;  

printf("%u", sizeof(a) );    

printf("\n");   

printf("%u", sizeof( +a ) );  

}

在x86的32位gcc编译后，输出为：1