C/C++ 数据存储详解：整数补码与浮点数 IEEE 754 原理

顾言

发布时间：2026-10-13 | 3人浏览过

原创

本文深入解析 C/C++ 中数据在内存中的存储机制，涵盖整型的补码运算与溢出处理，以及基于 IEEE 754 标准的浮点数二进制表示法，揭示数据类型转换背后的底层逻辑。

一、整形数据在内存中的存储

第1步：理解原码、反码与补码

计算机系统中的有符号整数采用 补码（Two's Complement）方式存储，这有助于简化 CPU 中算术逻辑单元（ALU）的设计，使减法可以转化为加法处理。

正数：其原码、反码和补码三者相同。
例如：char a = 30; 在内存中直接存储为 00011110。
负数：其补码等于原码取反后加 1。
以 char a = -30; 为例：
1. 原码（8位）：10011110（最高位为符号位）
2. 反码：11100001（符号位不变，数值位取反）
3. 补码（存储值）：11111011（反码 + 1）

第2步：处理数据溢出与截断

当赋值超出目标数据类型范围时，会发生截断或溢出。对于 signed char（8位，范围 -128 到 127），若赋予超界值，高位将被丢弃，剩余低位被视为补码解读。

int main() {
    char a = 130;
    printf("%d", a); // 输出: -126
    return 0;
}

分析过程：

十进制 130 的二进制为 10000010。
char 只保留低 8 位，即 10000010 存入内存。
因为 char 默认是有符号的，最高位 1 表示负数。
将该补码 10000010 转回原码求值：减 1 得 10000001，再取反（符号位除外）得 11111110，即十进制的 -126。

第3步：无符号与混合类型打印

当变量声明为无符号类型，或通过无符号格式打印有符号变量时，解释方式将发生变化。

示例：无符号字符变量存储负数

unsigned char c = -1;

由于 -1 的补码是全 1（11111111），unsigned char 将其解释为正数 255（2^8 - 1）。

示例：有符号变量按无符号打印

char c = -2; // 补码为 11111110
printf("%u", c); // 输出: 4294967294

原理： printf 的 %u 格式要求传入 unsigned int。由于参数提升（Integral Promotion），8位的 char 被扩展为 32位。因为是负数，高 24 位全部填充 1（符号扩展），最终得到 32位的 11111111 11111111 11111111 11111110，对应无符号十进制 4294967294。

第4步：判断机器字节序（大小端）

多字节整数在内存中的排列顺序取决于系统架构：

大端模式（Big Endian）：数据的高字节保存在内存的低地址端。
小端模式（Little Endian）：数据的低字节保存在内存的低地址端（主流 x86 系统采用）。

可以通过指针类型转换快速检测当前系统的字节序：

#include <stdio.h>
#include <stdbool.h>

bool checkSys() {
    int a = 1; // 二进制：... 00000001
    // 取首字节地址并强制转换为 char* 指针
    // 若低字节在前，则 *p 为 1 (小端)
    return (*(char *)&a) == 1;
}

int main() {
    if (checkSys()) {
        printf("小端\n");
    } else {
        printf("大端\n");
    }
    return 0;
}

二、浮点型数据的存储标准

第1步：遵循 IEEE 754 标准

C/C++ 中的单精度（float）和双精度（double）浮点数严格遵循 IEEE 754 标准。任意一个二进制浮点数 V 可表示为：

V = (-1)^S × M × 2^E

S：符号位。0 表示正数，1 表示负数。
M：有效数字（Mantissa）。范围通常为 [1, 2)，存储时会隐藏首位的 1。
E：指数（Exponent）。决定小数点的移动位数。

第2步：计算实例解析

以十进制数 5.0 为例：

转为二进制： 101.0
规格化： 1.01 × 2^2
提取字段： S=0, M=1.01, E=2

第3步：特殊指数位 E 的处理

在 IEEE 754 中，E 是一个无符号整数，为了支持负指数，存储时需要加上偏移量（Bias）。对于 float（32位），偏移量为 127；对于 double（64位），偏移量为 1023。

E 不全为 0 也不全为 1：正常浮点数。
V = (-1)^S × (1 + M) × 2^(E-127)。注意这里必须加上隐含的 1。
E 全为 0：非正规化数（Subnormal Number）。
此时指数 E 的真实值为 -126（而非 -127），且不隐藏有效数字的 1，即 V = (-1)^S × (0 + M) × 2^(-126)。这使得我们可以表示极其接近 0 的数字，同时也实现了 +0 和 -0 的区别。
E 全为 1：特殊情况。
若 M 为 0，表示无穷大（Infinity），正负由 S 决定；若 M 不为 0，则表示 NaN（Not a Number）。