Effective cpp 读书笔记3

资源管理

13.以对象管理资源

1. 为了防止资源泄漏，请使用RAII对象，它们在构造函数中获得资源并在析构函数中释放资源

2. 两个常被使用的RAII class分别是tr1::shared_ptr和auto_ptr。前者通常是较佳选择，因为其copy行为比较直观。若选择auto_ptr，复制动作会使它（被复制物）指向null（因为会取得资源的唯一拥有权）

   • 把资源放进对象，我们可以依赖C++的“析构函数自动调用机制”确保资源被释放
   • auto_ptr：它的copy构造和copy assigment操作符都是转换拥有权的，也就是会导致被复制的那个auto_ptr资源变为null
   • shared_ptr：引用计数的智能指针，但是无法打破环状引用
   • 两种智能指针析构函数做的都是delete不是delete[]
   • 定义类外的函数返回raw的指针，是一个不好的行为

---

14.在资源管理类中小心copying行为

1. 复制RAII对象必须一并复制它所管理的资源，所以资源的copying行为决定RAII对象的copying行为

2. 普遍而常见的RAII class copying行为是：抑制copying、施行引用计数法。不过其他行为也可能被实现

   • 对于非heap-based的资源，auto_ptr和shared_ptr不适合作为资源的掌管者
   • 当一个RAII对象被复制，导致内部资源的不确定性，防止资源被复制的两种方法：禁止复制；使用引用计数法
   • 如果无论如何需要复制资源，注意：复制底部资源（深拷贝）；转移资源拥有权
   • 注意：无论是编译器生成还是用户定义的，class的析构函数一定会自动调用其non-static成员变量的析构函数（指针对应的资源当然不会自动释放）

---

15.在资源管理类中提供对原始资源的访问

1. APIs往往要求访问原始资源，所以每一个RAII class应提供一个“取得其所管理的资源”的方法

2. 对原始资源的访问可能经由显式转换或隐式转换。一般而言显式转换比较安全，但隐式转换对客户比较方便

   • shared_ptr和auto_ptr提供一个get成员函数，用来执行显式转换，也就是会返回智能指针内部的原始指针（的复件）
   • shared_ptr和auto_ptr也重载了指针取值操作符，允许隐式转换至底部原始指针（注意，隐式转换会增加错误发生机会）
   • 是否该提供显式转换函数将RAII class转换为底部资源，或是应该提供隐式转换，主要取决于RAII class被设计执行的特定工作以及被使用的情况

---

16.成对使用new和delete时要采用相同形式

1. 如果你在new表达式中使用[]，必须在相应的delete表达式中使用[]。如果你在new表达式中不适用[]，一定不要在相应的delete表达式中使用[]

2. 构造函数最好使用成员初值列，而不要在构造函数内赋值操作。初值列列出的成语变量，其排列次序应该和它们在class中的声明次序相同

   • new操作：分配内存；针对此内存会有一个（或多个）构造函数被调用；delete操作：针对此内存会有一个（或多个）析构函数被调用，然后内存被释放
   • 如果对new采用delete[]，delete对读取若干内存并将它解释为”数组大小“，然后多次调用析构函数

---

17.以独立语句将newed对象置入智能指针

1. 以独立语句将newed对象存储于（置入）智能指针内。如果不这样做，一旦异常被抛出，有可能导致难以察觉的资源泄漏

   • 对于同一条语句，如果行为上没存在必然的顺序性，则编译器执行的次序不是固定的。有可能导致”资源被创建“和”资源被转换为资源管理对象“两个时间点之间发生异常干扰，导致资源被创建，然后指针遗失，从而产生泄露