C语言类型转换陷阱：整数截断与补码解析

1. 问题现象与背景解析

最近在调试一段C语言代码时遇到了一个诡异现象：明明给变量赋了一个整数100，用printf打印出来却变成了44。这个看似简单的类型转换问题，实际上涉及C语言中数据类型存储的本质特性。

c复制#include <stdio.h>

int main() {
    char c = 100;
    printf("%d", c);  // 正常输出100
    c = 1000;         // 这里编译器可能给出警告
    printf("%d", c);  // 输出44而非1000
    return 0;
}

在32位系统上，int通常占4字节，而char只有1字节。当我们将1000（二进制1111101000）赋值给char时，实际只保留了低8位11011000（十进制216）。但由于char默认是有符号类型，最高位1表示负数，所以实际存储的是-40的补码。用%d打印时发生整型提升，最终输出44。

2. 数据类型的存储机制剖析

2.1 补码表示法的关键作用

计算机中负数采用补码存储，这是理解该现象的核心。以8位char为例：

• 原码：最高位表示符号（0正1负），其余位表示绝对值
• 反码：正数同原码，负数符号位不变，其余位取反
• 补码：正数同原码，负数为反码+1

当1000（二进制1111101000）被截断为11011000时：

1. 识别符号位：1表示负数
2. 取反得：00100111
3. 加1得：00101000（即40）
4. 所以原值是-40

用%d打印时，-40被提升为int类型，其补码表示与char时不同：

• 32位-40的补码：11111111 11111111 11111111 11011000
• 按无符号解释：4294967256

但printf的%d会将最高位视为符号位，所以输出-40。那为什么实际输出44？这与printf的实现细节有关。

2.2 整型提升的隐藏规则

C语言在进行算术运算时，会将小于int的类型自动提升为int。但这里有个关键细节：

c复制char c = 1000;
printf("%d", c);

实际发生的过程：

1. 1000被截断存储为char（8位）
2. 取出时先进行整型提升