C++ 面向对象之内存和引用

内存分区模型

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

• 代码区：存放函数体的二进制代码，由操作系统进行管理的
• 全局区：存放全局变量和静态局部变量以及常量
• 栈区：由编译器自动分配释放，存放函数的参数值、局部变量等
• 堆区：由程序员分配和释放，若程序员不释放，程序结束时由操作系统回收

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

1.1 程序运行前

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

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

全局区：
全局变量和静态变量存放在此
全局还包含了常量区，字符串常量和其他常量也存放在此
该区域的数据在程序结束后由操作系统释放

#include <iostream>
using namespace std;

//全局变量
int g_a = 10;
int g_b = 10;
//const修饰的全局变量，全局常量
const int c_g_a = 10;
const int c_g_b = 10;

int main()
{
	//全局变量
	cout << "全局变量g_a的地址为：" << (int)&g_a << endl;
	cout << "全局变量g_b的地址为：" << (int)&g_b << endl;

	//创建普通局部变量
	int a = 10;
	int b = 10;
	cout << "局部变量a的地址为：" << (int)&a << endl;
	cout << "局部变量b的地址为：" << (int)&b << endl;

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

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

1.2 程序运行后

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

#include <iostream>
using namespace std;

//栈区数据注意事项 -- 不要返回局部变量的地址
//栈区数据由编译器管理开辟和释放

int* func()
{
	int a = 10;	//局部变量存放在栈区，栈区的数据在函数执行完后自动释放
	return &a;	//返回局部变量的地址
}
int main()
{
	int *p = func();
	cout << *p << endl;	//第一次可以打印正确数据是因为编译器做了保留
	cout << *p << endl;	//第二次数据就不再保留
	
	return 0;
}

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

#include <iostream>
using namespace std;

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

int main()
{
	//在堆区开辟数据
	int *p = func();
	cout << *p << endl;
	cout << *p << endl;
}

1.3 new操作符

C++利用new操作符在堆区开辟数据
堆区开辟的数据由程序员手动开辟，手动释放，释放利用操作符delet

语法：new 数据类型
利用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;
	//堆区的数据由程序员管理开辟，程序员管理释放
	//如果想释放堆区的数据，利用关键字delete
	delete p;
	// cout << *p << endl;	//内存已经被释放，再次访问就是非法操作，报错
}

//2. 在堆区利用new开辟数组
void test02()
{
	//在堆区创建10整型数据数组
	int * arr = new int[10];	//10代表数组有10个元素

	for (int i = 0; i < 10; i++)
	{
		arr[i] = i + 100;
	}
	for (int i = 0; i < 10; i++)
	{
		cout << arr[i] << endl;
	}
	//释放堆区数组
	delete[] arr;
}
int main()
{
	test01();
	test02();
}

引用

2.1 引用的基本使用

作用： 给变量起别名
语法： 数据类型 &别名 = 原名

#include <iostream>
using namespace std;

int main()
{
	//引用基本语法
	//数据类型 &别名 = 原名

	int a = 20;
	int &b = a;
	cout << "a = " << a << endl;
	cout << "b = " << b << endl;

	b = 100;
	cout << "a = " << a << endl;
	cout << "b = " << b << endl;
}

2.2 引用注意事项

引用必须初始化
引用在初始化后，不可以改变

#include <iostream>
using namespace std;

int main()
{
	int a = 10;
	//引用必须初始化
	// int &b; //错误，必须初始化
	int &b = a;

	//引用在初始化后，不可以改变
	int c = 20;
	b = c;	//赋值操作，而不是更改引用
	
	cout << "a = " << a << endl;
	cout << "b = " << b << endl;
	cout << "c = " << c << endl;

	return 0;
}

2.3 引用做函数参数

作用： 函数传参时，可以利用引用的技术让形参修饰实参
优点： 可以简化指针修改实参

#include <iostream>
using namespace std;

//交换函数

//1. 值传递
void mySwap01(int a, int b)
{
	int temp = a;
	a = b;
	b = temp;
	cout << "swap01_a = " << a << endl;
	cout << "swap01_b = " << b << endl;
}

//2. 地址传递
void mySwap02(int *a, int *b)
{
	int temp = *a;
	*a = *b;
	*b = temp;
}

//3. 引用传递
void mySwap03(int &a, int &b)
{
	int temp = a;
	a = b;
	b = temp;
}

int main()
{
	int a = 10;
	int b = 20;

	mySwap01(a, b);	//值传递，形参不会修饰实参
	cout << "a01 = " << a << endl;
	cout << "b01 = " << b << endl;

	mySwap02(&a, &b);	//地址传递，形参会修饰实参
	cout << "a02 = " << a << endl;
	cout << "b02 = " << b << endl;

	int c = 30;
	int d = 40;
	mySwap03(c, d);	//引用传递，形参会修饰实参
	cout << "c = " << c << endl;
	cout << "d = " << d << endl;

	return 0;
}

2.4 引用做函数返回值

作用：引用可以作为函数的返回值存在
注意：不要返回局部变量的引用
用法：函数调用作为左值

#include <iostream>
using namespace std;

//引用做函数的返回值
//1. 不要返回局部变量的引用
int& test01()
{
	int a = 10;	//局部变量，存放在四区中的栈区
	return a;
}

//2. 函数的调用可以作为左值
int& test02()
{
	static int a = 20;	//静态变量，存放在全局区，全局区的数据在程序结束后系统释放
	return a;
}

int main()
{
	int &ref1 = test01();
	cout << "ref1 = " << ref1 << endl;	//第一次结果正确，因为编译器做了保留
	cout << "ref1 = " << ref1 << endl;	//第二次结果错误，因为a的内存已经释放

	int &ref2 = test02();
	cout << "ref2 = " << ref2 << endl;	//第一次结果正确，因为编译器做了保留
	cout << "ref2 = " << ref2 << endl;	//第二次结果错误，因为a的内存已经释放

	test02() = 1000;	//如果函数的返回值是引用，这个函数调用可以作为左值
	cout << "ref2 = " << ref2 << endl;	//第一次结果正确，因为编译器做了保留
	cout << "ref2 = " << ref2 << endl;	//第二次结果错误，因为a的内存已经释放 

	return 0;
}

2.5 引用的本质

本质：引用的本质在C++内部实现是一个指针常量
（指针常量：该指针是常量，是一个指向不可更改，值可改的指针；记忆方法：指针是常量）
（常量指针：指向常量的指针，是一个指向可改，值不可改的指针；记忆方法：常量的指针）

#include <iostream>
using namespace std;

void func(int& ref)
{
	ref = 100;	// ref是引用，转换为*ref = 100
}

int main()
{
	int a = 10;

	//自动转换为 int* const ref = &a; 指针常量是指针指向不可改，也说明为什么引用不可更改
	int& ref = a;
	ref = 20;	//内部发现ref是引用，自动帮我们转换为：*ref = 20
	
	return 0;
 }

2.6 常量引用

作用：常量引用主要用来修饰形参，防止误操作
在函数形参列表中，可以加const修饰形参，防止形参改变实参

#include <iostream>
using namespace std;

void showValue(const int &val)
{
	// val = 1000;
	cout << "val = " << val << endl;
}

int main()
{
	//常量引用
	//使用场景：用来修饰形参，防止误操作

	//加上const之后，编译器将代码修改 int temp = 10; const int & ref = temp;
	const int & ref = 10;	//引用必须引一块合法的内存空间
	//ref = 20;	//加入const之后变为只读，不可修改

	int a = 100;
	showValue(a);
	
	return 0;
}