C++核心编程：P1-＞程序的内存模型

本系列文章为黑马程序员C++教程学习笔记，前面的基础内容与C语言基本相同，所以不再记录

---

一、概述

程序的内存模型

你写的程序、程序中要使用的数据都存放在内存中。而内存会给你划分出4个区域，去存放你所有的内容。
①代码区
你写的所有的代码都会放到代码区中，如hello word、printf、int a = 1等语句或一些中英文的注释。但是，这些语句都是被转换成对应的机器码再存放在代码区中。
②全局区
全局区中主要存放的是全局变量、静态变量、常量。
③栈区
这里边存放的数据的特点是由编译器来自动地进行分配和释放，一般存放的是一些局部变量或函数中的一些参数。简单来说，这个区域中的数据是由编译器来管理他的生存和死亡。
④堆区
堆区中的数据是由程序员分配和释放。但是也不可能让这些数据一直存在，比如说你地程序都执行完了，这个变量还在内存里边，那就造成了资源浪费。所以如果这个程序运行结束了还不释放它，那就由操作系统帮你去做一个系统的回收。

分区的意义

对于不同区域存放的数据，它们会被赋予不同的生命周期，给我们更大的灵活性进行编程。

二、代码区

概念

----当我们写完代码后，我们就进行编译链接，生成一个exe可执行程序。双击运行，这个程序就跑起来了。我们现在用过很多的exe可执行程序，比如说打开一个word、打开一个Excel，你都要去双击这个可执行程序。
----在这个可执行程序还没有双击之前，代码区就已经有了，我们写的所有代码都放在代码区中。由于电脑的机器指令只识别0和1，所以我们写的代码要先经过编译，然后转成CPU能够识别的0、1这样的机器指令再放到代码区中。

代码区的特点

①共享
代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可。例如，有些程序可以执行多次exe。比如说我双击一下exe，于是CPU执行了内存中对应的代码。如果我再双击一次这个exe，难道要再新建一份代码执行吗？显然不能这样做，我们还是读这里面的代码。所以不管你执行多少次这个exe，代码就一份，数据是共享的，不会造成资源浪费。
②只读
代码区是只读的，使其只读的原因是防止程序意外地修改了它的指令。举个例子，假设我们在玩游戏，需要花费十个银币去买一个道具。如果这个游戏的代码运行之后，代码区不是只读的，而是可读可写的，于是把这个十个银币给你改成了十个金币，那岂不是损失就大了。所以，代码区的代码不能更改。

三、全局区

全局区存放的内容

全局区和代码区都是程序在运行前的一个区域，程序运行后才会有栈区和堆区。全局区中存放全局变量、静态变量、常量。其中，常量区里又包含字符串常量和const修饰的全局常量。

举例如下

#include <iostream>

//全局变量
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;
    //局部常量
    const int c_l_a = 10;
    const int c_l_b = 10;
    //静态变量
    static int s_a = 10;
    static int s_b = 10;
    //字符串常量
    "hello world";


    std::cout << "局部变量a地址为： " << (int)&a << std::endl;
    std::cout << "局部变量b地址为： " << (int)&b << std::endl;

    std::cout << "局部常量c_l_a地址为： " << (int)&c_l_a << std::endl;
    std::cout << "局部常量c_l_b地址为： " << (int)&c_l_b << std::endl;

    std::cout << "全局变量g_a地址为： " << (int)&g_a << std::endl;
    std::cout << "全局变量g_b地址为： " << (int)&g_b << std::endl;

    std::cout << "全局常量c_g_a地址为： " << (int)&c_g_a << std::endl;
    std::cout << "全局常量c_g_b地址为： " << (int)&c_g_b << std::endl;

    std::cout << "静态变量s_a地址为： " << (int)&s_a << std::endl;
    std::cout << "静态变量s_b地址为： " << (int)&s_b << std::endl;

    std::cout << "字符串常量地址为： " << (int)&"hello world" << std::endl;
    std::cout << "字符串常量地址为： " << (int)&"hello world1" << std::endl;


    std::cin.get();
    return 0;
}

运行，可以看出局部变量和局部常量都不在全局区，而其余四个均在全局区中。而全局区中，字符串常量和全局常量在一起，全局变量和静态变量在一起。

四、栈区

栈区存放的内容

存放函数的参数值、局部变量等，由编译器自动分配释放。注意：不要在函数中返回局部变量的地址。

举例如下

#include <iostream>

int* func() {
	int a = 10;
	return &a;
}

int main()
{
	int *p = func();
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	std::cin.get();

}

运行，可以发现：函数func返回将a这个局部变量在栈区的地址，使用指针p去接收这个地址。func函数执行后，对应栈上的数据就清空了，所以p对应地址上的数据就被清空了。但是这里第一次访问这个*p的时候没有清空数据，这是由于编辑器给我们做了一次保留，怕这是一个误操作。

五、堆区

堆区存放的内容

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

举例如下

#include <iostream>

int* func() {
	//指针a是个局部变量，放在栈上，保存的是开辟在堆区的那个10的地址
	int *a = new int(10);
	//返回指针a，也就是返回堆区的那个10的地址
	return a;
}

int main()
{
	//使用一个指针接收堆区那个10的地址，这个10一直没被释放，所以通过指针p可以访问到10
	int *p = func();
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	std::cin.get();

}

运行，可以发现：函数func返回将开辟在堆区的那个10的地址，使用指针p去接收这个地址。func函数执行后，对应栈上的数据就清空了，但是堆区的数据没有情况。所以我们仍然可以通过指针p去访问堆区中的那个10。

六、new运算符

new运算符的用法

1、使用new开辟一个变量：new + 数据类型 + (数据值)
释放：delete + 变量名
示例：int *p = new int(a);  delete p;
2、使用new开辟一个数组：new + 数据类型 + [数组元素个数]
释放：delete + [ ] + 数组名
示例：int *arr = new int[10]; delete [ ] arr;

开辟变量示例

#include <iostream>

int* func() {
	//指针a是个局部变量，放在栈上，保存的是开辟在堆区的那个10的地址
	int *a = new int(10);
	//返回指针a，也就是返回堆区的那个10的地址
	return a;
}

int main()
{
	//使用一个指针接收堆区那个10的地址，这个10一直没被释放，所以通过指针p可以访问到10
	int *p = func();
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	std::cout << *p << std::endl;
	delete p;
	//释放后无法再访问
	std::cout << "释放后：" << *p << std::endl;
	std::cin.get();
}

运行，可以看到释放这个堆区的数据后，就访问不到了

开辟数组示例

#include <iostream>

int main()
{
	int* arr = new int[10];
	for (int i = 0; i < 10; i++) {
		arr[i] = i + 100;
	}
	for (int i = 0; i < 10; i++)
	{
		std::cout << arr[i] << std::endl;
	}
	//释放数组 delete 后加 []
	delete[] arr;

	system("pause");

	return 0;
}

运行，可以看出打印出数组中的数据