Effective C++读书笔记(条款11-17)

继续上一篇...

（二）.构造/析构/赋值运算

____________________________________________________________________________________________________________________________________

条款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.确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其

行为仍然正确。

____________________________________________________________________________________________________________________________________

条款12：复制对象时勿忘其每一个成分
#1.当编写一个copying函数时（copy构造函数或copy assignment),请确保：

(1).复制所有local成员变量。(2).调用所有base classes 内的适当的copying函数。

#2.不要尝试以copy构造函数调用copy assignment函数，或以copy assignment函数
调用copy构造函数，应该将共同机能放进第三个函数中，供这两个copying函数调用，

通常这个函数取名init.

____________________________________________________________________________________________________________________________________

（三）.资源管理

____________________________________________________________________________________________________________________________________

条款13：以对象管理资源
#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,从而导致这种情况。）

#2.确保获得资源后立刻放进管理对象，接口分离，将会增加资源泄漏的风险。

（极有可能在分离期间抛出异常）

#3.两个常被使用的RAII classes分别是tr1::shared_ptr和auto_ptr。前者通常是
较佳选择，因为其 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.

____________________________________________________________________________________________________________________________________

条款14：在资源管理类中小心copying行为
#1.因为RAII对象所管理的资源作为RAII对象的成员变量，所以在复制RAII对象时，资源的

copying行为决定了RAII对象的copying行为。

#2.普遍而常见的 RAII class copying行为有：禁止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;
}

____________________________________________________________________________________________________________________________________

条款15：在资源管理类中提供对原始资源的访问
#1.APIs 往往要求访问原始资源(raw resources),所以每一个RAII class 应该提供

一个“取得其所管理的资源”的方法。

#2.对原始资源的访问可能经由显示转换或隐式转换。一般而言显示转换比较安全，
但隐式转换对客户比较方便。

class Font{
public:
 explicit Font(FontHandle fh):f(fh){}
 ...
 FontHandle get() const { return f;}     //显示转换
 operator FontHandle() const {return f;} //隐式转换
private:
 FontHandle f;
}

____________________________________________________________________________________________________________________________________

条款16：成对使用new 和 delete时要采取相同的形式
#1.如果你在new 中使用[],必须在相应的delete表达式中也使用[]。如果你在new

表达式中不使用[],一定不要在相应的delete表达式中使用[]。

#2.当你使用new,内存会被分配出来（通过operator new),针对此内存会有一个
（或多个）构造函数被调用（指自定义数据类型）。当你使用delete,针对此内存
会有一个（或多个）析构函数被调用（指自定义数据类型），然后内存才被释放

（通过operator delete)。

#3.当使用new[]时，内存中会有一个“数组大小记录”的内存单元被分配出来，从而
在delete[]时能够明确对象数组的大小，对于某些编译器，它会将对象数组的第一

个内存单元记为该“数组大小记录”。

____________________________________________________________________________________________________________________________________

条款17：以独立语句将 newed 对象置入智能指针
#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构造函数

之间是紧密链接的，从而解决了资源泄漏问题。

____________________________________________________________________________________________________________________________________