继续上一篇...
(二).构造/析构/赋值运算
____________________________________________________________________________________________________________________________________
条款11:在operator= 中处理 “自我赋值"
#1.确保当对象自我赋值时 operator=有良好行为。其中包括”自我赋值安全性”和“异常安全性”,自我赋值安全性可通过“src对象”和"dest对象“的地址比较”证同测试“
来实现,而”异常安全性“可通过精心安排的语句来实现目的,如:
Widget& Widget::operator=(const Widget& rhs)
{
Bitmap* pOrig= pb;
pb = new Bitmap(*rhs.pb);
delete pOrig;
return *this;
}
由于”自我赋值“的证同测试会使原始码和目标码增大,并引入判定控制流,故若
当”自我赋值”发生概率很低时,引入证同测试反而会降低operator=的效率,此时
不应引入证同测试。
另外,copy-and-swap技术也是处理“自我赋值”的一个解决方案。
#2.确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象时,其
行为仍然正确。____________________________________________________________________________________________________________________________________
#1.当编写一个copying函数时(copy构造函数或copy assignment),请确保:
(1).复制所有local成员变量。(2).调用所有base classes 内的适当的copying函数。
调用copy构造函数,应该将共同机能放进第三个函数中,供这两个copying函数调用,
通常这个函数取名init.
____________________________________________________________________________________________________________________________________
(三).资源管理
____________________________________________________________________________________________________________________________________
#1.为防止资源泄漏,请使用RAII对象(Resource acquisition is initialization),
它们在构造函数中获得资源,并在析构函数中释放资源。
理由:考虑如下函数
void f()
{
while(somecase)
{
Investment* pInv = createInvestment();
//createInvestment()是工厂函数,pInv是基类指针,指向派生类对象
...
delete pInv;
}
}
若在...中有return语句,类似的,在...中有continue或goto语句,将会导致程序
过早的退出,而不会幸临"delete pInv",这将导致内存泄露,RAII对象正是为解决
此问题而存在的。
(谨慎的编码可以避免这种情况,但是在程序维护时,因为不知资源管理策略,编码
人员很有可能会在...中误加入return,continue或goto,从而导致这种情况。)
(极有可能在分离期间抛出异常)
较佳选择,因为其 copy 行为比较直观,并且是RCSP(reference-counting smart pointer)。
若选择auto_ptr,复制动作会使被复制的RAII的管理资源指向 null。
两个使用实例:
//Investment* createInvestment();
std::tr1::shared_ptr<Investment> pInv(createInvestment());
std::auto_ptr<Investment> pInv(createInvestment());
#4.tr1::shared_ptr和auto_ptr两者都在析构函数中做delete而不是delete[],这意味
着不要将动态分配而得的array用于它们身上,如果非要这么做,可以考虑boost库的
boost::scoped_array和boost::shared_array classes.
____________________________________________________________________________________________________________________________________
#1.因为RAII对象所管理的资源作为RAII对象的成员变量,所以在复制RAII对象时,资源的
copying行为决定了RAII对象的copying行为。
深度拷贝底层资源,转移底部资源的拥有权等。
禁止copying:
class Lock:private Uncopyable{
public:
...
}
施行引用计数法:
void lock(Mutex* pm);
void unlock(Mutex* pm);
class Lock{
public:
explicit Lock(Mutex* pm): //以Mutex初始化shared_ptr,
mutexPtr(pm, unlock) //并以unlock作为删除器
{
lock(mutexPtr.get());
}
private:
std::tr1::shared_ptr<Mutex> mutexPtr;
}
当class Lock发生copying行为时,将会复制mutexPtr,增加引用计数,而调用编译器
自动生成的析构函数时,将会调用mutexPtr的析构函数减少引用计数,当引用计数为0
时,便会调用删除器unlock()对Mutex解锁。
复制底部资源:
类似于标准字符串std::string的拷贝,会拷贝字符串内含的一个指针,和其指向
heap的内存。
转移底部资源的拥有权:
class Lock{
public:
explicit Lock(Mutex* pm): //以Mutex初始化auto_ptr
mutexPtr(pm)
{
lock(mutexPtr.get());
}
private:
std::auto_ptr<Mutex> mutexPtr;
}
____________________________________________________________________________________________________________________________________
#1.APIs 往往要求访问原始资源(raw resources),所以每一个RAII class 应该提供
一个“取得其所管理的资源”的方法。
但隐式转换对客户比较方便。
class Font{
public:
explicit Font(FontHandle fh):f(fh){}
...
FontHandle get() const { return f;} //显示转换
operator FontHandle() const {return f;} //隐式转换
private:
FontHandle f;
}
____________________________________________________________________________________________________________________________________
#1.如果你在new 中使用[],必须在相应的delete表达式中也使用[]。如果你在new
表达式中不使用[],一定不要在相应的delete表达式中使用[]。
(或多个)构造函数被调用(指自定义数据类型)。当你使用delete,针对此内存
会有一个(或多个)析构函数被调用(指自定义数据类型),然后内存才被释放
(通过operator delete)。
在delete[]时能够明确对象数组的大小,对于某些编译器,它会将对象数组的第一
个内存单元记为该“数组大小记录”。
____________________________________________________________________________________________________________________________________
#1.以独立语句将newed 对象存储于(置入)智能指针内。如果不这样做,一旦异常
被抛出,有可能导致难以察觉的资源泄漏。
例如:
processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority());
对于C++编译器,new Widget发生于tr1::shared_ptr构造函数之前,
但priority()函数执行顺位却未知,考虑其发生于第二顺位,如:
1."new Widget"执行
2.priority()调用
3.tr1::shared_ptr构造函数调用
则priority()调用期间抛出异常则会将new Widget返回的指针遗失,而未被置入
tr1::shared_ptr之中,而后者则恰恰是为了资源内存管理而存在的,
应该讲程序代码分离为:
std::tr1::shared_ptr<Widget> pw(new Widget);
processWidget(pw, priority());
这样就可以保证编译器选择的执行顺序在new Widget和tr1::shared_ptr构造函数
之间是紧密链接的,从而解决了资源泄漏问题。
____________________________________________________________________________________________________________________________________