Effective C++之条款13、14

条款13：以对象管理资源

    由工厂函数返回的指向对象的指针，我们必须在不使用它时，释放资源。但是很多时候依赖手动释放并不是一件好事，因为程序可能在手动释放之前就return或抛出异常，为确保资源总是被正确释放，我们需要将资源放进对象内，当对象离开作用域，该对象的析构函数会自动释放那些资源。

    许多资源被动态分配于heap内而后被用于单一区块或函数内。它们应该在控制流离开那个区块或函数时被释放。标准程序库提供的auto_ptr正是针对这种形势而设计的特制产品，其析构函数自动对其所指对象调用delete。下面是auto_ptr以避免f函数潜在的资源泄露可能性：

void f() {
	auto_ptr<Investment> pInv(createInvestment)());
	...                                    //调用工厂函数
										   //经由auto_ptr的析构函数自动删除
}

    这个例子示范“以对象管理资源”的两个关键想法：

• 获得找资源后立刻放进管理对象（managing object）内。以上代码中createInvestment返回的资源被当作其管理者auto_ptr的初值。
• 管理对象运用析构函数确保资源被释放。一旦对象被销毁，其析构函数自然会被自动调用，于是资源被释放。

    由于auto_ptr被销毁时会自动删除它所指之物，所以一定要注意别让多个auto_ptr同时指向同一个对象。若通过copying函数复制它们。它们会变成null，而复制所得的指针将取得资源的唯一拥有权！

请记住

• 为防止资源泄露，请使用RAII对象，它们在构造函数中获得资源并在析构函数中释放资源。
• 两个常被使用的RAII classes分别是shared_ptr和auto_ptr。前者通常是较佳的选择，因为其copy行为比较直观。若选择autor_ptr，复制动作会使它指向null。

条款14：在资源管理类中小心copying行为

    tuto_ptr和shared_ptr可以管理heap-based资源，对于不是heap-based的资源，我们需要建立自己的资源管理类。

    例如假设我们使用C API函数处理类型为Mutex的互斥对象，共有lock和unlock两函数可用：

void lock(Mutex* pm);
void unlock(Mutex* pm);

    为确保绝不会忘记将一个被锁住的Mutex解锁，你可能会希望建立一个class用来管理。这样的class的基本结构由RAII守则支配：

class Lock {
public:
	explicit Lock(Mutex* pm): mutexPtr(pm) {
		lock(mutexPtr);      //获得资源
	}
	~Lock() {unlock(mutexPtr);} //释放资源
};

    客户对Lock的用法符合RAII方式：

Mutex m;              //定义你需要的互斥器
...
{                //建立一个区块来定义critical section.
Lock m1(&m);     //锁定互斥器
...              //执行critical section内的操作
}                //在区块最末尾，自动解除互斥器锁定

    当Lock对象被复制，会怎么样？

Lock ml1(&m);      //锁定m
Lock ml2(ml1);     //将ml1复制到ml2身上

这是RAII class一定需要面对的：“当一个RAII对象被复制，会发生什么？”大多数时候选择以下两种可能：

• 禁止复制。许多时候允许RAII对象赋值并不合理。
• 对底层资源祭出“引用计数法”。有时候我们希望保存资源，直到它的最后一个使用者被销毁。

    通常只要内含一个shared_ptr成员变量，RAII class便可以实现引用计数copying行为。shared_ptr的缺省行为是“当引用次数为0时删除其所指物”，此处我们想要做的释放动作是解除锁定而非删除。因此需要指定其删除器（一个函数或函数对象），当引用次数为0时便调用此机能。

class Lock {
public:
	explicit Lock(Mutex* pm): mutexPtr(pm, unlock)        //以某个Mutex初始化shared_ptr
														 //并以unlock函数为删除器
	{
		lock(mutexPtr.get());   //见条款15
	}
private:
		shared_ptr<Mutex> mutexPtr                     //使用shared_ptr替换raw pointer
};

    注意到，本例不再声明析构函数，因为当引用次数变为0时自动调用shared_ptr的删除器。