C++内存模型01——内存四大分区

内存分区模型

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

• 代码区：存放函数体的二进制代码，由操作系统进行管理的
• 全局区：存放全局变量和静态变量及常量
• 栈区：由编译器自动分配释放，存放函数的参数值，局部变量等
• 堆区：由程序员分配和释放，若程序员不是放，程序结束时由操作系统回收
  内存四区意义：不同区域存放的数据，赋予不同的生命周期，给我们更大的灵活编程

程序运行前

在程序编译后，生成了exe可执行程序，未执行该程序钱分为两个区域
代码区：

• 存放CPU执行的机器指令
• 代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可
• 代码区是只读的，使其只读的原因是防止程序意外地修改了它的指令
  全局区：
• 全局变量和静态变量存放在此
• 全局区还包含了常量区，字符串常量和其他常量也存放在此
• 该区域的数据在程序结束后由操作系统释放
• 接下来让我们一起来看看全局变量、静态变量、字符串常量和其他常量与局部变量的区别

#include<iostream>
#include<string>
using namespace std;
//全局变量
int g_a = 10;
//const全局常量
const int c_g_a = 10;
int main(){
    //静态变量
    static int s_a=10;
    //静态常量
    static const int c_s_a = 10;
    //字符串常量
    string s = "DK";
    //局部变量
    int l_a=10;
    //局部常量
    const int c_l_a = 10;
    //利用十进制方便更直观得看出地址变化
    cout<<"全局变量："<<(int)&g_a<<endl;
    cout<<"静态变量："<<(int)&s_a<<endl;
    cout<<"字符串常量："<<(int)&"HelloWorld"<<endl;
    cout<<"局部变量："<<(int)&l_a<<endl;
    cout<<"局部常量："<<(int)&c_l_a<<endl;
    cout<<"全局常量："<<(int)&c_g_a<<endl;
    return 0;
}

结果：

总结：

• c++中在程序运行前分为代码区和全局区
• 代码区的特点是共享和只读
• 全局区中存放全局变量、静态变量、常量
• 常量区中存放const修饰的全局常量和字符串常量

那么局部变量和常量存放在哪里呢？

程序运行后

栈区：

• 由编译器自动分配释放，存放函数的参数值，局部变量等
• 栈区是一块连续的内存区域，在申请空间时要注意不能超过栈空间，否则会提示overflow
• 注意事项：不要返回局部变量的地址，栈区开辟的数据由编译器自动释放

#include<iostream>
using namespace std;
//栈区的数据由编译器管理开辟和释放的
int* fuc(int b) {
	//形参b会存放在栈区
	//变量a会存放在栈区，并且当函数执行完成之后自动释放
	int a = 10;
	return &a;
}
int main() {
	int* p = fuc(1);
	cout << *p << endl;//第一次可以打印正确的数字，是因为编译器进行了保留
	cout << *p << endl;//以为变量内存自动释放了，该行显示乱码
	return 0;
}

注意：当在x64环境下进行编译器会一直保持a的值，不会出现该场景。
堆区：

• 由程序员分配释放，若程序员不是放，程序结束时由操作系统回收
• 在C++中主要利用new在堆区开辟空间，也可使用C语法中的malloc申请开辟空间

#include<iostream>
using namespace std;
int* fuc() {
	//指针p变量仍然在栈区，通过new操作在堆区开辟了一个空间存放10
	//通过传递堆区的地址给栈区的指针p来将10赋给指针p
	int* p = new int(10);
	return p;
}
int main() {
	int* p = fuc();
	cout << *p << endl;
	cout << *p << endl;
	return 0;
}

内存图展示：

总结：

• 堆区数据由程序员管理开辟和释放
• 堆区数据利用new关键字进行开辟内存