1、程序内存分区

1. 内存分区模型

C++程序在执行时，将内存分为4个分区

1. 代码区：存放函数的二进制代码，又操作系统进行管理
2. 全局区：存放全区变量、静态变量和常量
3. 栈区 ：存放函数的参数值，局部变量等，由编译器自动分配和释放内存
4. 堆区 ：由程序开发者分配和释放，若开发者未释放，则在程序结束时由操作系统回收释放

内存分区意义：

• 不同区域存放数据，赋予不同的生命周期和作用域，有助于灵活编程

1.1 程序运行前

在程序编译后，生成exe可执行的程序，未执行程序前分为代码区和全局区两个区域：

代码区：

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

全局区：

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

示例：

// 全局变量
int gVarA = 1000;
// 静态全局变量
static int gsVarA = 1001;
// 全局常量
const int gcVarA = 1002;
int main()
{
    cout << "address of gVarA: " << (int)&gVarA << endl;
    cout << "address of gsVarA: " << (int)&gsVarA << endl;
    cout << endl;
    cout << "address of gcVarA: " << (int)&gcVarA << endl;
    
    //字符串常量
    cout << "address of String constant: " << (int)&"hello world" << endl;
    
    cout << endl;
    
    // 局部变量
    int lVarA = 1002;
    cout << "address of a: " << (int)&a << endl;
    //局部常量
    const int lcVarA = 1008;
    cout << "address of clVarA: " << (int)&lcVarA << endl;
    
    cout << endl;
    
    // 静态局部变量
    static int sVarA = 1003;
    cout << "address of sVarA: " << (int)&sVarA << endl;
}

运行结果：

Note：

• 全局变量（gVarA）、静态全局常量(gsVarA)、静态局部变量位于全局区，全局常量（gcVarA）、字符串常量位于常量区，同属于全局区，所以这几者的地址相近
• 局部变量（lVarA），局部常量（lcVarA）位于栈区，所以地址相近

1.2 程序运行后

栈区

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

示例1：

int * func()
{
    int a = 1024;
    return &a;
}
int main()
{
    int *p = func();
    
    cout << *p << endl;
    cout << *p << endl;
    
    return 0;
}

运行结果：

Note：

• 第一次成功输出是由于函数func()执行完后编译器对处于栈区的变量a做了保留，及此时a的值还是初始值
• 第二次未成功输出是由于此时变量a对应的内存空间已经被释放

堆区：

• 由开发者分配释放，若程序员不释放，程序结束时由操作系统释放回收
• 在C++中通过运算符new在堆区开辟内存，通过运算符delete释放内存
• 利用new创建的数据，会返回该数据对应类型的指针

示例：

void creat_Var()
{
    int* var = new int(1024);
    cout << *var << endl;
    delete var;
}
void creat_Arr()
{
    int i = 0;
    int* arr = new int[10];
    for (i = 0; i < 10; i++)
    {
	arr[i] = i + 10;
	cout << arr[i] << endl;
    }
    delete[] arr;
}
int main()
{
    creat_Var();
    creat_Arr();
    return 0;
}

Note：

• 上诉代码描述了new与delete对于变量和数组最基本的用法

若在delete释放内存后，继续访问内存空间，在VS2019中会出现如下提示：