背景
作为一门面向对象的语言,我们无法绕开class这个概念。与class密切相关的可能是一个或多个构造函数,一个析构函数,一个copy assignment操作符。这些基础操作对对象的初始化、转换和清理尤为重要。这些工具的构造离不开我们,同样也离不开一双无形而又神奇的大手——编译器。
了解C++默默编写并调用哪些函数
class Empty { };
一个无用的知识,空类的大小为1字节,如果为0,我们如何来区分不同的实例呢?
什么时候empty class不再是一个empty class呢? 当C++处理过它之后。
如果我们自己没声明,编译器会默认声明一个copy构造函数、一个copy assignment操作符和一个析构函数。当然,最重要的,如果我们没有声明任何构造函数,编译器也会为我们声明一个default构造函数。注意,所有这些函数都是public且inline的。
于是这个所谓的空类看上去就像下面这样了:
class Empty {
public:
Empty() { ... }
Empty(const Empty& rhs) { ... }
~Empty() { ... }
Empty& operator=(const Empty& rhs) {...}
};
惟有这些函数被需要(被调用),他们才会被编译器创建出来。编译器产出的析构函数是non-virtual的,除非这个class的base class自身声明有virtual析构函数。
如果已经声明了一个构造函数,编译器将不会再创建default构造函数。这点很重要,如果你精心设计了一个class,构造函数要求实参,就无需担心编译器添加一个无参构造函数遮盖掉。
注意:成员函数存在引用变量、const成员变量不会生成对应的拷贝构造函数以及base class中copy assignment操作符为private,编译器拒绝在derived class生成相应的拷贝运算符。
原因也很简单:
- reference是禁止改指对象的
- 更改const成员是不合法的
- private情况下,子类无法操作base class成分