标签:
C++默默编写的函数(程序员没有声明的前提下):default构造函数、copy构造函数、copy assignment操作符、default析构函数(非virtual)
编译器产出的函数都是public的
关于构造函数,如果用户定义了至少一种,就不会有默认构造函数
结论:
自行声明和定义
将对应的函数声明为private而且故意不实现它们
私有的继承Uncopyable类
任何class只要带有virtual函数都几乎确定应该也有一个virtual析构函数
当class不企图被当做base class, 令其析构函数为virtual是不好的
换而言之,对于析构函数不是virtual的class,不适合作为base class,典型代表是string类以及STL里面的类
有时候让class包含纯虚的析构函数是有意义的,注意需要为它提供定义
析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序
析构期间出现错误,强迫结束的意义在于阻止异常传播
一般而言,吞掉异常不好,它压制了某些动作失败的重要信息
如果客户需要对某个操作函数运行期间抛出的异常作出反应,那么class应该提供一个普通函数(而非在析构函数中)执行该操作
如果在构造函数调用virtual函数
base class构造期间,virtual函数绝不会下降到derived classes阶层,而是会调用base class的virtual函数。即, base class构造期间,virtual函数不是virtual函数
其根本理由:base class构造期间,根本还不存在derived class,所以如果使用运行期类型的信息,都会把对象视作base class
如果在析构函数调用virtual函数(道理同构造函数)
注意:
这里的意思是,在构造和析构函数里调用虚函数,效果等效于非虚函数,没有意义
通过定义带参数的函数取代基类在析构或者构造函数时使用的虚函数
最简单的例子:连锁赋值的时候,赋值操作符必须返回一个reference指向操作符的右侧实参
不仅是赋值,和赋值相关的操作符,如+=、-=等都应该返回引用
当某段代码操作pointers或references,而他们被用来“指向多个相同类型的对象”,就需要考虑这些对象是否为同一个
赋值过程中,有可能因为同一个对象之间的赋值操作导致“在停止使用资源之前意外释放”的错误
解决方法:
传统做法是在operator=函数的最前面,做一个“证同测试”
copy and swap技术:对右值做复制,将临时值与对象swap
结论:
确保当对象自我赋值时,operator=有良好的行为。其中技术包括比较“来源对象”和“目标对象”的地址(证同测试)、精心的语句顺序、copy-and-swap技术
确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象时,其行为仍然正确
copying函数:copy构造函数 + copy assignment
copying函数应该确保赋值“对象内的所有成员变量”及“所有base class 成分”
不要尝试以某个copying函数实现另一个copying函数,应该将共同机能放进第三个函数,并由两个copying函数共同调用
标签:
原文地址:http://blog.csdn.net/hubin232/article/details/51362199