C++ - 内存管理与动态内存管理

参考：

1. CSDN - C++内存管理
2. CSDN - C++ 硬核知识点: 数据段/代码段/内存分配/虚函数/继承/多态
3. 《Essential C++》

一、作用域及范围：

为对象分配的内存，其存活时间称为存储期（storage）或范围（extent)。
若每次程序段（函数）执行，都会为该对象分配内存，当程序段运行结束后该对象内存便会释放，则称此对象具有局部性范围（local extent）。
若该对象的内存在main()开始之前便已经分配好，可以一直存在至程序结束。则称该对象定义在file scope，且该对象具有静态范围（static extent）。
内置类型的对象，若定义在file scope之内，必定被初始化为0。如若定义在local scope之内，则除非被制定初值，否则不会被初始化。

二、C/C++内存分布：

1. 内核空间：内核空间是操作系统内核访问的区域，独立于普通的应用程序，是受保护的内存空间。
2. 栈（堆栈）：非静态局部变量/函数形参/返回值/表达式中间结果/某些寄存器信息等。栈内存是向下增长的。（非操作系统管理）
3. 内存映射段：高效的I/O映射方式,用于装载一个共享的动态内存库,用户可以使用系统接口创建共享内存,进行进程间通信。
4. 堆：用于程序运行时动态内存分配(malloc/free、new/delete),堆是向上增长的。
5. 数据段: 存储全局数据和静态数据。
6. 代码段: 可执行的代码/只读常量。

注：
1.堆大小受限于操作系统,而栈空间一般由系统直接分配。

2.频繁的申请空间和释放空间,容易造成内存碎片,甚至内存泄漏,栈区由于是自动管理,不存在此问题。（我们在堆上动态申请的空间是连续的,而由系统直接分配的栈中的空间是分布式的,不是连续的。）

三、动态内存管理（new/delete）：

这种内存由程序员自行管理，其分配系通过new表达式来完成，其释放则通过delete表达式完成。
默认情形下，有heap（堆）分配来的对象，均未经过初始化。

#include <iostream>
using namespace std;

int main()
{
    // new Type( initial_value )

    int *pi = new int(1024);
    delete pi;

    //定义数组情况如下
    int *pia = new int[24];
    delete[] pia;

    return 0;
}

四、局部静态变量

局部静态变量与局部非静态变量不同的是，局部静态对象所处的内存空间，即使在不同的函数调用过程中，依然持续存在。

static vector<int> elems;

完整样例：

#include <iostream>
#include <vector>
using namespace std;

const vector<int> *fibon_seq(int size)
{
    const int max_size = 1024;
    static vector<int> elems;
    cout << "initial_size(elems) = " << elems.size() << " , ";
    if (size <= 0 || size > max_size)
    {
        cerr << "fibon_seq(): oops: invalid size: "
             << size << " -- can't fulfill request.\n";
        return 0;
    }
    for (int ix = elems.size(); ix < size; ++ix)
    {
        if (ix == 0 || ix == 1)
        {
            elems.push_back(1);
        }
        else
        {
            elems.push_back(elems[ix - 1] + elems[ix - 2]);
        }
    }
    cout << "elems[" << size << "]"
         << " = " << elems[size - 1] << endl;
    return &elems;
}

int main()
{
    const vector<int> *_elems = 0;
    _elems = fibon_seq(-1);
    _elems = fibon_seq(3);
    _elems = fibon_seq(6);
    return 0;
}

输出结果：

initial_size(elems) = 0 , fibon_seq(): oops: invalid size: -1 -- can't fulfill request.
initial_size(elems) = 0 , elems[3] = 2
initial_size(elems) = 3 , elems[6] = 8