5.C++默认编写并调用函数
5.1 class CEmpty{};
等同于
class CEmpty
{
public:
CEmpty() {....}
CEmpty(const CEmpty& rhs) {...}
∼CEmpty(){...}
CEmpty& operator=(const CEmpty& rhs) {...}
};
5.2 如果某个base class将copy assignment操作符声明为private,编译器将拒绝为其derived class
生成一个copy assignment操作符。
5.3 编译器可以暗自为class创建default构造函数,copy构造函数,copy assignment操作符和析构函
数。
6.若不想使用编译器自动生成的函数,就该明确拒绝。
class CUncopyable
{
protected:
CUncopyable() {}
∼CUncopyable() {}
privcate:
CUncopyable(const CUncopyable&){};
CUncopyable& operator=(const CUncopyable&){}
};
7.为多态基类声明virtual析构函数
7.1 polymorphic base class 应该声明一个virtual析构函数。如果class带有任何virtual函数,
它都应该拥有一个virtual析构函数。
7.2 class的设计目的如果不是作为base class使用,或不是为了具备多态性,就不该声明virtual析构
函数。
8.别让异常逃离析构函数
8.1 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任
何异常,然后吞下它们(不传播)或结束程序。
8.2 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么class应该提供一个普通函数
(而非在析构函数中)执行该操作。
9.绝对不在构造和析构过程中调用virtual函数。
在derived class对象的base class构造期间,对象的类型是base class而不是derived class。
10.令operator=返回一个reference to *this。
CWidget& operator=(const CWidged& rhs)
{
...
return *this;
}
10.1 为了实现“连锁赋值”(如x = (y = (z = 15))),赋值操作符必须返回一个reference指向操作
符的左侧。
10.2 10.1不仅适用于标准的赋值形式,也适用于所有赋值相关运算。
11.在operator=中处理“自我赋值”
11.1 确保当对象自我赋值时operator=有良好行为,其中技术包括比较“来源对象”和“目标对象”
的地址、精心周到的语句顺序,以及copy-and-swap。
11.2 确定任何函数如果操作一个以上对象,而其中多个对象是同一个对象时,其行为仍然正确。
11.3 CWidget& CWidget::operator=(const CWidget& rhs)
{
if(this == &rhs) return *this;
....
return *this;
}
12.复制对象时勿忘其每一个成分。
12.1 copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
12.2 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中,并由
两个copying函数共同调用。
12.3 class CDerived : public CBase
{
public:
CDerived(const CDerived& rhs);
CDerived& operator=(const CDerived& rhs);
...
}
CDerived::CDerived(const CDerived& rhs): CBase(rhs)
{
....
}
CDerived& CDerived::operator=(const CDerived& rhs)
{
CBase::operator(rhs);
...
return *this;
}