Item 05:Know what functions C++ silently writes and calls
如果你写下:
class Empty{ };
这就好像你写下这样的代码:
class Empty
{
public:
Empty(){...}//默认构造函数
Empty(const Empty& rhs){...}//拷贝构造函数
~Empty(){...}
Empty& operator=(const Empty& rhs){...}//copy assignment操作符
};
在某些情况下,如果你没有声明一个copy assignment操作符,编译器也会拒绝为你的class生出operator=,见下例:
template<class T>
class NameObject;
{
public:
NameObject(std::string&name,const T& value);
...//假设并未声明operator=
private:
std::string& nameValue;//注意这是一个reference
const T objectValue;//注意这是一个const
};
std::string newDog("Persephone");
std::string oldDog("Satch");
NameObject<int> p(newDog,2);
NameObject<int> s(oldDog,36);
p=s;
//在这种情况下,C++的响应是拒绝编译那一行的赋值动作
还有最后一种情况:如果某个base classes将copy assignment操作符声明为private,编译器将拒绝为其derived classes生成一个copy assignment操作符。
//云风评注:到底是直接引用,还是对值引用,在C++中是一个让人纠结的问题。对一个对象的引用,又分指针引用和使用C++引入的引用类型。为了追求理论上的性能极限,C++把如何让实现这种细节性的问题留给了程序员来决定。
我们最终只好根据惯例来做出选择。比如在向函数传递一个字符串的时候,资深的C++程序员,不需多想就会把参数声明为const std::string &,而不会选择传递string的值对象//
请记住:
编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符,以及析构函数。