几乎你写的每一个class都会有一或多个构造函数、一个析构函数、一个copy assignment操作符。这些很难让你特别兴奋，毕竟它们是你的基本谋生工具，控制着基础操作，像是产生新对象并确保它被初始化、摆脱旧对象并确保它被适当清理、以及赋予对象新值。如果这些函数犯错，会导致深远且令人不愉快的后果，遍及你的整个classes。所以确保它们行为正确是生死攸关的大事。本章提供的引导可让你把这些函数良好地集结在一起，形成classes的脊柱。
条款5：了解C++默默编写并调用哪些函数
当一个空类在C++处理之后，编译器会为它声明一个default构造函数，一个copy构造函数、一个copy assignment操作符和一个析构函数。
因此如果你写下：
class Empty{};
就好像写下这样的代码：
class Empty{
public:
Empty(){...}; //默认构造函数
Empty(const Empty& rhs){...} //copy构造函数
~Empty(){...} //析构函数
Empty& operator=(const Empty& rhs){...} //copy assignment操作符
};
而只有当这些函数被调用的时候，它们才会被编译器创建出来。
如果你打算在一个“内含reference成员”的class内支持赋值操作，你必须自己定义copy assignment操作符，面对“内含const成员”的classes，编译器的反应也是一样。
如果某个基类里将copy assignment操作符声明为private，编译器将拒绝为其derived classes生成一个copy assignment操作符。
要点：
-
编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符，以及析构函数。
条款6：若不想使用编译器自动生成的函数，就该明确拒绝
编写Uncopyable代码并使自己的类继承自Uncopyable来阻止自己类的拷贝。
class Uncopyable{
protected:
Uncopyable(){}
~Uncopyable(){}
private:
Uncopyable(const Uncopyable&);
Uncopyable& operator=(const Uncopyable&);
};
为了阻止我们的对象被拷贝，我们需要做的是继承Uncopyable：
class HomeForSale:private Uncopyable{
...
};
要点：
-
为驳回编译器自动提供的机能，可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。
条款7：为多态基类声明virtual析构函数
要点：
-
polymorphic（带多态性质的）base classes应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。
-
Classes的设计目的如果不是作为base classes使用，或不是为了具备多态性（polymorphically），就不该声明virtual析构函数。
条款8：别让异常逃离析构函数
要点：
-
析构函数绝对不要吐出异常。如果一个被函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们或者结束程序。
-
如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么class应该提供一个普通函数（而非在析构函数中）执行该操作。
条款9：绝不在构造和析构过程中调用virtual函数
在base class构造期间，virtual函数不是virtual函数。
因此必须要确保：
你的构造函数和析构函数都没有（在对象被创建和被销毁期间）调用virtual函数，而它们调用的所有函数也都服务同一约束。
要点：
-
在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class（比起当前执行构造函数和析构函数的那层）。
条款10：令operator=返回一个reference to *this
这个条款可以让你的类完成类似于如下连锁赋值形式的功能：
int x,y,z;
x=y=z=15;
要点：
-
令赋值操作符返回一个reference to *this。
条款11：在operator=中处理“自我赋值”
通常opeator=操作的对象如果指向自己的话可能会出现一系列问题，比如下列代码
class Bitmap{...};
class Widget{
...
private:
Bitmap* pb;
}
Widget& Widget::operator=(const Widget& rhs)
{
delete pb;
pb=new Bitmap(*rhs.pb);
return *this;
}
当*this和rhs指向同一个对象时将在
new Bitmap(*rhs.pb);这句话出错。
为了防止自我赋值导致程序出错，可以使用证同测试解决，也可以通过先保存一个pb副本，再执行new操作，等new完成后再把副本给删除了，还可以使用所谓的copy-and-swap技术来解决。
要点：
-
确保当对象自我赋值时operator=有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以前copy-and-swap。
-
确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。
条款12：复制对象时勿忘其每一个成分
当你编写一个copying函数，请确保（1）复制所有的local成员变量，（2）调用所有的base classes内的适当的copying函数。
copy构造函数与copy assignment函数往往有近似相同的实现本体，这可能会诱使你让某个函数调用另一个函数以避免代码重复，但是你不应该这样做。你不该令copy assignment操作符调用copy构造函数，这是很荒谬的做法，因为这就像试图构造一个已经存在的对象，也不该令copy构造函数调用copy assignment操作符，语义是对一个尚未构造好的对象赋值，同样很荒谬。
解决办法是将copy构造函数与copy assignment函数相近的，消除重复代码的做法是建立一个新的成员函数给两者调用，这个函数往往是private而且常被命名为init。
要点：
-
Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
-
不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中，并由两个copying函数共同调用。
阅读(1354) | 评论(0) | 转发(0) |
