练习 ~黑马程序员匠心之作-第三阶段C++核心编程-P84~P88-程序的内存模型

黑马程序员匠心之作|C++教程从0到1入门编程

1、内存分区模型

在C++程序执行时，将内存大方向划分为4个区域：
代码区：存放函数的二进制代码，由操作系统进行管理
全局区：存放全局变量和静态变量以及常量
栈区：由编译器自动分配释放，存放函数的参数值，局部变量等
堆区：由程序员分配和释放，若程序员不释放，程序结束时由操作系统回收

内存四区的意义：不同区域存放的数据，赋予不同的生命周期，给我们更大的灵活编程。

2、 程序运行前

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

2.1 代码区

1、存放CPU执行的机器指令（二进制）
2、代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可
3、代码区是只读的，只读的原因是防止程序意外的修改了它的指令

2.2 全局区

1、全局变量和静态变量存放在此
2、全局区还包括了常量区，字符串常量和其他常量也存放在此（不包括局部常量（const修饰的局部变量））
3、该区域的数据在程序结束后由操作系统释放

图示：

代码：

#include<iostream>
using namespace std;

//创建全局变量，函数体外
int g_a = 10;
int g_b = 20;
//const修饰的全局变量（全局常量）
const int c_g_a = 10;
const int c_g_b = 20;

int main()
{
	//全局区

	//全局变量、静态变量、常量

	//创建普通的局部变量，函数体内
	int a = 10;
	int 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;

	//静态变量,在普通变量前加static
	static int s_a = 10;
	static int s_b = 20;
	cout << "静态变量s_a的地址为：" << (int)&s_a << endl;
	cout << "静态变量s_b的地址为：" << (int)&s_b << endl;

	//常量
	//字符串常量
	cout << "字符串常量的地址为：" << (int)"hello world" << endl;
	//const修饰的变量
	//const修饰的全局变量（全局常量）
	cout << "const修饰的全局变量（全局常量）c_g_a的地址为：" << (int)&c_g_a << endl;
	cout << "const修饰的全局变量（全局常量）c_g_b的地址为：" << (int)&c_g_b << endl;
	//const修饰的局部变量
	const int c_l_a = 10;//c-const g-global l-local
	const int c_l_b = 20;
	cout << "const修饰的局部变量（局部常量）c_l_a的地址为：" << (int)&c_l_a << endl;
	cout << "const修饰的局部变量（局部常量）c_l_b的地址为：" << (int)&c_l_b << endl;

	system("pause");
	return 0;
}

结果：

总结：

• C++中程序运行前分为全局区和代码区
• 代码区特点是共享和只读
• 全局区存放全局变量，静态变量和常量（不包括局部常量）
• 常量区中存放const修饰的全局变量（全局常量）和字符串常量

3、程序运行后

3.1 栈区

由编译器自动分配释放，存放函数的参数值，局部变量等
注意事项：不要返回局部变量的地址，栈区开辟的数据由编译器自动释放

#include<iostream>
using namespace std;

//栈区数据注意事项--不要返回局部变量的地址
//栈区的数据由编译器管理开辟和释放
int* func(int b)//形参数据也存放在栈区
{
	int a = 10;//局部变量,存放在栈区，栈区数据在函数执行完后自动释放
	return &a;//返回局部变量的地址
}

int main()
{
	//接受func函数的返回值
	int *p = func(1);
	cout << *p << endl;//第一次可以打印正确数字，是因为编译器做了保留
	cout << *p << endl;//第二次这个数据就不再保留了

	system("pause");
	return 0;
}

注意：第一次可以打印正确数字，是因为编译器做了保留。第二次这个数据就不再保留了

4、new操作符

4.1 堆区

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

#include<iostream>
using namespace std;

int * func()
{
	//利用new关键字  可以将数据开辟到堆区
	//指针 本质上是局部变量，放在栈上，指针保存的数据放在了堆区
	int *p = new int(10);
	return p;
}

int main()
{
	//在堆区开辟数据
	int *p = func();
	cout <<"指针地址 &p="<< &p << endl;
	cout <<"指针地址 &p="<< &p << endl;
	cout << "数据地址 p=" << p << endl;
	cout << "数据地址 p=" << p << endl;
	cout << "数据 *p=" << *p << endl;
	cout << "数据 *p=" << *p << endl;
	system("pause");
	return 0;
}

问题：既然指针 本质上是局部变量，放在栈上，那为什么我输出的&p两次仍旧相同呢
解答：栈区里面的例子说的是不要返回局部变量的地址，是因为栈区数据在函数执行完后自动释放。
本例中返回的是存在堆区的数据地址，堆区中数据若程序员不释放，程序结束时由操作系统回收，所以即使func函数执行完也不会释放，是不变的。我想输出的指针地址是main函数中创建的局部变量，在没有执行完函数时是不会释放的，所以不变。
PS：问题不大，就是我沉浸在上个例子中，净考虑局部变量忘记函数执行问题，钻牛角尖了。

4.2 new运算符

1、C++中利用new操作符在堆区开辟数据
2、堆区开辟的数据，由程序员手动开辟，手动释放，释放利用操作符delete
3、语法：new 数据类型
4、利用new创建的数据，会返回该数据对应的类型的指针

#include<iostream>
using namespace std;

//1、new的基本语法
int * func()
{
	//在堆区创建一个整形数据
	//new返回的是 该数据类型的指针
	int *p = new int (10);
	return p;
}
void test01()
{
	int *p = func();
	cout << *p << endl;
	cout << *p << endl;
	cout << *p << endl;
    //堆区的数据 由程序员管理开辟，程序员管理释放
	//如果想释放堆区的数据，利用关键字 delect
	delete p;
	//cout << *p << endl;//内存已经被释放，再次访问就是非法操作，会报错
}
//2、在堆区利用new开辟一个数组
void test02()
{
	//创建10个整型数据的数组，在堆区
	int * arry = new int[10];//10代表数组有10个元素
	for (int i = 0;i < 10;i++)
	{
		arry[i] = i + 100;//给10个元素赋值 100~109
	}
	for (int i = 0;i < 10;i++)
	{
		cout << arry[i] << endl; //给10个元素赋值 100~109
	}
	//释放堆区数组
	//释放数组的时候 加[]才可以
	delete [] arry;
}

int main()
{
	test01();
	test02();
	system("pause");
	return 0;
}

注意：
1、new返回的是 该数据类型的指针int *p=new int(10);，删除时用delete p;
2、对于数组：int *arry=new int[10];这里的10用[]表示10个数据，对数组中数据操作时可以直接用arry[i]。删除时用delete [] arry;
3、删除后再操作：内存已经被释放，再次访问就是非法操作，会报错