码迷,mamicode.com
首页 > 编程语言 > 详细

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

时间:2015-02-09 12:53:42      阅读:202      评论:0      收藏:0      [点我收藏+]

标签:c++   effective c++   语法优化   

继续上一篇...


(二).构造/析构/赋值运算

____________________________________________________________________________________________________________________________________

条款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构造函数

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

____________________________________________________________________________________________________________________________________


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

标签:c++   effective c++   语法优化   

原文地址:http://blog.csdn.net/beyond_ray/article/details/43668413

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!