C++ 内存分区、堆与栈、static、union 完整修正版文档

前言

本文梳理 C/C++ 进程虚拟内存分区、堆 (Heap) 与自由存储区 (Free Store) 区别、static 关键字三层语义、struct/union 内存模型，修正传统老旧误区，兼容 C++11/17 新标准，删除无关 Delphi/VCL 冗余内容，修正代码笔误与逻辑漏洞。

一、C/C++ 进程标准内存分区（操作系统视角 + C++ 语言视角区分）

1. 五大标准内存段（操作系统虚拟地址空间划分，权威划分）

代码段 (.text)：存放程序二进制指令，只读，运行期间不可修改；
只读常量段 (.rodata) ：字符串常量、const 全局常量、constexpr 常量，只读；
全局 / 静态数据段
.data：已初始化全局变量、静态变量；
.bss：未初始化全局 / 静态变量，程序加载时统一置 0；
堆 (Heap)：操作系统提供的动态内存池，运行时手动申请释放；
栈 (Stack)：编译器自动管理，存放局部变量、函数参数、返回地址、栈帧。

2. C++ 语言抽象概念：自由存储区 Free Store

operator new / operator delete 管理的内存称为自由存储区 ；底层绝大多数平台实现中，new 封装 malloc，二者均从操作系统堆分配内存；

malloc/free：C 库，操作 OS 堆；
new/delete：C++，操作自由存储区，底层依托堆，额外执行构造 / 析构；二者不是两块独立内存，只是语言层面两套 API，原文将二者颠倒区分属于经典误区。

3. 补充说明原文错误的 "五区" 说法

原文划分「堆、栈、自由存储区、全局静态区、常量区」不标准：

自由存储区是语言抽象概念，不是独立内存硬件分区；
常量存储区属于 .rodata 只读段，隶属于数据段，不能与栈、堆并列；下文统一使用标准分区描述。

二、堆 (Heap) vs 栈 (Stack) 完整对比

示例代码：

复制代码

void func() {
    int* p = new int[5]; // p 在栈；new 分配的数组在自由存储区(底层堆)
    delete[] p; // 数组必须配套 delete[]
}

六大核心区别（修正片面、绝对化描述）

1. 管理方式

栈：编译器自动分配释放，函数执行完毕自动回收栈帧，无需手动管理；
堆 / 自由存储区：程序员手动 new/delete / malloc/free；忘记释放会内存泄漏，重复释放会崩溃。程序退出后操作系统统一回收全部堆内存。

2. 空间大小限制

栈：系统固定阈值，Windows 默认 1MB，Linux/macOS 默认 8MB，可编译选项调整；超出直接栈溢出程序崩溃；不适合大块内存。
堆：受进程虚拟地址空间、物理内存 / 交换分区限制，32 位进程总虚拟空间仅 4GB，无法完整占用 4G；64 位寻址空间极大，适合大容量动态内存。

3. 内存碎片

栈：先进后出 LIFO，只会整体销毁栈帧，无外部碎片；但变量对齐会产生微小内部碎片，可忽略；
堆：频繁分配释放不同大小内存，极易产生大量外部碎片，降低内存利用率。

4. 内存生长方向（平台相关，不绝对）

主流 x86/x86_64 Windows/Linux：

栈：向下增长（地址减小）；
堆：向上增长（地址增大）；部分嵌入式 ARM 架构栈可向上增长，不能一概而论。

5. 分配方式

栈：静态分配（普通局部变量）+ 动态分配（alloca）； alloca 在栈上开辟内存，编译器自动释放，但无越界保护，极易栈溢出，工业开发禁止使用；
堆：仅动态分配，无静态堆。

6. 分配效率

栈：CPU 专用栈寄存器 + 压栈 / 出栈硬件指令，分配释放极快；
堆：库函数遍历空闲内存块、可能触发内核态切换，分配开销远高于栈。

使用建议

优先使用栈存储小对象；需要大容量、生命周期跨函数 / 跨作用域的数据使用堆；现代 C++ 推荐 unique_ptr/shared_ptr 智能指针自动管理堆内存，避免手动 new/delete。

边界风险

栈、堆均禁止越界访问：栈越界直接崩溃；堆越界破坏堆管理结构，引发随机崩溃、难以调试。

补充：口语中 "堆栈" 单指栈，不含堆。

三、static 关键字三层语义（C98 + C++17 新标准补充）

static 根据使用位置，分为三类作用：局部静态变量、静态全局 / 函数、类静态成员。

1. 修饰函数内局部变量

普通局部变量：存栈，函数结束销毁，每次调用重新创建初始化； static 局部变量：存入全局静态区，程序启动仅初始化一次，生命周期贯穿整个程序；函数多次调用会保留上一次值。

使用场景与注意事项

函数返回指针时，若返回局部栈变量地址会产生野指针；可改用 static 局部变量（多线程存在数据竞争风险）；
不可重入 / 多线程函数慎用 static 局部变量，无同步锁会出现数据错乱；
C++ 可返回临时对象（移动 / 拷贝语义），无需强制 static。

2. 修饰全局变量 / 普通函数

普通全局变量：存储在静态区，作用域为整个工程，其他文件可通过 extern 声明访问；
static 全局变量 /static 函数：存储仍在静态区，但作用域限制为本文件，其他源文件无法访问，避免命名冲突，降低模块耦合。

3. 修饰类成员（C++ 专属，C 无此语义）

静态数据成员

归属整个类，所有类对象共享同一份内存，节省空间；修改后所有对象同步可见；
C++98 规则：类内仅声明，必须类外初始化：

class Test { public: static int num; // 声明 }; int Test::num = 10; // 类外定义初始化，不加 static、访问权限符

C++17 新增

static inline

，可直接类内初始化：

class Test { public: static inline int num = 10; };

访问方式：类名::静态成员，权限允许时也可通过对象访问。

静态成员函数

属于类，无 this 指针，不能访问普通非静态成员，仅能操作静态成员；
不能声明为虚函数（虚函数依赖 this 访问虚表）；
可作为 C 回调、线程入口函数，兼容 C 风格接口。

static 变量初始化规则

全局 / 静态变量未手动赋值时，编译器自动初始化为 0；普通栈局部变量无默认值，内存随机脏数据。

四、全局变量 / 静态全局 / 静态局部 / 局部变量对比

表格

变量类型	存储位置	生命周期	作用域
普通局部变量	栈	函数调用期间	当前函数内
static 局部变量	全局静态区	整个程序运行期	当前函数内
普通全局变量	全局静态区	整个程序运行期	整个工程（extern 跨文件）
static 全局变量	全局静态区	整个程序运行期	仅当前 .cpp 文件

五、struct 与 union 内存模型（修正笔误、老旧标准）

1. 核心区别

struct：所有成员独立分配内存，成员互不覆盖，整体大小 = 各成员内存 + 对齐填充字节；
union：所有成员共享同一块内存，同一时刻仅能有效使用一个成员；整体大小 = 最大成员占用内存 + 对齐填充字节。

2. 语法与使用限制

C89：union 不支持直接初始化；C99 / C++11 支持指定初始化；
修改任一成员，其他成员数据失效，读取会产生未定义行为；
常用于字节拆解、判断主机字节序。

3. 修正后字节序判断示例（修复拼写、符号扩展 bug）

复制代码

#include <cstdio>
union EndianTest {
    short s;
    unsigned char c[sizeof(short)];
};

int main() {
    EndianTest un;
    un.s = 0x0102;
    if (sizeof(short) == 2) {
        if (un.c[0] == 1 && un.c[1] == 2) {
            printf("大端序 big-endian\n");
        } else if (un.c[0] == 2 && un.c[1] == 1) {
            printf("小端序 little-endian\n");
        } else {
            printf("未知字节序\n");
        }
    } else {
        printf("short 长度不为2\n");
    }
    return 0;
}

优化点：使用 unsigned char 避免有符号字符符号扩展异常，修正 shor 拼写错误。