类成员初始化

类成员的初始化可以通过构造函数的参数列表初始化，也可以在构造函数中赋值完成初始化

Sales_data::Sales_data(const Sales_data &sa)
{
    this->bookNo = sa.bookNo;
    this->revenue = sa.revenue;
    this->units_sold = sa.units_sold;
}

上面就是通过赋值完成了bookNo, revenue, units_sold等成员的初始化。但不是所有成员都可以通过构造函数内赋值完成初始化，比如const, 引用类型的成员变量，这种类型需要用构造函数初始化列表初始化。

class ConstRef
{
public:
    ConstRef(int ii) : ci(ii), ri(ii) { i = ii; };

private:
    int i;
    const int ci;
    int &ri;
};

如果成员是const、引用，或者属于某种未提供默认构造函数的类类型，我们必须通过构造函数初始值列表为这些成员提供初值。

委托构造函数

委托构造函数就是将自己的构造需求委托给另一个构造函数，达到构造对象的目的。我们可以优化一下之前实现的Sales_data构造函数，先实现一个全参数版本的构造函数，在让其他构造函数委托该构造函数完成构造我们重新定义一个新的类Sales_new

class Sales_new
{
public:
    Sales_new(const std::string &s, unsigned n, double p)
        : bookNo(s), units_sold(n), revenue(p * n) {}

    Sales_new() : Sales_new("", 0, 0.0) {}
    // copy构造，根据Sales_new类型对象构造一个新对象
    Sales_new(const Sales_new &sa) : Sales_new(sa.bookNo, sa.units_sold, sa.revenue) {}

    Sales_new(std::istream &is) : Sales_new() { read(is, *this); }
    friend std::istream &read(std::istream &, Sales_new &);

private:
    //图书编号
    std::string bookNo;
    //销量
    unsigned units_sold = 0;
    //收入
    double revenue = 0.0;
};

上述代码只实现了一个全参数版本的构造函数，其余的构造函数都是间接调用这个构造函数完成的。

默认构造函数重要性

默认情况下系统会为每个类生成默认构造函数，但我们实现参数版构造函数后，系统提供的默认构造函数就会被隐藏，需要我们手动实现默认构造函数。以下说明了不实现默认构造函数的问题：

隐式类型转换

如果构造函数只接受一个实参，则它实际上定义了转换为此类类型的隐式转换机制，有时我们把这种构造函数称作转换构造函数.

Sales_data sa;
auto sb = sa.combine(string("good luck"));

Sales_data类的combine函数参数为const Sales_data&类型

 Sales_data &combine(const Sales_data &);

调用combine函数时，编译器自动执行了隐式类型转换，实现了string对象构造一个临时的Sales_data对象。在要求隐式转换的程序上下文中，我们可以通过将构造函数声明为explicit抑制构造函数定义的隐式转换：关键字explicit只对一个实参的构造函数有效。需要多个实参的构造函数不能用于执行隐式转换，所以无须将这些构造函数指定为explicit的。只能在类内声明构造函数时使用explicit关键字，在类外部定义时不应重复：我们可以通过static_cast显示转换，避免错误。

聚合类

聚合类使得用户可以直接访问其成员，并且具有特殊的初始化语法形式。当一个类满足如下条件时，我们说它是聚合的： · 所有成员都是public的。 · 没有定义任何构造函数。 · 没有类内初始值。 · 没有基类，也没有virtual函数以下是聚合类

struct Data
{
    int ival;
    string s;
};

可以用初始化{}初始化聚合类

Data val2 = {0, "zack"};

初始值的顺序必须与声明的顺序一致，也就是说，第一个成员的初始值要放在第一个，然后是第二个，以此类推。与初始化数组元素的规则一样，如果初始值列表中的元素个数少于类的成员数量，则靠后的成员被值初始化。初始值列表的元素个数绝对不能超过类的成员数量。

constexpr构造函数

数据成员都是字面值类型的聚合类是字面值常量类。如果一个类不是聚合类，但它符合下述要求，则它也是一个字面值常量类：

· 数据成员都必须是字面值类型。· 类必须至少含有一个constexpr构造函数。 · 如果一个数据成员含有类内初始值，则内置类型成员的初始值必须是一条常量表达式；或者如果成员属于某种类类型，则初始值必须使用成员自己的constexpr构造函数。 · 类必须使用析构函数的默认定义，该成员负责销毁类的对象

尽管构造函数不能是const的，但是字面值常量类的构造函数可以是constexpr函数。事实上，一个字面值常量类必须至少提供一个constexpr构造函数。 constexpr构造函数就必须既符合构造函数的要求不能有返回语句，所以要用参数列表的方式初始化类。constexpr构造函数体一般来说应该是空的。

类的构造函数