C++面向对象高级开发（侯捷）——堆、栈与内存管理

stack(栈)，heap(堆)

Stack:是存在于某作用域(scope)的一个内存空间(memory space)。例如当你调用函数，函数本身即会形成一个stack用来放置它所接收的参数，返回地址，及局部对象(local object)。
Heap:或称system heap，是指由操作系统提供的一块global内存空间，程序可动态分配(dynamic allocated)从中获得若干区域(blocks)。

stack objects的生命期

class Complex  { ... };
...

{
    Complex c1(1,2);
}

c1便是所谓stack object，其生命在作用域(scope)结束之际结束。
这种作用域内的object，又称为auto object，因为它会被自动清理。

static local objects的生命期

class Complex  { ... }
...

{
    static Complex c2(1,2);
}

c2便是所谓static object，其生命在作用域(scope)结束之后仍然存在，直到整个程序结束。

global objects的生命期

class Complex  { ... };
...
Complex c3(1,2);

int main()
{
    ...
}

c3便是所谓global object，其生命在整个程序结束之后才结束。也可以把它视为一种static object，其作用域是整个程序。

heap objects的生命期

正确写法：

class Comliex  { ... };
...

{
    Complex* p = new Complex;
    ...
    delete p;
}

p所指的便是heap object，其生命在它被delete之际结束。

错误写法：

class Complex  { ... };
...

{
    Complex* p = new Complex;
}

以上出现内存泄漏(memory leak)，因为当作用域结束,p所指的heap object仍然存在，但指针p的生命却结束了，作用域之外再也看不到p。

new和delete

new：先分配memory，再调用ctor

new一个东西的过程为：先分配内存空间（memory），再转型，最后进行构造。

Complex* pc = new Complex(1,2);

编译器转换为：

Complex *pc;
void* mem = operator new( sizeof(Complex) );  //分配内存，其内部调用malloc(n)
pc = static_cast<Complex*>(mem);  //转型
pc->Complex::Complex(1,2);  //构造函数

1、在分配内存时，operator new是c++中一个特殊的带空格的函数，内部调用了malloc(n)函数。这步过后，pc会指向一个具有两个连续“double”类型大小的一段内存空间。
2、static_cast是类型转换函数，这一步在这里可以不必详究。
3、类型名（::后的Complex）和类名（::前的Complex）相同，可见这是个构造函数。pc指针指向这个构造函数，就是把这段内存空间内的值初始化为构造的值。由于成员函数都有一个隐藏的this指针指向调用他的对象，这一行代码应该用如下方式去理解:

pc->Complex::Complex(/*this，*/ 1, 2);//这里的this就是pc，返回pc这根指针

经过以上三步，new的操作就得以完成。

delete：先调用dtor，再释放memory

delete一个东西的过程为：先调用析构函数，后释放内存（memory）。

String* ps = new String("Hello");
...
delete ps;

编译器转化为：

String::~String(ps);  //析构函数，释放指针所指的空间
operator delete(ps);  //释放内存，释放指针；内部调用free(ps)

1、调用析构函数，是为了把指针指向的动态分配的那部分内存先杀掉，至于字符串本身，也就是ps只是一根指针而已。
2、释放内存用了operator delete函数，这也是c++中一个特殊的带空格的函数，内部调用了free(ps)函数。这里把字符串本身，也就是ps这根指针杀掉。

动态分配所得的内存块（VC中）

分配一般对象

new一个Complex并不是简单的获得两个double的8个字节，new一个String并不是简单的获得一个指针的4个字节：

Complex* pc = new Complex(1,2);
String* ps = new String("hello");

如图所示：

• 亮绿色的是真正占有的位置
• 砖红色是cookie是必要的，用于计入整个类型的长度，析构时确定是否回收。
• 00000041就是64的16进制数，给出去了则末尾数值为1。操作系统&最后一位为0，则表示可以回收，可以覆盖使用；为1的话就不能覆盖。
• 灰色的部分是调试（Debug）模式中所必需的，Release模式不需要。
• 由于占有的空间必须是16的倍数，为了让最后4个bit都为0，让16进制最后一位保证为0，绿色的部分是补位，补到离52最近的64，则补了3块；补到离12最近的16，则补上1块。

1、Debug模式下：new一个Complex占64个字节：
2、Release模式下：new一个Complex占16个字节。
3、Debug模式下：new一个String占48字节。
4、Release模式下：new一个Complex占16个字节。
心中自有丘壑！！！

分配数组对象

new[]和delete[]是对应的，一定要互相搭配好。这两个称为array new和array delete。array new一定要搭配array delete。

Complex* pc = new Complex[3];
String* ps = new String[3];

如图所示：

• 灰色的是真正占有的位置
• 白色是cookie是必要的，不仅首尾计入整个类型的长度，还用一个整数记录数组的长度。
• 橙黄色的部分是调试（Debug）模式中所必需的，Release模式不需要。
• 绿色的部分是补位。

如果new[]不搭配delete[]，会发生内存泄漏：

String s1 = new String[3];
delete[] s1;	//正确搭配：唤起三次析构函数
//delete s1		//错误搭配：唤起一次析构函数

正确搭配：唤起三次析构函数，正确告诉了编译器删除掉三个。
错误搭配：唤起一次析构函数，少了两个，内存泄露了后两个位置。

delete[] p和delete p的区别：
会影响析构函数的调用次数，对于包含指针的类，不调用析构函数则指针所指向的内存空间没有得到释放。
错误使用会造成内存泄漏，是指针所指向的空间内存泄漏。