三、资源管理
(13):以对象管理资源
void f()
{
std::auto_ptr<Investment> pInv(createInvestment); //调用factory函数
.... //一如既往的使用pInv
} //经由auto_ptr的析构函数自动删除pInv
上面的例子示范了“以对象管理资源”的两个关键想法:
获得资源后立刻放进管理对象(managing object)内。 管理对象(managing object)运用析构函数确保资源被释放。
auto_ptrs有一个不寻常的性质:若通过copy构造函数和copy assignment操作符复制它们,它们会变成null,而复制所得的指针将取得资源的唯一拥有权。
auto_ptr的性质意味着auto_ptrs并非管理动态内存分配资源的神兵利器。auto_ptr的替代方案是“引用计数型智慧指针(reference-counting smart pointer RCSP)”。所谓RCSP会持续跟踪某资源,在无人指向它时自动删除资源。tr1::shared_ptr是这种指针的代表。
auto_ptr和tr1::shared_ptr两者都在其析构函数内做delete而不是delete[]动作。那意味在动态分配而得的array身上使用auto_ptr或tr1::shared_ptr是个馊主意。vector和string几乎总是可以取代动态分配而得的数组。
手动释放资源容易发生某些错误,auto_ptr或tr1::shared_ptr无法满足预制式的classes,就需要精巧制作自己的资源管理类。
请记住:
为防止资源泄露,请使用RAII(资源取得时机便是初始化时机:Resource Acquisition Is Initialization)对象,它们在构造函数中获得资源并在析构函数中释放资源。
两个常被使用的RAII classes分别是tr1::shared_ptr和auto_ptr。前者通常是较佳选择,因为其copy行为比较直观。若选择auto_ptr,复制动作会使它(被复制物)指向null。
(14):在资源管理类中小心coping行为
void lock(Mutex* pm); //锁定pm所指的互斥器 void unloc(Mutex* pm);//将互斥器解除锁定 为C API出来Mutex的互斥器对象(mutex objects)。为确保绝不忘记将一个被锁住的Mutex解锁,你可能会希望建立一个class来管理机锁。这样的class的基本结构由RAII守则支配,也就是“资源在构造期间获得,在析构期间释放”。
class Lock{
public :
explicit Lock(Mutex* pm)
: mutexPtr(pm)
{
lock(mutexPtr);
}
~Lock() { unlock(mutexPtr); }
private:
Mutex *mutexPtr;
}
客户对Lock的用法符合RAII方式:
Mutex m; //定义你需要的互斥器
...
{ //建立一个区块用来定义critical section
Lock m1(&m); //锁定互斥器
... //指向critical section内的操作
} //在区块最末尾,自动解除互斥器锁定
如果对互斥器复制会发生什么?
Lock m1(&m); //锁定m
Lock m2(m1); //将m1复制到m2身上。这会发生什么事?
当一个RAII对象被复制,大多数会有两种选择:禁止复制 :将coping操作声明为privare;对底层资源祭出“引用计数法(reference-count)”。
通过tr1::shared_ptr,Lock资源管理类,改写成如下形式:
class Lock{
public :
explicit Lock(Mutex* pm)
: mutexPtr(pm)
{
lock(mutexPtr.get());
}
private:
std::tr1::shared_ptr<Mutex> mutexPtr;
}
其它还有可能是复制底部资源和转移底部资源的拥有权。
请记住:
复制RAII对象必须一并复制它所管理的资源,所以资源的copying行为决定RAII对象的copying行为。
普遍而常见的RAII class copying行为是:抑制copying、施行引用计数法(reference-counting)。不过其他行为也都可能被实现。
(15):在资源管理类中提供对原始资源的访问
某些APIs可能访问原始资源,因此资源管理类必须提供方法访问原始资源。auto_ptr或tr1_shared_ptr提供了get()成员函数访问原始资源。
将RAII class对象转换为其所内含之原始资源,有显式转换和隐式转换两种方法。
class Investment { //investment继承体系的根类
public:
bool isTaxFree() const;
...
}
Investment* createInvestment(); //factory函数
std::tr1::shared_ptr<Investment> pi1(createInvestment()); //令tr1::shared_ptr管理一笔资源
bool taxable1 = !(pi1->isTaxFree()); //经由operator->访问资源
...
std::auto_ptr<Investment> pi2(createInvestment()); //令auto_ptr管理一笔资源
boo taxable2 = !((*pi2).isTaxFree()); //经由operator*访问资源
FontHandle getFont(); //这是个C API。为求简化暂略参数。
void releaseFont(FontHandle fh); //来自同一组C API
class Font { //RAII class
public:
explicit Font(FontHandle fh) //获取资源;
: f(fh) //采用pass-by-value
{ } //因为C API这样做
~Font() { releaseFont(f); } //释放资源
private:
FontHandle f; //原始(raw)字体资源
}
class Font {
pulic:
...
FontHandle get() const { return f; } //显式转换函数
}
class Font {
public:
...
operator FontHandle() const //隐式转换函数
{ return f; }
...
}
请记住:
APIs往往要求访问原始资源(raw reaources),所有每一个RAII class应该提供一个“取得其所管理之资源”的办法。
对原始资源的访问可能经由显式转换或隐式转换。一般而言显式转换比较安全,但隐式转换对客户比较方便。
(16):成对使用new和delete时要采取相同形式
请记住:
如果你在new表达式中使用[],必须在相应的delete表达式中也使用[]。如果你在new表达式中不使用[],一定不要在相应的delete表达式中使用[]。
(17):以独立语句将newd对象置入只能指针
对于processWidget(std::tr1::shared_ptr<Widget>(new Widget),priority());这样的表达式,写成td::tr1::shared_ptr<Widget> pw(new Widget); processWiget(pw,priority());好一些。
请记住:
以独立语句将newed对象存储于(置入)智能指针内。如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露。