编译器可以暗自为class创建default构造函数 copy构造函数 copy assignment操作符 析构函数。
如果你写下class Empty{};
等价于你写下:
class Empty{
public:
Empty(){...} //default构造函数
Empty(const Empty& rhs){...} //copy 构造函数
~Empty() //析构函数(non-vitual)
Empty& operator=(const Empty& rhs){...} //copy assignment操作符
};
调用如下:
Empty e1; //default构造函数
//析构函数
Empty e2(e1);//copy构造函数
e2 = e1;//copy assignment操作符
再举个例子说明一些细节:
template<typename T>
class NameObject{
public:
NameObject(const char* name,const T& value);
NameObject(const std::string& name,const T& value);
...
private:
std::string nameValue;
T objectValue;
};
①如果类中声明了构造函数,那么编译器不会再创建default构造函数。
②例中NameObject类没有声明copy构造函数和copy assignment操作符,编译器会自动创建。
③copy构造函数的用法:
NameObject<int> no1("smallest prime number",2);
NameObject<int> no2(no1);
copy构造时,no1.nameValue和no1.objectValue为初值设定no2.nameValue和no2.objectValue。
nameValue以no1.nameValue为实参,调用string的copy构造函数,
由于objectValue为int ,所以no2.objectValue会拷贝no1.objectValue的每一个bits来初始化。
④编译器NameObject<int>的copy assignment操作符其行为基本上跟copy构造函数如出一辙,但只有当生出的代码合法并有适当机会证明它有意义,否则编译器会拒绝生出operator=。
内含引用成员或const成员的类必须自己定义copy assignment操作符
父类将copy assignment操作符声明为private 编译器将拒绝生成一个copy assignment操作符。
举例说明:
public:
NameObject(std::string& name,const T& value); //这里std::string& name 为non-const。
privte:
std::string& nameValue; //nameValue为引用
const T objectValue; //const
调用:
std::string newDog("Persephone");
std::string oldDog("Satch");
NameObject<int> p(newDog,2);
NameObject<int> s(oldDog,2);
p = s ; //编译器拒绝该赋值动作!!! c++不允许“让引用指向不同的对象”。