Effective C++ 小笔记：条款13-17（第三章）

 　　常用的资源有：内存、文件描述器（file descriptor）、互斥锁（mutex locks）、图形界面中的字体和笔刷、数据库连接、以及网络sockets。这些资源一般动态创建和分配，也就是一个指针。不论哪一种资源，重要的是，当你不再使用时，必须将它还给系统。

 

条款13：以对象管理资源

　　把资源放进对象里，我们便可以依赖C++的 析构函数 自动调用机制，确保资源被释放。对象在作用域结束时，其析构函数自动对其所指资源（对象）的指针调用delete。 

　　C++提供了2种用于管理资源的类，“智能指针” std::auto_ptr，和 “引用计数型智能指针”  std::tr1::shared_ptr。它们叫做智能指针，但本质是pointer-like对象，成员变量是表征资源的指针。二者使用方法一样：

 1 class Investment { ... };　　　
 2 Investment* createInvestment(); 
 3 
 4 void f()
 5 {
 6     ...
 7     std::tr1::shared_ptr<Investment> pInv1(createInvestment());       
 8                         // pInv1 points to the object returned from createInvestment
 9     std::tr1::shared_ptr<Investment> pInv2(pInv1);    
10                         // both pInv1 and pInv2 now point to the object
11                                  
12     pInv1 = pInv2;      //OK                    
13     ...
14 }

 

 　　auto_ptr不让多个auto_ptr同时指向同一个对象。如果真的那样，对象会被删除一次以上，而那会导致“未定义行为”。为了预防这个问题，auto_ptr有一个不寻常的性质： 若通过copy构造函数或copy assignment操作符复制它们，它们会变成null，而复制所得的指针将取得资源的唯一拥有权。还记得吗，STL容器要求其存储的元素具有正常的复制行为，因此这些容器容不得auto_ptr。

　　shared_ptr具有正常的复制行为。可存储于STL容器。

　　两者在析构函数内都对资源指针执行delete，而不是delete[]。所以动态分配的数组用它们管理是个馊主意。vector和string几乎总是可以取代动态分配得到的数组。

 　　两者有一个共同的名字，RAII对象。为防止资源泄露，请使用RAII对象。它们在构造函数中获得资源，并在析构函数中释放资源。通常，我们选择shared_ptr，因为其复制行为正常、直观。而auto_ptr复制动作会使他指向NULL。

　　两外，tr1::shared_ptr 允许当智能指针被建立起来时制定一个资源释放函数（所谓删除器，"deleter"）绑定于智能指针身上（auto_ptr 就没有这个能耐）。当引用次数为0时候，删除器 被调用。 

　　tr1::shared_ptr 支持定制型删除器。可以被用于自动解除互斥锁(mutexes, 见条款14)等等。 

 

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

 processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority());   //非独立语句
2 std::tr1::shared_ptr<Widget> pw(new Widget);    　　　　　　　　　　　　　　//独立语句
3 processWidget(pw, priority());

 

 　　1行中，编译器要执行三个操作。其中两个参数的计算次序编译器先做什么是有弹性的。如果如果priority函数在new之后执行，并且函数出现异常，新生成的Widget对象将未置入智能指针，资源产生泄漏。2、3行则解决了这个问题。