《Effective C++》笔记（二）------ 构造、析构、赋值运算

构造、析构、赋值运算

Item05：了解C++默默编写并调用了哪些函数。

class Empty
	{
	public:
		Empty() {}  //default构造函数
		~Empty() {} //default析构函数
		Empty(const Empty& rhs) {} //copy构造函数
		Empty& operator=(const Empty& rhs) {} //copy复制运算符
    };

结论
1.编译器可以暗自为class创建default构造函数、copy构造函数、copy复制运算符、析构函数。

template<class T>
class NameObject
{
public:
	NameObject(string& name, const T& value);
private:
	string& nameValue;;//reference
	const T objectValue;    //const
};

//测试程序
int main()
{
	string newdog("hugo");
	string olddog("piggy");
	NameObject<int> p(newdog, 2);
	NameObject<int> s(olddog, 5);
	p = s;
	return 0;
}

2.c++不允许让引用指向不同对象，这时编译器会拒绝进行赋值操作，如果打算在一个含有引用成员的class内支持赋值操作，就必须自定义拷贝赋值运算符。

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

class Unique
{
private:
	Unique(const Unique&);   //只有声明
	Unique& operator=(const Unique&); //不予实现
};
//结论：为了驳回编译器自动提供的功能，可将相应的成员函数声明为private，并且不予实现；

• 结论：为了驳回编译器自动提供的功能，可将相应的成员函数声明为private，并且不予实现；

class Uncopyable
{
protected:
	Uncopyable() {}
	~Uncopyable() {}
private:
	Uncopyable(const Uncopyable&);   //只有声明
	Uncopyable& operator=(const Uncopyable&); //不予实现
};
class A :private Uncopyable //class不再声明拷贝构造何拷贝赋值运算符
{
	//...........
};
//todo page39

Item07：为多态基类声明virtual析构函数

• STL容器禁止派生！！！

Item09：绝不在构造和析构过程中调用virtual函数

class Father
{
public:
	Father() { type(); }
	virtual ~Father() { cout << "Father dtor!" << endl; }

	virtual void type() { cout << typeid(this).name() << endl; } //RTTI
};

class Son : public Father
{
public:
	Son() { type(); }
	virtual ~Son() { cout << "Son dtor!" << endl; }
	virtual void type() { cout << typeid(this).name() << endl; } //RTTI
};

int main()
{
	
	Father* ptr = new Son;
	delete ptr;
	return 0;
}

• Father class构造的期间virtual函数绝对不会下降到son classes阶层，换言之，在base class构造期间，virtual函数不是virtual函数！
• typeid会告诉我们这点！
• 结论：绝不在构造和析构过程中调用virtual函数！

Item10：令operator= 返回一个 reference to *this

• 为了实现赋值的连锁形式，赋值操作符必须返回一个reference指向操作符左侧的实参；

class Test
{
public:
    Test& operator=(const Test& rhs)
    {
        ...
        return *this;
    }
};