C++ 程序的内存模型

目录

1. 内存分区模型概述

2. 程序运行前

2.1 代码区

2.2 全局区

3. 程序运行后

3.1 栈区

3.2 堆区

---

1. 内存分区模型概述

C++程序在执行时, 会将内存划分成四个区域 :

1.代码区 :  存放函数体的二进制代码, 由操作系统进行管理

2.全局区 :  存放全局变量 / 静态变量/ 非局部的常量   (函数体外的变量为全局变量)

3.栈区 :  存放函数的参数值 / 局部变量 / 局部常量 , 由编译器自动分配 / 释放   (函数体内的非静态变量都是局部变量)

4.堆区 :  由程序员分配 / 释放 , 若程序员不释放, 程序结束时由操作系统回收.

内存四区存在的意义 : 给不同区域存放的数据赋予不同的生命周期, 编程更加灵活.

2. 程序运行前

在程序编译后, 生成了 .exe 可执行程序, 未执行前, 分为两个区域:

2.1 代码区

  存放CPU执行的机器指令

  代码区是共享的, 共享的目的是: 对于频繁被执行的程序, 只需要在内存中有一份代码即可

  代码区是只读的, 防止程序意外地修改了它的指令

2.2 全局区

  存放全局变量(global)和静态变量

  包含常量区, 字符串常量和其他常量也存放于此.(包括静态常量, 但不包括局部常量)

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

静态变量语法:

static int a = 0;

常量分为两种 : 字符串常量 和 const 修饰的变量.

cout << "字符串常量的地址为: " << &"hello world" << endl;

const 修饰的变量 也分为 全局变量 和局部变量(local).

const int c_g_a = 10;

int g_a =1 ;

int main()
{
   const int c_l_a = 100;

   return 0 ;
}

3. 程序运行后

3.1 栈区

由编译器自动分配 / 释放, 可以存放函数的参数值, 局部变量等等.

注意事项: 不要返回局部变量的地址, 因为在函数执行完后, 编译器会释放这些内存, 此时用地址访问这些数据不是合法的操作(野指针).

有的编译器会保留一次访问的机会, 有的编译器完全不保留, 还有的编译器一直保留.

但是为了适应多种编译器环境, 最好不要将局部变量的地址作为返回值.

#include <iostream>
using namespace std;

//因为返回的是 int 类型数据的地址, 相当于返回值是 int * 类型的数据, 所以返回值类型为 itn *
int* function()
{
	int a = 10;     //函数中创建的变量为局部变量
	return &a;      //返回局部变量的地址
}

int main()
{
	int* p = function();    //要用 int * 类型的数据 接收 int * 类型的返回值 
	cout << *p << endl;	    //访问对应地址内存中的数据需要解引用
	cout << *p << endl;     //有的编译器会保留一次或多次访问权, 然后再释放, 但 VS2022 至少保留了两次以上
	return 0;

}

3.2 堆区

利用 new 关键字, 可以将数据开辟到堆区内存中.

还是上面那个例子, 如果指针指向的是堆区中的变量, 那么在main函数中访问就是合法的.

因为堆区内存何时释放, 是由程序员来决定的, 不像栈区那样函数执行完了就会释放.

语法:

int * p = new int(100);

这条指令的意思是, 在堆区中开辟一段内存, 存放 int 数据 100 , 内存地址为 p.

同样地, 利用 delete 关键字可以释放该段堆区内存.

源代码:

#include <iostream>
using namespace std;

//因为返回的是 int 类型数据的地址, 相当于返回值是 int * 类型的数据, 所以返回值类型为 itn *
int* function()
{
	int a = 10;     //函数中创建的变量为局部变量
	return &a;      //返回局部变量的地址
}

// new 关键字修饰的变量, 编译器会将之存放于堆区中.
int* functionnew()
{
	// new int(100)是指开辟一个堆区内存存放 100, 表达式的值就是这段内存的地址, 因此可以赋值给指针 p .
	int* p = new int(100);   //这个指针 p 本质是指针变量, 也是存放于栈区的. 但这个指针指向堆区.
	
	// delete p;    用 delete 关键字 释放堆区内存 , 语法为 delete 指针名 ;

	int* arr = new int[10];  //注意与小括号区分, 小括号的意思是存放整型变量 10 , 中括号的意思是开辟10长度的整型数组

	delete[] arr;  //如果释放一个数组, 需要在 delete 后面加 []
	
	return p;
}

int main()
{
	int* p = function();    //要用 int * 类型的数据 接收 int * 类型的返回值 
	cout << *p << endl;	    //访问对应地址内存中的数据需要解引用
	cout << *p << endl;     //有的编译器会保留一次或多次访问权, 然后再释放, 但 VS2022 至少保留了两次以上

	int* p1 = functionnew();
	cout << *p1 << endl;
	cout << *p1 << endl;
	return 0;

}