当一个空类经过C++编译器处理之后会发生下面的变化:
处理前
class Empty{ };
处理后:
class Empty{ public: Empty(){}; ~Empty(){}; Empty(const Empty& rhs){}; Empty& operator=(const Empty& rhs){}; }
也就是说C++编译器会为一个空类自动生成默认的构造函数、copy构造函数、析构函数以及赋值运算符函数,唯有这些函数被需要(被调用),它们才会被编译器创建出来。
Empty e1; //调用default构造函数 Empty e2(e1); //调用copy构造函数 e2 = e1 ; //copy assignment 操作符
还需要注意的是:
1,如果你打算在一个“含有引用成员” 的class内支持赋值操作,你必须自己定义 copy assignment操作符。面对“内含const成员”的class 也是如此。
2,如果某个base classes将copy assignment操作符声明为private,编译器将拒绝为其derived classes生成一个copy assignment操作符(毕竟编译器为derived classes 所生成的 copy assignment 操作符想象中能够处理base class成分,但他们当然无法调用derived class 无权调用的成员函数)。