C++程序运行时，内存会被划分为多个不同的区域，其中栈和堆是最常涉及的两块内存区域，二者的差异直接影响变量的生命周期、访问方式以及程序的运行效率。不同的变量类型会被分配到不同的内存区域中，理解这些规则是写出稳定C++程序的前提。
C++内存分区的基本结构
C++程序的内存通常分为以下几个核心区域：
- 栈区：由编译器自动分配和释放，存放函数的参数值、局部变量等
- 堆区：由开发者手动分配和释放，若开发者不释放，程序结束时可能由操作系统回收
- 全局区/静态区：存放全局变量和静态变量，程序结束后由系统释放
- 常量区：存放常量，不允许修改
- 代码区：存放程序的二进制代码
栈内存的核心特性
栈是一种先进后出的数据结构，栈内存的分配和释放完全由编译器自动完成，不需要开发者手动干预。栈内存的大小通常是固定的，由操作系统在程序启动时分配。
栈内存的分配规则
函数的局部变量、函数参数、返回值等通常都存储在栈中，当函数被调用时，对应的栈帧会被压入栈中，函数执行结束后栈帧自动弹出，对应的内存被释放。
#include <iostream>
using namespace std;
void testStack() {
int a = 10; // 局部变量a存储在栈中
int b = 20; // 局部变量b存储在栈中
cout << "a + b = " << a + b << endl;
} // 函数执行结束，a和b的内存自动释放
int main() {
testStack();
return 0;
}
栈内存的优缺点
- 优点：分配和释放速度极快，不需要手动管理内存，不会出现内存泄漏问题
- 缺点：内存大小有限，若分配过大的局部变量（比如超大数组）会导致栈溢出；变量的生命周期仅限于函数作用域内
堆内存的核心特性
堆内存是一块自由存储区域，其分配和释放由开发者手动控制，通常需要在代码中显式调用分配和释放函数，堆内存的大小受限于系统的虚拟内存大小，比栈内存大很多。
堆内存的分配规则
C++中堆内存的分配通常使用new关键字，释放使用delete关键字；如果是C风格的分配，也可以使用malloc和free函数，不过new会自动调用构造函数，delete会自动调用析构函数，更符合C++的面向对象特性。
#include <iostream>
using namespace std;
int main() {
// 在堆上分配一个int类型的内存，返回指针
int* p = new int;
*p = 100; // 给堆上的内存赋值
cout << "堆上的值：" << *p << endl;
// 释放堆内存，避免内存泄漏
delete p;
p = nullptr; // 避免野指针
// 在堆上分配一个数组
int* arr = new int[5];
for (int i = 0; i < 5; i++) {
arr[i] = i * 10;
}
// 释放数组需要使用delete[]
delete[] arr;
arr = nullptr;
return 0;
}
堆内存的优缺点
- 优点：内存大小可灵活控制，变量的生命周期可以由开发者决定，不受函数作用域限制
- 缺点：分配和释放速度比栈慢，需要手动管理内存，若忘记释放会导致内存泄漏，若重复释放会导致程序崩溃
堆和栈的核心区别对比
为了更清晰地区分二者，我们可以通过以下表格对比核心差异：
| 对比维度 | 栈 | 堆 |
|---|---|---|
| 分配方式 | 编译器自动分配释放 | 开发者手动分配释放 |
| 分配效率 | 极高 | 较低 |
| 内存大小 | 固定且较小 | 较大，受系统虚拟内存限制 |
| 生命周期 | 函数作用域内 | 手动释放前一直存在 |
| 存储内容 | 局部变量、函数参数、返回值 | 开发者手动申请的大块数据、动态对象 |
| 常见问题 | 栈溢出 | 内存泄漏、野指针、重复释放 |
不同变量的存储位置解析
结合内存分区规则，不同类型的变量存储位置如下：
- 局部变量：存储在栈中，函数结束后自动释放
- 全局变量、静态局部变量：存储在全局/静态区，程序结束后释放
- 通过
new/malloc分配的变量：存储在堆中，需要手动释放 - 字符串常量：存储在常量区，不允许修改
注意：指针变量本身的存储位置和它指向的内容的存储位置是两回事，比如int* p = new int，指针p作为局部变量存储在栈中，而p指向的int内存存储在堆中。常见问题与注意事项
在实际开发中，关于堆和栈的常见错误主要有以下几类：
- 栈溢出：比如在函数内定义超大的数组，比如
int arr[1000000]，超过了栈的默认大小，会导致程序崩溃 - 内存泄漏：使用
new分配内存后忘记delete，或者delete之前指针被修改，导致无法释放对应的内存 - 野指针：内存释放后没有将指针置为nullptr，后续误使用这个指针访问已经释放的内存，会导致未定义行为
#include <iostream>
using namespace std;
int main() {
// 错误示例：内存泄漏
int* p1 = new int;
// 没有delete p1，导致内存泄漏
// 错误示例：野指针
int* p2 = new int;
delete p2;
// 没有置为nullptr，此时p2是野指针
// *p2 = 10; // 错误，访问已释放的内存
// 正确做法
int* p3 = new int;
*p3 = 50;
delete p3;
p3 = nullptr;
return 0;
}
理解堆和栈的区别以及变量的存储位置，是C++内存管理的基础，开发者在编写代码时需要根据变量的使用场景选择合适的内存区域，避免出现内存相关的问题，提升程序的稳定性和可靠性。