C++核心编程——内存分区模型

C++核心编程——内存分区模型

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

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

内存四区意义

• 不同区域存放的数据，赋予不同的生命周期，可以更加灵活的编程

一、程序运行前

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

代码区

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

全局区

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

二、程序运行后

栈区：

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

示例：

#include<iostream>
using namespace std;

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

int main() {

	int* p = func();

	cout << *p << endl;// 10
	cout << *p << endl;// 1854192016

	/*
		在第一次获取指针指向的内容时，编译器会做一次保留，不会清空
		在第二次访问时，编译器则不会再做保留，获取到乱码
	*/

	system("pause");
	return 0;
}

堆区：

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

三、new操作符

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

#include<iostream>
using namespace std;

int* func() {
	return new int(10000);
}

int main() {
	int* p = func();
	cout << *p << endl; // 10000
	delete p;
	// cout << *p << endl; // 释放后的空间不可以访问

	//new数组
	int* p1 = new int[10];
	for (int i = 1; i < 11; i++)
	{
		*p1 = i + 100;
		p1++;
	}

	p1 -= 10;

	for (int i = 0; i < 10; i++)
	{
		cout << *p1 << endl;
		p1++;
	}

	/*
	101
	102
	103
	104
	105
	106
	107
	108
	109
	110
	*/

	//需要将指针复原，否则在释放空间时会报错
	p1 -= 10;

	delete[] p1;

	system("pause");
	return 0;
}

注意：在释放数组时，指针必须在首元素位置，并且需要加[]表示释放的是数组，否则会只释放一个元素