条款05:了解C++默默编写并调用哪些函数
什么时候empty class(空类)不再是个empty class?当C++处理过它后。如果没自己的声明,编译器就会为它声明一个copy构造函数、一个copy assignment操作符和一个析构函数。如果没有声明任何构造函数,编译器也会为你声明一个default构造函数。所有这些函数都是public且inline。
因此,如果写下:
class Empyt{};
就好像写下这样的代码:
class Empyt{ public: Empyt(){……} Empyt(const Empty& rhs){……} ~Empyt(){……} Empyt& operator=(const Empyt& rhs){……} };
编译器阻止产生拷贝赋值运算符情况
类内含有reference成员。如果需要类含有reference的class支持赋值操作,必须自己定义一个拷贝赋值运算符。因为C++不允许让reference改指向不同对象。
类内含有const成员。更改const成员不合法,所以编译器不知道如何在自己生成的赋值函数里面对它们。
将拷贝赋值运算符声明为private。编译器将拒绝为其派生类生成一个拷贝赋值运算符。
请记住:
编译器可以暗自为类创建default构造函数,copy构造函数,copy assignment操作符,以及析构函数。
条款06:不想使用编译器自动生成的函数,就该明确拒绝
声明为private阻止编译器自动生成的函数
所有编译器产出的函数都是public。为阻止这些函数被创建出来,需自行声明,因此可以将拷贝构造函数和拷贝赋值运算符声明为private。藉由明确声明一个成员函数,你阻止了编译器暗自创建其专属版本;而令这些函数为private,使你得以成功阻止人们调用。
只声明为private的做法并不绝对安全,因为member函数和friend函数还是可能调用你的private函数。只需不去定义它们,“将成员函数声明为private而且故意不实现它们”。
例子:
class HomeForSale{ public: ... private: ... HomeForSale)(const HomeForSale&); HomeForSale& operator=(const HomeForSale&) };
为驳回编译器自动(暗自)提供的机能,使用像Uncopyable这样的base class也是一种做法。
class Uncopyable{ public: Uncopyable(); ~Uncopyable(); private: Uncopyable(const Uncopyable&); Uncopyable& operator=(const Uncopyable&); };
为求阻止HomeForSale对象被拷贝,唯一要做的就是继承Uncopyable:
class HomeForSale:private Uncopyable{ ... };
请记住:
为驳回编译器自动(暗自)提供的机能,可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。
条款07:为多态基类声明virtual析构函数
如果基类的析构函数不为虚函数,则delete一个指向派生类对象的基类指针将产生未定义行为。
class Base { public: Base() { mPtr = new int; } ~Base() { delete mPtr; cout<<"Base::Destruction"<<endl;} private: int* mPtr; } ; class Derived : public Base { public: Derived() { mDerived = new long; } ~Derived() { delete mDerived; cout<<"Derived::Destruction"<<endl;} private: long* mDerived; } ; void main() { Base* p = new Derived; //父类指针指向子类对象,指向派生类的基类指针 delete p; }
输出结果只有:Base::Destruction
以上代码会产生内存泄露,因为new出来的是Derived类资源,采用一个基类的指针来接收,析构的时候,编译器因为只是知道这个指针是基类的,所以只将基类部分的内存析构了,而不会析构子类的,就造成了内存泄露,如果将基类的析构函数改成虚函数,就可以避免这种情况,因为虚函数是后绑定,其实就是在虚函数列表中,析构函数将基类的析构函数用实际对象的一组析构函数替换掉了,也就是先执行子类的虚函数再执行父类的虚函数,这样子类的内存析构了,父类的内存也释放了,就不会产生内存泄露。
任何类只要带有virtual函数都几乎确定应该也有一个virtual析构函数。如果一个类不含virtual函数,通常表示它并不意图被用做一个基类,当类不企图被当做基类的时候,令其析构函数为virtual往往是个馊主意。因为实现virtual函数,需要额外的开销(指向虚函数表的指针vptr)。
请记住:
带有多态性质的基类应该声明一个virtual析构函数。如果一个类带有任何virtual函数,它就应该拥有一个virtual析构函数。
一个类的设计目的不是作为基类使用,或不是为了具备多态性,就不该声明virtual析构函数。
条款08:别让异常逃离析构函数
C++并不禁止析构函数吐出异常,但它不鼓励你这样做。因为在析构函数中吐出异常可能会使程序过早结束或出现不明确行为。
析构函数发生异常解决办法:
如果抛出异常,就结束程序。通常通过调用abort完成。
DBConn::~DBConn(){ try{ db.close(); } catch(…){ //制作运转记录,记下对close的调用失败; std::abort(); } }
吞下因调用close而发生的异常。
DBConn::~DBConn(){ try{ db.close(); } catch(…){ //制作运转记录,记下对close的调用失败; } }
如果某个操作可能在失败时抛出异常,而又存在某种需要必须处理该异常,那么这个异常必须来自析构函数以外的某个函数。
请记住:
析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么类应该提供一个普通函数(而非在析构函数中)执行该操作。