C++程序的内存模型

C++程序的内存分区模型

​ C++程序在执行时，将内存大方向划分为4大区域

• 代码区：存放函数体的二进制代码，由操作系统进行管理的
• 全局区：存放全局变量和静态变量及常量
• 栈区：由编译器自动分配释放，存放函数的参数值，局部变量等
• 堆区：由程序员分配和释放，若程序员不释放，程序结束时由操作系统回收

内存四区的意义：

​ 不同区域存放的数据，赋予不同的生命周期，给我们更大的灵活编程

一、程序运行前

​ 在程序编译后，生成了exe可执行程序，未执行该程序前分为两个区域

1.1代码区：

• 存放CPU执行的机器指令
• 代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可
• 代码区是只读的，使其只读的原因是防止程序意外地修改了它改的指令

1.2全局区：

​ 该区域的数据在程序结束后由操作系统释放

示例：

#include<iostream>
using namespace std;

//创建全局变量
int g_a = 10;
int g_b = 10;

//创建全局变量常量
const int c_g_a = 10;
const int c_g_b = 10;

int main() {
	//全局区--全局变量、静态变量、字符串常量、全局变量常量

	//创建普通的局部变量
	int a = 10;
	int b = 10;

	//创建静态变量
	static int s_a = 10;
	static int s_b = 10;

	//创建局部变量常量
	const int c_a = 10;
	const int c_b = 10;

	//查看地址
	cout << "局部变量a的地址：" << (int)&a << endl;
	cout << "局部变量b的地址：" << (int)&b << endl;
	cout << "全局变量g_a的地址：" << (int)&g_a << endl;
	cout << "全局变量g_b的地址：" << (int)&g_b << endl;
	cout << "静态变量s_a的地址：" << (int)&s_a << endl;
	cout << "静态变量s_b的地址：" << (int)&s_b << endl;
	cout << "局部变量常量c_a的地址：" << (int)&c_a << endl;
	cout << "局部变量常量c_b的地址：" << (int)&c_b << endl;
	cout << "全局变量常量c_g_a的地址：" << (int)&c_g_a << endl;
	cout << "全局变量常量c_g_b的地址：" << (int)&c_g_b << endl;
	//字符串常量
	cout << "字符串常量的地址：" << (int)&"Hello" << endl;

	system("pause");
	return 0;
}

运行结果：

局部变量a的地址：1148713700
局部变量b的地址：1148713732
全局变量g_a的地址：-711004160
全局变量g_b的地址：-711004156
静态变量s_a的地址：-711004152
静态变量s_b的地址：-711004148
局部变量常量c_a的地址：1148713764
局部变量常量c_b的地址：1148713796
全局变量常量c_g_a的地址：-711017552
全局变量常量c_g_b的地址：-711017548
字符串常量的地址：-711016792
请按任意键继续. . .

​ 由此可验证全局区的内容

---

二、程序运行后

2.1栈区：

• 由编译器自动分配释放，存放函数的参数值，局部变量，返回地址等
• 注意事项：不要返回局部变量的地址，栈区开辟的数据由编译器自动释放（因为在函数执行完，里面的局部变量会被系统释放）

示例：

#include<iostream>
using namespace std;

//栈区数据注意事项---不要返回局部变量的地址
//栈区数据由编译器管理开辟和释放

int* fun(int b) {	//形参数据也会放在栈中
	b = 100;
	int a = 10;		//局部变量  存放在栈区，栈区的数据在函数执行完成后自动释放
	return &a;		//返回局部变量的地址
}

int main() {
	int b = 0;
	//接受fun函数的返回值
	int* p = fun(b);
	cout << *p << endl;		//第一次可以打印正确的数字，是因为编译器做了保留
	cout << *p << endl;		//之后的数据将不会再保留
	cout << *p << endl;


	system("pause");
	return 0;
}

运行结果：（x86位）

10
15339580
15339580
请按任意键继续. . .

函数调用完后，fun函数中的a,b会被编译器自动释放，因此即使返回a的地址，但数据已经释放，所以尽量不要返回局部变量的地址

2.2堆区：

• 由程序员分配释放，若程序员不释放，程序结束时由操作系统回收
• 在C++中主要利用new在堆区开辟内存

示例：

#include<iostream>
using namespace std;

int* fun() {
	//利用new关键字 可以将数据开辟到堆区(new 开辟的数据返回的是地址)
	//指针 本质也是局部变量，储存在栈区，但指针保存的数据在栈区
	int* p = new int(10);
	return p;
}

int main() {
	//在堆区开辟新数据
	int* p = fun();

	cout << *p << endl;
	cout << *p << endl;
	cout << *p << endl;

	system("pause");
	return 0;
}

运行结果：

10
10
10
请按任意键继续. . .

即使栈区会被编译器自动释放，但并不会释放堆区，故可以调用，由程序员操作

---

三、new操作符

• C++中利用new操作符在堆区开辟数据
• 堆区开辟的数据，由程序员手动开辟，手动释放，释放利用操作符delete
• 开辟数组格式——new 数据类型[个数] 释放数组格式——delete[] 数组名

实例1：基本语法

#include<iostream>
using namespace std;

//1、new的基本语法
int* func() {
	//在堆区创建整型数据
	int* p = new int(10);
	return p;
}

void test01() {
	int* p = func();
	cout << *p << endl;
	cout << *p << endl;
	cout << *p << endl;
	//堆区的数据 由程序员管理开辟和释放
	//如果想释放堆区的数据，利用关键字 delete
	delete p;
	//cout << *p << endl;	内容已释放 会报错
}

//2、在堆区开辟一个数组
void test02() {
	//创建10整型数据的数组，在堆区
	int* arr = new int[10];

	for (int i = 0; i < 10; i++) {
		arr[i] = i + 100;	//给这10个元素赋值
	}

	for (int i = 0; i < 10; i++) {
		cout << arr[i] << " ";
	}
	cout << endl;

	//释放堆区数组---要加[]才可以
	delete[] arr;
}

int main() {

	test01();
	test02();

	system("pause");
	return 0;
}

运行结果：

10
10
10
100 101 102 103 104 105 106 107 108 109
请按任意键继续. . .

**拓展：**二维数组的开辟和释放

方法 1：使用指针数组

这种方法使用指针数组来创建二维数组：

#include <iostream>
using namespace std;

int main() {
    int rows = 3;
    int cols = 4;

    // 动态分配二维数组
    int** arr = new int*[rows]; // 创建指针数组
    for (int i = 0; i < rows; ++i) {
        arr[i] = new int[cols]; // 每个指针指向一个整型数组
    }

    // 使用数组
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            arr[i][j] = i * cols + j; // 示例赋值
        }
    }

    // 打印数组
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            cout << arr[i][j] << " ";
        }
        cout << endl;
    }

    // 释放内存
    for (int i = 0; i < rows; ++i) {
        delete[] arr[i]; // 释放每一行
    }
    delete[] arr; // 释放指针数组

    return 0;
}

方法 2：使用单一内存块

这种方法使用单一的内存块来创建一个连续的二维数组：

#include <iostream>
using namespace std;

int main() {
    int rows = 3;
    int cols = 4;

    // 动态分配二维数组
    int* arr = new int[rows * cols];

    // 使用数组
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            arr[i * cols + j] = i * cols + j; // 示例赋值
        }
    }

    // 打印数组
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            cout << arr[i * cols + j] << " ";
        }
        cout << endl;
    }

    // 释放内存
    delete[] arr; // 释放整个数组

    return 0;
}

总结：

• 在第一种方法中，释放内存时需要先释放每一行的数组，然后再释放指针数组本身。

• 在第二种方法中，数组是连续的，只需一次 delete[] 来释放整个数组。

---

打印数组
for (int i = 0; i < rows; ++i) {
for (int j = 0; j < cols; ++j) {
cout << arr[i * cols + j] << " ";
}
cout << endl;
}

// 释放内存
delete[] arr; // 释放整个数组

return 0;

}

##### 总结：

- 在第一种方法中，释放内存时需要先释放每一行的数组，然后再释放指针数组本身。

- 在第二种方法中，数组是连续的，只需一次 `delete[]` 来释放整个数组。

***