1 什么时候empty class 不再是个empty class 呢?当C++处理过它之后.如果自己没有声明,编译器就会为它声明一个copy构造函数,一个copy assignment操作符和一个析构函数.此外如果没有声明任何构造函数,编译器也会声明一个default 构造函数.所有这些函数都是 public 且 inline
class Empty {};
就好像写下这样的代码
class Empty {
public:
Empty() { ... } // default构造函数
Empty(const Empty &rhs) { ... } // copy构造函数
~Empty() { ... } // 析构函数
Empty& operator=(const Empty &rhs) { ... } // copy assignment操作符
};
唯有这些函数被调用,它们才会被编译器创建出来
Empty e1; // default构造函数
Empty e2(e1); // copy构造函数
e2 = e1; // copy assignment操作符
由于其中声明一个构造函数,编译器于是不再为它创建 default 构造函数.这意味着如果设计一个 class,其构造函数要求实参,就无须担心编译器会毫无挂虑的添加一个无实参构造函数而遮掉自己的版本.
2 当类成员为reference或者是const时,编译器拒绝为class生出一个operator=,这是因为c++并不允许让reference改指向不同的对象。const声明的变量也不允许被修改
class Test
{
public:
Test(string &s, int n) :str(s), num(n){}
private:
string &str;
const int num;
};
int main()
{
string arr = "hello";
int n = 5;
Test t(arr, n);
string arr1 = "world";
int n1 = 10;
Test t1(arr1, n1);
//t1 = t; //出错,operator=函数再Test中不可用
}
如果operator=被声明为private拒绝为派生类生成一个拷贝复制构造函数
请记住:
编译器可以暗自为class创建default构造函数,copy构造函数,copy assignment操作符,以及析构函数