条款05:了解C++默默编写并调用哪些函数
如果你没有声明任何构造函数,编译器也会成为你声明一个默认构造函数,默认构造函数和析构函数主要给编译器一个地方用来放置“藏身幕后”的代码,像是调用base classes和non-static成员变量的构造函数和析构函数。所有这些函数都是public且inline,编译器产生出来的析构函数是non-virtual,除非这个class的base class自身声明有virtual析构函数。
惟有当这些函数被需要(被调用),它们才会被编译器创建出来。即有需求,编译器才会创建它们。
至于拷贝构造函数和拷贝赋值操作符,编译器创建的版本只是单纯地将来源对象的每一个非静态成员变量拷贝到目标对象。
如一个类声明了一个构造函数(无论有没参数),编译器就不再为它创建默认构造函数。
编译器生成的拷贝赋值操作符:对于成员变量中有指针,引用,常量类型,我们都应考虑建立自己“合适”的拷贝赋值操作符。因为指向同块内存的指针是个潜在危险,引用不可改变,常量不可改变。
请记住:
编译器可以暗自为类创建默认构造函数、拷贝构造函数、拷贝赋值操作符,以及析构函数。
条款06:若不想使用编译器自动生成的函数,就该明确拒绝
通常如果你不希望类支持某一特定技能,只要不说明对应函数就是了。但这个策略对拷贝构造函数和拷贝赋值操作符却不起作用。因为编译器会“自作多情”的声明它们,并在需要的时候调用它们。
由于编译器产生的函数都是public类型,因此可以将拷贝构造函数或拷贝赋值操作符声明为private。通过这个小“伎俩”可以阻止人们在外部调用它,但是类中的成员函数和友元函数还是可以调用private函数。
可以将这些成员函数声明为private,且故意不实现他们。也可以在一个专门为了阻止拷贝动作而设计的基类。(Boost提供的那个类名为noncopyable)。
请记住:
为驳回编译器自动(暗自)提供的机能,可将相应的成员函数声明为private并且不予实现。使用像uncopyable这样的基类也是一种做法。
条款07:为多态基类声明virtual析构函数
当基类的指针指向派生类的对象的时候,当我们使用完,对其调用delete的时候,其结果将是未有定义——基类成分通常会被销毁,而派生类的充分可能还留在堆里。这可是形成资源泄漏、败坏之数据结构、在调试器上消费许多时间。
消除以上问题的做法很简单:给基类一个virtual析构函数。此后删除派生类对象就会如你想要的那般。
任何类只要带有virtual函数都几乎确定应该也有一个virtual析构函数。
如果一个类不含virtual函数,通常表示它并不意图被用做一个基类,当类不企图被当做基类的时候,令其析构函数为virtual往往是个馊主意。因为实现virtual函数,需要额外的开销(指向虚函数表的指针vptr)。
STL容器都不带virtual析构函数,所以最好别派生它们。
要为纯虚函数提供一份定义(在基类中),派生类的析构函数调用时会对基类的析构函数产生调用动作,所以必须为这个函数提供一份定义。
class AWOV { public: virtual ~AWOV()=0; }; AWOV::~AWOV(){}
请记住:
- 带有多态性质的基类应该声明一个virtual析构函数。如果一个类带有任何virtual函数,它就应该拥有一个virtual析构函数。
- 一个类的设计目的不是作为基类使用,或不是为了具备多态性,就不该声明virtual析构函数。
条款08:别让异常逃离析构函数
C++并不禁止析构函数吐出异常,但它不鼓励你这样做。C++不喜欢析构函数吐出异常。
如果可能导致异常:
- 如果抛出异常,就结束程序。在catch中调用abort()结束程序。
- 吞下异常,在catch中什么也不做。
如果某个操作可能在失败时抛出异常,而又存在某种需要必须处理该异常,那么这个异常必须来自析构函数以外的某个函数。
class DBConnection { public: ... static DBConnection create();//返回DBConnection对象 void close();//关闭连接 }; //用这个class管理DBConnection对象 class DBConn { public: ... void close()//自己提供一个close函数,赋予客户一个机会得以处理“因该操作而发生的异常” { db.close(); closed=true; } ~DBConn() { if(!closed) { try { db.close(); } catch(...) { //记下对close的调用失败 //...结束程序或者吞下异常 } } } private: DBConnection db; bool closed; };
请记住:
- 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么类应该提供一个普通函数(而非在析构函数中)执行该操作。
条款09:决不让构造和析构过程中调用virtual函数
你不该在构造函数和析构函数中调用virtual函数
class Base { public: Base() { //... action(); } virtual void action() const=0; }; class Dervied:public Base { public: virtual void action() const; }; Dervied d;
因为:在派生类的对象被构造时,派生类对象内在基类成分会在派生类自身成分构造之前构造妥当。
在构造d对象时,调用基类构造函数,此时调用虚函数virtual,此虚函数版本是Base而不是Derived。基类构造期间virtual绝不会下降到derived class阶层。对象的作为就像类属基类一样,也就是在基类构造期间,virtual函数不是virtual。
基类的构造函数的执行要早于派生类的构造函数,当基类的构造函数执行时,派生类的成员变量尚未初始化。派生类的成员变量没初始化,即为指向虚函数表的指针vptr没被初始化又怎么去调用派生类的virtual函数呢?析构函数也相同,派生类先于基类被析构,又如何去找派生类相应的虚函数?
唯一好的做法是:确定你的构造函数和析构函数都没有调用虚函数,而它们调用的所有函数也不应该调用虚函数。
解决的方法可能是:既然你无法使用虚函数从基类向下调用,那么我们可以使派生类将必要的构造信息向上传递至基类构造函数。即在派生类的构造函数的成员初始化列表中显示调用相应基类构造函数,并传入所需传递信息。
class Base { public: explicit Base() { //... action(); } void action(string& logInfo) const; }; class Dervied:public Base { public: Dervied(parameters):Base(createLogString(parameters)) { //... } void action(string& logInfo) const; private: static string createLogString(parameters); }; Dervied d;
static不可能意外指向派生类对象尚未初始化的成员变量,正是那些成员变量处于未定义的状态,所以在基类构造和析构期间调用的virtual函数不可能下降至派生类
请记住:
在构造和析构函数期间不要调用虚函数,因为这类调用从不下降至派生类。
条款10:令operator= 返回一个reference to *this
对于赋值操作符,我们常常要达到这种类似效果,即连续赋值:
int x, y, z; x = y = z = 15;
为了实现“连锁赋值”,赋值操作符必须返回一个“引用”指向操作符的左侧实参。
即:
Widget & operator = (const Widget &rhs) { ... return *this; }
所有内置类型和标准程序库提供的类型如string,vector,complex或即将提供的类型共同遵守。
请记住:
- 令赋值操作符返回一个reference to *this。
条款11:在operator =中处理“自我赋值”
先举几个自我赋值的例子:
Widget w; w = w; a[i] = a[j]; //i == j or i != j *px = *py;// px,py指向同个地址;
以上情况都是对“值”的赋值,但我们涉及对“指针”和“引用”进行赋值操作的时候,才是我们真正要考虑的问题了。
class BitMap {...}; class Weget { private: BitMap *pb; }; Widget& Widget::operator=(const Widget& rhs) { delete pb;//这里对pb指向内存对象进行delete,试想 *this == rhs?不只是销毁自身的BitMap也销毁rhs的BitMap pb = new Bitmap(*rhs.pb); //如果*this == rhs,那么这里还能new吗? return *this; }
办法
Widget& Widget::operator=(const Widget& rhs) { if (this == &rhs) return *this; //解决了自我赋值的问题。 delete pb; pb = new Bitmap(*rhs.pb); return *this; }
以上代码同样存在异常安全问题。
Widget& Widget::operator=(const Widget& rhs) { Bitmap *pOrig = pb; //记住原先的pb pb = new Bitmap(*rhs.pb); //令pb指向*pb的一个复本 delete pOrig; //删除原先的pb return *this; //这样既解决了自我赋值,又解决了异常安全问题。自我赋值,将pb所指对象换了个存储地址。 }
请记住:
- 确保当对象自我赋值时operator =有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
- 确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象时,其行为仍然正确。
条款12:复制对象时勿忘其每一个成分
我们应确保对“每一个”成员进行拷贝(复制)。
如果你在类中添加一个成员变量,你必须同时修改相应的copying函数(所有的构造函数,拷贝构造函数以及拷贝赋值操作符)。
在派生类的构造函数,拷贝构造函数和拷贝赋值操作符中应当显示调用基类相对应的函数,否则编译器会调用基类的默认构造函数,为派生类中基类的成分进行赋值。
当你编写一个copying函数,请确保:
- 复制所有local成员变量;
- 调用所有基类内的适当copying函数。
但是,我们不该令拷贝赋值操作符调用拷贝构造函数,也不该令拷贝构造函数调用拷贝赋值操作符。想想,一个是拷贝(建立对象),一个是赋值(对象已经存在)。
请记住:
- Copying函数应该确保复制“对象内的所有成员变量”及“所有基类成员”;
- 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中,并由两个copying函数共同调用。