原理：
术语解释：整型提升属于类型提升的一部分。当操作符两边的类型的等级都小于整型（int）的范围时，默认情况下会把该类型提升为整型（int）进行计算。例如：对于char类型的计算，就会提升为对应的整型的计算。最终结果再转为char返回。
整型提升
当对小于int的整数类型执行操作时，将提升它们，如果该原始类型的所有值都可以用int类型来表示，那么该小类型将会转换为int的类型。否则的话，它将被转换为unsigned int。整数提升作为通常算术转换的一部分,用于某些参数表达式，常用的算术预算符号：一元运算符：（+，-，~，以及位操作符）。
下面的代码片段展示了该整型提升
char c1, c2;
c1 = c1 + c2;
整型提升的优点
整型提升要求每一个变量都提升为int类型（c1和c2）。两个变量的int值进行相加，然后结果被截断为char类型。整型提升避免了中间值的溢出。
signed char cresult, c1, c2, c3;
c1 = 100;
c2 = 3;
c3 = 4;
cresult = c1 * c2 / c3;
这个例子中，结果值为c1c2然后除以c3。假设signed char有8个位组成，c1c2的结果值（300）无法被表示，（8位最大值为256）。由于整型提升原则，他们的值就可以被保存，最终结果转为char类型，而不会丢失数据。
整型提升的缺点
位操作符一般是作用与整型类型上，当在比整型类型小的类型上使用位操作符时，如果不注意，可能会产生问题。
不合法操作
这个例子中，代码的本意是先对port取反，然后向右移动四位。如果这两个操作符都作用在8字节的unsigned integer上时，最终的结果将会是0x0a，但是，操作过程中，port首先会升级为signed int类型，然后可能会产生下面图表中的结果。
uint8_t port = 0x5a;
uint8_t result_8 = ( ~port ) >> 4;
| 表达式 | 类型 | 值 | 备注 |
|---|---|---|---|
| port | uint8_t | 0x5a | |
| ~port | int | 0xffffffa5 | |
| ~port >> 4 | int | 0x0ffffffa | 值是否为负由实现定义 |
| result_8 | uint8_t | 0xfa | 截取8字节作为unsigned |
合法的操作
在下面的例子中，port的位实现被转换为8个字节。下面的结果是希望的结果0x0a
uint8_t port = 0x5a;
uint8_t result_8 = (uint8_t) (~port) >> 4;
附录：不同类型转换规则
1、隐式转换
C在以下四种情况下会进行隐式转换:
1、算术运算式中，低类型能够转换为高类型。
2、赋值表达式中，右边表达式的值自动隐式转换为左边变量的类型，并赋值给他。
3、函数调用中参数传递时，系统隐式地将实参转换为形参的类型后，赋给形参。
4、函数有返回值时，系统将隐式地将返回表达式类型转换为返回值类型，赋值给调用函数。
2、算数运算的隐式转换
算数运算中，首先有如下类型转换规则：
1、字符必须先转换为整数(C语言规定字符类型数据和整型数据之间可以通用) 。
2、short型转换为int型(同属于整型) 。
3、float型数据在运算时一律转换为双精度（double），以提高运算精度。
附录引用：http://blog.csdn.net/miaouu/article/details/5213042
翻译自：卡耐基梅隆大学 软件研究院