C++中创建一个空类:
class Empty {};
默认会生成4个函数,其函数的原型如下:
public: Empty() { ... }
Empty(const Empty& rhs) { ... }
~Empty() { ... }
Empty& operator=(const Empty& rhs) { ... }
说明:1) 这些函数只有在需要调用的时候,编译器才会生成。
2) 4个函数都是public的。
3) 4个函数都是inline的(即函数定义在类的定义中的函数)。
4) 如果你显式的声明了这些函数中的任何一个函数,那么编译器将不再生成默认的函数。
比如,当遇到下列语句时,函数会被编译器生成:
Empty e1; //默认构造函数
//对象销毁时,析构函数
Empty e2(e1); //拷贝构造函数
e2 = e1; //赋值运算符
另外,还存在两种默认的函数:就是取地址运算符和取地址运算符的const版本,这两个函数在《Effective C++》中没有提及。
public: Empty* operator&() { ... }
const Empty* operator&() const { ... }
这两个函数是确实存在的,正如下面的代码可以正常工作:
#include <stdio.h>
class Empty {};
int main(int argc, char** argv){
Empty a;
const Empty *b = &a; printf("%p/n", &a); //调用取地址运算符
printf("%p/n", b); //调用const取地址运算符}
一个容易被忽略的问题:自定义的拷贝构造函数不仅会覆盖默认的拷贝构造函数,也会覆盖默认的构造函数。下面的代码是编译不过的,用户必须再显式的定义一个无参的构造函数。
class Empty {
public: Empty(const Empty& e) { }
//拷贝构造函数};
int main(int argc, char** argv){ Empty a;}