C++程序中最常用的资源是动态分配内存(如果你分配内存却从来不曾归还它,会导致内存泄漏)。其它常见的资源还包括文件描述器(file descriptors)、互斥锁(mutex locks)、图形界面中的字形和笔刷、数据库连接、以及网络sockets。无论哪种资源,当不再使用时,必须将它还给系统。
条款13:以对象管理资源
- 获得资源胡立刻放进管理对象(managing object)内。
- 管理对象(managing object)运用析构函数确保资源被释放。
实际上“以对象管理资源”的观念常被称为“资源取得时机便是初始化时机”(Resource Acquisition Is Initialization; RAII),因为我们几乎总是在获得一笔资源后于同一语句内以它初始化某个管理对象。
auto_ptr的替代方案是“引用计数型智慧指针”(reference-counting smart pointer; RCSP)。所谓RCSP也是个智能指针,持续追踪共有多少对象指向某笔资源,并在无人指向它时自动删除该资源。RCSPs提供的行为类似垃圾回收(garbage collection),不同的是RCSPs无法打破环状引用(cycles of references)。
请记住:
- 为防止资源泄漏,请使用RAII对象,它们在构造函数中获得资源并在析构函数中释放资源。
- 两个常被使用的RAII classes分别是tr1::shared_ptr和auto_ptr。前者通常是较佳选择,因为其copy行为比较直观。若选择auto_ptr,复制动作会使用它指向null。
条款14:在资源管理类中小心copying行为
面对“当一个RAII对象被复制,会发生什么事?”大多数时候会选择以下两种可能:
- 禁止复制。
- 对底层资源祭出“引用计数法”(refenrence-count)。
- 复制底部资源。 有时候,只要你喜欢,可以针对一份资源拥有其任意数量的复件。而你需要“资源管理类”的唯一理由是,当你不再需要某个复件时确保它被释放。在此情况下复制资源管理对象,应该同时也复制其所包覆的资源。也就是说,复制资源管理对象时,进行的是“深度拷贝”。
- 转移底部资源的拥有权。某些罕见场合下你可能希望确保永远只有一个RAII对象指向一个未加工资源(raw resource),即使RAII对象被复制依然如此。此时资源的拥有权会从被复制物转移到目标物。
请记住:
- 复制RAII对象必须一并复制它所管理的资源,所以资源的copying行为决定RAII对象的copying行为。
- 普遍而常见的RAII class copying行为是:抑制copying、施行引用计数法。
条款15:在资源管理类中提供对原始资源的访问
请记住:
- APIs往往要求访问原始资源(raw resources),所以每一个RAII class应该提供一个“取得其所管理之资源”的办法。
- 对原始资源的访问可能经由显式转换或隐式转换。一般而言显式转换比较安全,但隐式转换对客户比较方便。
条款16:成对使用new和delete时要采取相同形式
当你使用new(也就是通过new动态生成一个对象),有两件事发生。第一,内存被分配出来(通过名为operator new的函数),第二,针对此内存会有一个(或更多)构造函数被调用。
当你使用delete,也有两件事发生:针对此内存会有一个(或更多)析构函数被调用,然后内存才被释放(通过名为operator delete的函数)。
请记住:
- 如果你调用new时使用[],你必须在对应调用delete时也使用[]。
- 如果你调用new时没有使用[],那么也不该在对应调用delete时使用[]。
条款17:以独立语句将newed对象置入智能指针
请记住:
- 以独立语句将newed对象存储于(置入)智能指针内。如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄漏。