如何在C语言中识别integer promotion与demotion？

一、你的代码中的整数提升分析 #

先明确C17里整数提升的核心逻辑：所有宽度小于int的整数类型（比如unsigned char、signed char、short等），在参与算术运算、作为无原型函数参数，或是进行比较操作时，会被自动提升为int（只要int能容纳该类型的所有可能值）；如果int装不下，就提升为unsigned int。

逐个拆解你的代码片段：

• x = 'c';：'c'是char常量，直接赋值给unsigned char类型的x，不存在整数提升。
• aux = x;：x是unsigned char，在赋值给int类型的aux之前，会先被整数提升为int，再完成赋值。这一步存在整数提升。
• aux = y;：y本身就是int类型，无提升操作。
• aux = z;：z是long int，赋值给int属于后文要讲的类型降级，不属于整数提升。
• aux = x + y; // ZX：你判断的没错，这一行确实存在整数提升：
  1. x是unsigned char，首先被提升为int；
  2. 提升后的int值和int类型的y做加法，结果为int；
  3. 最终赋值给aux（int类型）。
• aux = y + z;：这里触发的是寻常算术转换：int类型的y会被转换为long int，再和z相加得到long int结果，最后赋值给int的aux（赋值时是降级）。这一步没有整数提升，因为int本身不满足“宽度小于int”的提升前提。

二、类型降级（Demotion）的示例 #

C标准里确实没明确用“demotion”这个术语，但它是程序员对宽类型转窄类型的俗称，本质是窄化转换，可能导致数据丢失或值异常。常见场景如下：

示例1：长整数转短整数 #

long int a = 123456;
int b = a; // long int -> int，属于降级

如果int是4字节（常规情况），123456在范围内不会出问题；但如果a的值超过int最大值（比如2147483648），赋值后b的行为是未定义的（多数实现会直接截断高位）。

示例2：无符号宽类型转有符号窄类型 #

unsigned int c = 400;
signed char d = c; // unsigned int -> signed char，降级

signed char的范围通常是-128~127，400超出范围后会被截断低8位，最终d的值会变成-112（二进制最高位为1，被解释为负数）。

示例3：浮点类型转整数类型 #

double e = 3.14;
int f = e; // double -> int，降级，小数部分被截断，f的值为3

如果浮点值超出整数类型的范围，结果同样是未定义行为。

注意 #

隐式的类型降级容易引发意外问题，编译器通常会给出警告（比如warning: implicit conversion loses integer precision）。如果必须做这类转换，建议用显式强制类型转换（如b = (int)a;），明确表明你清楚转换风险。

内容的提问来源于stack exchange，提问作者Cblue X