C++ 中内存分区总结

背景

C++ 中最基本的存储单位是字节，C++ 中所有的数据都是由对象组成的，每一个对象都包含了一个或多个内存位置。
C++ 中有多种不同类型的内存区域，不同区域存放不同的数据，赋予数据不同的生命周期。
程序在执行时将供用户使用内存大致划分为以下区域：常量数据区、全局/静态数据区、栈区、堆区、自由存储、代码区。

常量数据区

①．常量数据区主要用于存储字符串常量或者其他在编译期就已经知道的数据。

②．常量数据区中的数据在整个程序的生命周期中都有效。

③．常量数据区中的数据在程序结束后由操作系统进行释放。

④．常量数据区中的数据是只读的。

全局/静态数据区

①．全局/静态数据区主要用于存放全局变量和静态变量。
②．在程序启动时，全局/静态数据已经分配了存储空间。
③．全局/静态数据区中的数据在程序结束后由操作系统释放。
④．未初始化的静态变量会被程序自动初始化为 0，静态局部变量在程序执行到该对象的声明处时被首次初始化。

栈区

①．栈区用于存放函数的参数，局部变量、返回值等。
②．栈区的数据由编译器自动进行分配，在作用域内有效。
③．在超出变量作用域后，栈中数据由编译器自动释放。
④．栈内存分配运算内置于处理器的指令集，效率高、但是分配的内存容量有限。

自由存储

①．自由存储是动态内存区域，通过 new/delete 来分配和释放。
②．分配空间时，编译器根据指定类型自动分配空间大小，并调用构造函数进行初始化。
③．释放空间时，编译器会调用析构函数，并回收内存空间。
④．new 和 delete 必须配套使用。

堆区

①．堆是动态内存区域，通过 malloc/free 来分配和释放。
②．分配空间时，需要显示指定空间大小，不会调用构造函数。
③．释放空间时，编译器不会调用析构函数，只是释放内存空间。
④．malloc和 free 必须配套使用。

代码示例

#include "iostream"
#include <iomanip>

using namespace std;

constexpr int c_a = 10;
const int c_b = 2;

int g_a = 10;
static int s_g_b = 10;

int main()
{
	static int s_l_c = 0;

	int l_a = 2;
	const int l_c_b = 3;
	constexpr int l_c_c = 10;

	int * p_a = new int(10);
	void * p_b = malloc(sizeof(int));

	cout << "=========常量数据区======" << endl;
	cout <<setw(30) << left << "字符串常量 hello 地址："<< static_cast<const void*>("hello") << endl;
	cout <<setw(30) << left << "常量表达式 c_a 地址：" << &c_a << endl;
	cout << setw(30) << left << "全局常量 c_b 地址：" << &c_b << endl;
	cout << "=========全局数据区======" << endl;
	cout << setw(30) << left << "全局变量 g_a 地址：" << &g_a << endl;
	cout << setw(30) << left << "静态全局变量 s_g_b 地址：" << &s_g_b << endl;
	cout << setw(30) << left << "静态局部变量 s_l_c 地址：" << &s_l_c << endl;
	cout << "=========栈区======" << endl;
	cout << setw(30) << left << "局部变量 l_a 地址：" << &l_a << endl;
	cout << setw(30) << left << "局部常量 l_c_b 地址：" << &l_c_b << endl;
	cout << setw(30) << left << "局部常量表达式 l_c_c 地址：" << &l_c_c << endl;
	cout << "=========自由存储======" << endl;
	cout << setw(30) << left << "指针 p_a 指向地址：" << p_a << endl;
	cout << "=========堆区======" << endl;
	cout << setw(30) << left << "指针 p_b 指向地址：" << p_b << endl;
	cout << "=========代码区======" << endl;
	cout << setw(30) << left << "main 函数地址：" << main << endl;

	system("pause");
    return 0;
}

运行结果如下：