[C++入门]构造/析构/赋值运算1

背景

作为一门面向对象的语言，我们无法绕开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生成相应的拷贝运算符。

原因也很简单：

1. reference是禁止改指对象的
2. 更改const成员是不合法的
3. private情况下，子类无法操作base class成分