C语言整型与浮点数存储原理及类型转换陷阱

1. 整数在内存中的存储原理

在C语言中，整型数据在内存中的存储方式是一个基础但极其重要的概念。理解这个原理不仅能帮助我们写出更可靠的代码，还能在调试时快速定位问题。

1.1 补码：整型存储的核心机制

现代计算机系统中，整型数据普遍采用补码（Two's complement）形式存储。这种设计并非偶然，而是经过精心考量的结果。

补码的定义很简单：对于正数，补码就是其二进制原码；对于负数，补码是其绝对值的二进制表示取反后加1。例如：

• 十进制数5的8位补码：00000101
• 十进制数-5的8位补码：11111011

这种设计带来了几个关键优势：

1. 统一加减法运算：CPU只需要加法器就能完成加减运算，简化了硬件设计。例如5+(-5)在补码系统中就是00000101 + 11111011 = 00000000（最高位溢出被丢弃）
2. 零的唯一表示：补码系统中只有一个零（全0），避免了原码系统中+0和-0的问题
3. 符号位参与运算：最高位既是符号位也是数值位，运算时无需特殊处理

注意：在C语言中，整型变量的取值范围与位数直接相关。例如32位int的范围是-2,147,483,648到2,147,483,647（即-2³¹到2³¹-1）

1.2 整型提升：隐式类型转换的陷阱

C语言在进行表达式计算时，会自动将小于int的类型提升为int，这个过程称为整型提升（Integer Promotion）。理解这个机制对避免bug至关重要。

整型提升的规则：

• 有符号类型：按符号位扩展（高位补符号位）
• 无符号类型：高位直接补0

一个典型陷阱示例：

c复制unsigned char a = 0xFF;
if (a == 0xFF) {
    printf("Equal\n");
} else {
    printf("Not equal\n");  // 可能意外执行这个分支
}

这段代码在某些编译环境下可能输出"Not equal"，因为a被提升为int类型后变成了0x000000FF，而0xFF被当作int时可能是0xFFFFFFFF（取决于编译器实现）。

2. 字节序：内存中的数据排列方式

2.1 大端与小端存储模式

当数据超过一个字节时，就面临如何在内存