C++守则——了解C++默默编写并调用那些函数

我们都知道，在类中若未声明构造函数和析构函数，那么我们的C++编译器会自动为该类声明一个默认构造函数，一个拷贝构造函数，一个copy assignment操作符和一个析构函数。例如，如果你写一个类：

class Empty { };  

/*以上代码等效于以下代码*/
class Empty
{
public:
	Empty()  { ... }   //默认构造函数
	Empty(const Empty& rhs) { ... }   //拷贝构造函数
	~Empty() {...}   //析构函数

	Empty& operator=(const Empty& rhs) { ... }   //赋值操作符
};

唯有这些函数需要被调用的时候，它们才会被编译器创建出来，而且它们的创建是相互独立的，什么意思呢？就是说如果你的类中声明了一个构造函数，但是你并没有声明拷贝构造函数和赋值操作符，那么当你需要用到这些函数的时候编译器就会帮你自动创建一个：

template<typename T>
class NamedObject
{
public:
	NamedObject(const char* name, const T& value);       
	NamedObject(const std::string& name, const T& value);
	//没有声明拷贝构造函数和赋值操作符,编译器帮你自动创建
	
private:
	std::string nameValue;
	T objectValue;
};

现在来看看拷贝构造函数的用法：

NamedObject<int> no1("Smallest Prime Number", 2);
NamedObject<int> no2(no1);   //调用拷贝构造函数

编译器生成的拷贝构造函数必须以no1.nameValue和no1.objectValue为初值设定no2.nameValue和no2.objectValue。其中，nameValue的类型是string，而标准string有个拷贝构造函数，所以no2.nameValue的初始化方式是调用string的拷贝构造函数并以no1.nameValue为实参。另一个参数objectValue是int类型，是一个内置类型，所以会以“拷贝no1.objectValue内的每一个bits”来完成初始化。

看完了拷贝构造函数，我们再来看看赋值操作符：

template<typename T>
class NamedObject
{
public:
	NamedObject(std::string& name, const T& value);
private:
	std::string nameValue;
	T objectValue;
};

std::string newDog("Persephone");
std::string oldDog("Satch");
NamedObject<int> p(newDog, 2);
NamedObject<int> s(oldDog, 36);

p = s;

前面都是很简单的一些声明，最后那一行才是本体：C++拒绝赋值！
为什么呢？因为C++不允许让引用改指向不同的对象！此外，还有两种情况，编译器也会拒绝赋值操作：一是更改const成员（上例中的objectValue）；二是某个基类将拷贝构造函数声明为private，编译器将拒绝为其派生类生成赋值操作符。稍微解释以下第二点，编译器为派生类所生的赋值操作符想象中可以处理基类成分，但此时声明为了private，所以编译器无能为力。