C++11类（2）构造，清理，复制，移动 Construction, Cleanup, Copy, and Move

Reference：The C++ Programming Language 4th edition (Bjarne Stroustrup)

先来看一个简单的例子

string ident(string arg) 
{
    return arg;
}
int main ()
{
    string s1 {"Adams"};
    s1 = indet(s1); 

    string s2 {"Pratchett"};
    s1 = s2; 
}

上面用到的函数有：

(1)构造函数（初始化s1和s2）

(2)复制构造函数(ident函数参数值传递)

(3)移动构造函数(ident函数返回值)

(4)移动赋值(s1 = ident(s1))

(5)复制赋值(s1 = s2)

(6)析构函数

如果一个类X拥有一个非寻常的析构函数(如释放内存或锁)，那么它很可能需要以下的所有函数：

class X {
    X(Sometype); // "ordinary constructor": create an object
    X();         // default constructor
    X(const X&); // copy constr uctor
    X(X&&);      // move constr  uctor
    X& operator=(const X&); // copy assignment: clean up target and copy
    X& operator=(X&&);      // move assignment: clean up target and move
    ˜X();        // destructor: clean up
    // ...
};

在五种情况下一个对象会被复制或移动：

(1) 作为赋值的源(赋值表达式右侧)

(2) 作为一个对象的初始化设定项

(3) 作为函数参数

(4) 作为函数返回值

(5) 作为异常

1. 构造函数和析构函数

(1) 构造函数和不变量

名称与类名相同的成员被称作构造函数，类名不能用作成员函数，成员变量和成员类型的的名称。

通常，构造函数必须建立某种类不变量(class invariant)：

class Vector {
public:
    Vector(int s);
    // ...
private:
    double* elem; // elem points to an array of sz doubles
    int sz; // sz is non-negative
};

此处的不变量是：elem指向大小为sz的double数组和sz非负

当构造函数构造不变量失败时，不会有对象被创造，而且必须保证没有资源泄漏

(2) 析构函数和资源

• 析构函数的名称为类名前加上~，一个类只能有一个析构函数
• 当构造函数构造不变量失败时，可以抛出异常，异常处理机制会调用析构函数
• 基于构造函数和析构函数的资源管理风格被称作RAII(Resource Acquisition Is Initialization)

(3) 基类和成员

• 构造顺序：基类->成员->本身
• 析构顺序：本身->成员->基类
• virtual基类的构造会在其他棋类之前，析构在其他基类之后
• 构造函数按照声明顺序构造基类和成员的构造函数(而不是初始化列表顺序)

(4) 调用构造函数和析构函数

• 析构函数在退出作用域或使用delete时会被隐式调用，通常显示调用析构函数会导致严重的错误
• 可以通过声明析构函数=delete或private来防止隐式调用
  
• 在一些罕见却很重要的场合，需要显示调用析构函数，例如vector的pop_back

void C::push_back(const X& a)
{
    // ...
    new(p) X{a}; // copy constr uct an X with the value a in address p
    // ...
}

void C::pop_back()
{
    // ...
    p−>˜X(); // destroy the X in address p
}

p->~X()为*p调用了X的析构函数，这个记号不应该用于任何正常销毁的对象

(5) 虚析构函数

使用virtual析构函数的理由是对象会通过基类接口来删除

void user(Shape∗ p)
{
    p−>draw(); // invoke the appropriate draw()
    // ...
    delete p; // invoke the appropriate destructor
};

如果此处Shape的析构函数不为virtual，则不会调用派生类Circle的析构函数

2. 类对象初始化

(1) 不使用构造函数初始化

我们可以用以下方式来初始化一个没有定义构造函数的类

• 按成员初始化
• 复制初始化
• 默认初始化

struct Work {
    string author;
    string name;
    int year;
};
Work s9 { "Beethoven","Symphony No. 9 in D minor, Op. 125; Choral",1824}; // memberwise initialization
Work currently_playing { s9 }; // copy initialization
Work none {}; // default initialization

当没有声明带参数的构造函数时，还可以完全省略初始化列表

Work alpha;
void f()
{
    Work beta;
    // ...
}

但当省略初始化列表时，对于非static对象，只会默认初始化成员类，并不会初始化build-in类型

Buf buf0; // statically allocated, so initialized by default
void f()
{
    Buf buf1; // leave elements uninitialized
    Buf buf2 {}; // I really want to zero out those elements
    int* p1