C++程序的内存模型

程序需要进行分区。分区的意义：不同区域放不同的数据，赋予不同的生命周期，给我们更大的灵活编程。

代码区

在程序运行前的区，存放的是CPU执行的机器质量，即存放函数体的二进制代码，由操作系统进行管理。

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

全局区

程序运行前的区域，存放全局变量和静态变量，以及常量。常量区包含字符串常量和其他常量。该区域的数据在程序结束后由操作系统释放。

局部变量都不在全局区内；全局变量、静态变量（static）、字符串常量和const修饰的全局变量（全局常量）都在全局区内。

#include<iostream>
#include"string"
using namespace std;
//全局区
//定义全局变量
int g_a = 10;
const int c_g_a = 10;
int main()
{
	//普通局部变量(只要是函数体内的变量都是局部变量)
	int a = 10;
	int b = 10;
	cout << (int) &a << endl;
	cout << (int) &b << endl;

	cout << (int)&g_a << endl;
	//全局变量在全局区内，局部变量在其他区域

	//静态变量
	static int s_a = 10;
	cout << (int)&s_a << endl; //静态变量和全局变量离的很近，说明存在一个空间内。

	//常量
	//字符创常量
	string s = "abc";
	cout << (int)&s_a << endl; //字符串常变量和静态变量离得很近

	//const修饰的变量
	//const修饰的全局变量
	cout << (int)&c_g_a << endl;
	//const修饰的局部变量
	const int c_l_a = 10;
	cout << (int)&c_l_a << endl; //局部常量和局部变量的存储空间很近
}

栈区

由编译器自动分配和释放，存放函数的参数值、局部变量等。一般不要返回局部变量的地址。

#include<iostream>
#include"string"
using namespace std;
int* func()
{
	int a = 10; //局部变量，存放在栈区，栈区的数据在函数执行完后自动释放
	return &a;
}
int main()
{
	int* p = func();  //利用指针接受返回值
	cout << *p << endl; //第一次可以输出10，这是由于编译器
	//为我们做了一次保留，因此第一次可以打印一个正确的数据
	//第二次就不会再做保留了
	cout << *p << endl; //第二次输出一个错的
	return 0;
}

堆区

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

需要注意的是，利用new创建的数据，会返回一个指针，指针的类型与该数据相同。

#include<iostream>
#include"string"
using namespace std;
int* func()
{
	//new的基本语法：
	（1）
	//利用new关键字可以将数据开辟到堆区，new将返回该数据类型的指针
	int* p = new int(10);  
	//指针本质还是个局部变量，放在栈上。但是指针保存的数据放在堆区
	return p;
    （2）
	//在堆区开辟数组
	int* add = new int[10]; //表示数组有10个元素，将返回数组的首地址
	for(i = 0; i < 10; i++)
	{
		add[i] = i + 100;
	}
}
int main()
{
	int* p = func(); 
	cout << *p << endl;
	//堆区数据不会释放
	cout << *p << endl;
	cout << *p << endl;
	//堆区数据需要手动释放
	delete p;
	//释放数组
	delete[] add;  //需要用中括号[]告知要释放的是一个数组
	return 0;
}