如果自己没申明,编译器会为它声明(编译器版本的)一个copy构造函数、一个copy构造函数、一个copy assignment操作符和一个析构函数。此外如果你没有申明任何构造函数,编译器也会为你声明一个default构造函数。所有这些函数都是Public且inline
因此,如果你写下:
Empty& operator=(const Empty& rhs){…} //默认生成的赋值构造函数
};
化的时候r1指向的对象s1也改变了,所以C++并不允许”reference指向
class Empty{};
其实这样写一个空函数,编译器会默认的帮你加一些函数。
class Empty{
Empty(){...} //default构造函数
Empty(const Empty& rhs){...} //默认生成的默认构造函数
~Empty(){...} //析构函数
Empty& operator=(const Empty& rhs){...} //默认生成的赋值构造函数
};
只有当这些函数被需要(被调用),他们才会被编译器创建出来。
例如:
Empty e1 ;//调用默认的构造函数
Empty e2(e1); //copy 构造函数
e2 = e1; // 赋值构造函数
有两个条件,如果有一个不符合,编译器会拒绝为class生出operator=
1:如果你打算在一个“内含reference”成员的class内支持赋值操作(assignment),你必须自己定义copy assignment操作符。面对“内含const成员“的classes,编译器的反应也一样,更改const成员是不合法的,所以编译器不知道如何在它自己生成的赋值函数内面对他们
2:如果某个base classes将copy assignment操作符声明为private,编译器将拒绝为其derived classes生成一个copy assignment操作符,因为derived classes的默认生成的copy assignment要调用base classes中的成员函数,但是为private,所以没有权限
针对第一条,因为C++并不允许”reference指向不同的对象“
我举个例子:
string s1 = "12132";
string s2 = "323243";
string& r1 = s1;
cout<<r1<<endl; //12132
r1 =s2;
cout<<r1<<endl; //323243
cout<<s1<<endl; //323243
看最后的运行结果:
和我们预想的一样,当我们把引用r1指向其他的对象时,这里是赋值,例如我们将s1绑定到r1,其实最开始初始化的时候r1指向的对象s1也改变了,所以C++并不允许”reference指向不同的对象“