EffectiveC++学习笔记 构造/析构/赋值运算

条款05:了解c++默默编写并调用哪些函数

编译器回为每个类创建一个构造函数，copy构造函数，copy assignment操作符和析构函数。

class Empty{};
//编译器做的
class Empty{
public:
	Empty() { ... }
	Empty(const Empty& rhs) { ... }
	~Empty() { ... }

	Empty& operator=(const Empty& rhs) { ... }
};

• 编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符，以及析构函数

条款06 若不想使用编译器自动生成的函数，就该明确拒绝

如果不需要copy构造函数和copy assignment操作符，那么可以私有化它或者=delete它

class HomeForSale {
public:
//	...
private:
//  ...
	HomeForSale(const HomeForSale&);
	HomeForSale& operator=(const HomeForSale&);
};

• 为驳回编辑器自动（暗自）提供的机能，可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。

条款07 为堕胎基类声明virtual析构函数

• polymorphic（带多态性质的）base classes应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数
• Classes的设计目的如果不是作为base classes使用，或不是为了具备多态性（polymorphically），就不该声明virtual析构函数。

条款08 别让异常逃离析构函数

c++11里面已经不能在析构函数里抛出异常了。

条款09 绝不再构造和析构过程中调用virtual函数

如果在基类的构造函数里调用一个virtuual函数，想要通过创建派生类，来调用派生类的virtual函数。这个情况是无法实现的。

class Transaction {
Public:
	Transaction();
	virtual void logTransaction() const = 0;
	//...
};
Transaction::Transaction() {
	//...
	logTransaction();
}
class ButTransaction ： public Transaction {
public:
	virtual void logTransaction() const;
	//...
};
class SellTransaction ： public Transaction {
public:
	virtual void logTransaction() const;
	//...
};

当调用BuyTransaction b；时，基类会先创建，然后才是派生类。但是基类调用时，派生类还没有被创建。继承关系就还没有建立好。
解决办法，

class Transaction {
public:
	explicit Transaction(const std::string &logInfo);
	void logZTransaction(const std::string &logInfo) const;				//这里不是virtual函数
};
Transaction::Transaction(const std::string &logInfo)
{
	//...
	logTransaction(logInfo);											//构造时调用
}
class BuyTransaction : public Transaction {
public:
	BuyTransaction(parameters) : Transaction(createLogString( parameters )) {		//派生类构造时传入参数，调用
		//...
	}
	//...
private:
	static std::string createLogString(parameters);
};

• 在构造和析构期间按不要调用virtual函数，因为这类调用从不下降至derived class。

条款10 令operator= 返回一个*reference to this

class Widget {
public:
	//...
	Widget& operator+=(const Wdiget &rhs) {
		//...
		return *this;
	}
	Widget& operator=(int rhs) {
		//...
		return *this;
	}
	//...
};

条款11 在operator=中处理“自我赋值”

a[i] = a[j]
*px = *py

Widget &operator=(const Widget &rhs) {
	if(this == &rhs) return *this;
	
	delete pb;
	pb = new Bitmap(*rhs.pb);
	return *this;
}

类中有指针时，自我复制如果不判断是否是自己给自己赋值，则可能指针被清空，最后赋值的是一个野指针。

• 确保当对象自我赋值时operator=有良好的行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
• 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为任然正确。

条款12 复制对象时勿忘其每一个成分

如果你写了一个类，并且重写了copying函数，当你在类里添加一个变量时。不要忘记也给copying函数添加相关的赋值。

• copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
• 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能方静第三个函数中，并由两个copying函数共同调用。