《C++Primer》第五章-表达式-学习笔记(1)-delete&new&动态内存分配

《C++Primer》第五章-表达式-学习笔记(1)-delete&new&动态内存分配

日志：
1，2020-03-17 笔者提交文章的初版V1.0

作者按：
最近在学习C++ primer，初步打算把所学的记录下来。

传送门/推广
《C++Primer》第二章-变量和基本类型-学习笔记(1)
《C++Primer》第三章-标准库类型-学习笔记(1)
《C++Primer》第八章-标准 IO 库-学习笔记(1)
《C++Primer》第十二章-类-学习笔记(1)

new 和 delete 表达式

第 4.3.1 节介绍了如何使用 new 和 delete 表达式动态创建和释放数组，这两种表达式也可用于动态创建和释放单个对象。
定义变量时，必须指定其数据类型和名字。而动态创建对象时，只需指定其数据类型，而不必为该对象命名。 取而代之的是，new 表达式返回指向新创建对象的指针，我们通过该指针来访问此对象：

int i; // named, uninitialized int variable
int *pi = new int; // pi points to dynamically allocated,
// unnamed, uninitialized int

这个 new 表达式在自由存储区中分配创建了一个整型对象，并返回此对象的地 址，并用该地址初始化指针 pi。

动态创建对象的初始化

动态创建的对象可用初始化变量的方式实现初始化：

int i(1024); // value of i is 1024
int *pi = new int(1024); // object to which pi points is 1024
string s(10, '9'); // value of s is "9999999999"
string *ps = new string(10, '9'); // *ps is "9999999999"

C++ 使用直接初始化（direct-initialization）语法规则（第 2.3.3 节）初始化动态创建的对象。如果提供了初值，new 表达式分配到所需要的内存后，用给定的初值初始化该内存空间。在本例中，pi 所指向的新创建对象将被初始化为 1024，而 ps 所指向的对象则初始化为十个9 的字符串。

动态创建对象的默认初始化

如果不提供显式初始化，动态创建的对象与在函数内定义的变量初始化方式相同（第 2.3.4 节）。对于类类型的对象，用该类的默认构造函数初始化；而内置类型的对象则无初始化。

string *ps = new string; // initialized to empty string 类类型的对象，用该类的默认构造函数初始化  
int *pi = new int; // pi points to an uninitialized int 内置类型的对象则无初始化

通常，除了对其赋值之外，对未初始化的对象所关联的值的任何使用都是没有定义的。
正如我们（几乎）总是要初始化定义为变量的对象一样，在动态创建对象时，（几乎）总是对它做初始化也是一个好办法。
同样也可对动态创建的对象做值初始化（value-initialize）（第 3.3.1节）：

string *ps = new string(); // initialized to empty string
int *pi = new int(); // pi points to an int value-initialized to 0
cls *pc = new cls(); // pc points to a value-initialized object of type cls

以上表明程序员想通过在类型名后面使用一对内容为空的圆括号对动态创建的对象做值初始化。内容为空的圆括号表示虽然要做初始化，但实际上并未提供特定的初值。

• 对于提供了默认构造函数的类类型（例如 string），没有必要对其对象进行值初始化：无论程序是明确地不初始化还是要求进行值初始化，都会自动调用其默认构造函数初始化该对象。
• 对于内置类型或没有定义默认构造函数的类型，采用不同初始化方式则有显著的差别：

int *pi = new int; // pi points to an uninitialized int
int *pi = new int(); // pi points to an int value-initialized to 0
//第一个语句的 int 型变量没有初始化，而第二个语句的 int 型变量则被初始化为0。

值初始化的 () 语法必须置于类型名后面，而不是变量后。 正如我们将要学习的第 7.4 节的例子：

int x(); // does not value initialize x

这个语句声明了一个名为 x、没有参数而且返回 int 值的函数。

耗尽内存

尽管现代机器的内存容量越来越大，但是 自由存储区总有可能被耗尽。如果程序用完了所有可用的内存，new 表达式就有可能失败。如果 new 表达式无法获取需要的内存空间，系统将抛出名为bad_alloc的异常。我们将在第 6.13 节介绍如何抛出异常。

撤销动态创建的对象

动态创建的对象用完后，程序员必须显式地将该对象占用的内存返回给自由存储区。C++ 提供了 delete 表达式释放指针所指向的地址空间。

delete pi;//该命令释放 pi 指向的 int 型对象所占用的内存空间。

如果指针指向不是用 new 分配的内存地址，则在该指针上使用delete 是不合法的。
C++ 没有明确定义如何释放指向不是用 new 分配的内存地址的指针。 下面提供了一些安全的和不安全的 delete expressions 表达式。

值得注意的是：编译器可能会拒绝编译 str 的 delete 语句。编译器知道str 并不是一个指针，因此会在编译时就能检查出这个错误。第二个错误则比较隐蔽：通常来说，编译器不能断定一个指针指向什么类型的对象，因此尽管这个语句是错误的，但在大部分编译器上仍能通过。

零值指针的删除

如果指针的值为 0，则在其上做 delete 操作是合法的，但这样做没有任何意义：

int *ip = 0;
delete ip; // ok: always ok to delete a pointer that is equal to 0

C++ 保证：删除 0 值的指针是安全的。（特殊情况）

在delete 之后，重设指针的值

delete p;

执行上述语句后，p 变成没有定义。在很多机器上，尽管 p 没有定义，但仍然存放了它之前所指向对象的地址，然而 p 所指向的内存已经被释放，因此 p 不再有效。
删除指针后，该指针变成悬垂指针。悬垂指针（dangling pointer）指向曾经存放对象的内存，但该对象已经不再存在了。悬垂指针往往导致程序错误，而且很难检测出来。
一旦删除了指针所指向的对象，立即将指针置为 0，这样就非常清楚地表明指针不再指向任何对象。(一般初始化指针可以给0值（或者宏 NULL,指针赋0，就是不指向任何对象，相当于NULL）

const 对象的动态分配和回收

C++ 允许动态创建 const 对象：

// allocate and initialize a const object
const int *pci = new const int(1024);

与其他常量一样，动态创建的 const 对象必须在创建时初始化，并且一经初始化，其值就不能再修改。上述 new 表达式返回指向 int 型 const 对象的指针。与其他 const 对象的地址一样，由于 new 返回的地址上存放的是 const对象，因此该地址只能赋给指向 const 的指针。

对于类类型的 const 动态对象，如果该类提供了默认的构造函数，则此对象可隐式初始化：

// allocate default initialized const empty string
const string *pcs = new const string; //隐式初始化

new 表达式没有显式初始化 pcs 所指向的对象，而是隐式地将 pcs 所指向的对象初始化为空的 string 对象。内置类型对象或未提供默认构造函数的类类型对象必须显式初始化。

删除const 对象

尽管程序员不能改变 const 对象的值，但可撤销对象本身。如同其他动态对象一样， const 动态对象也是使用删除指针来释放的：

delete pci; // ok: deletes a const object

即使 delete 表达式的操作数是指向 int 型 const 对象的指针，该语句同样有效地回收 pci 所指向的内容。

警告：动态内存的管理容易出错

下面三种常见的程序错误都与动态内存分配相关：

1. 删除（ delete ）指向动态分配内存的指针失败，因而无法将该块内存返还给自由存储区。 删除动态分配内存失败称为“内存泄漏（memory leak）”。内存泄漏很难发现，一般需等应用程序运行了一段时间后，耗尽了所有内存空间时，内存泄漏才会显露出来。
2. 读写已删除的对象。 如果删除指针所指向的对象之后，将指针置为 0 值，则比较容易检测出这类错误。
3. 对同一个内存空间使用两次 delete 表达式。 当两个指针指向同一个动态创建的对象，删除时就会发生错误。如果在其中一个指针上做 delete 运算，将该对象的内存空间返还给自由存储区，然后接着 delete 第二个指针，此时则自由存储区可能会被破坏。

操纵动态分配的内存时，很容易发生上述错误，但这些错误却难以跟踪和修正。

参考资料

【1】C++ Primer 中文版（第四版·特别版）

注解

堆和自由存储区:堆(heap)是操作系统维护的一块内存，是一个物理概念。自由存储区是C++中通过new与delete动态分配和释放的对象的存储区，是一个逻辑概念。
C++ 自由存储区是否等价于堆？