类6(聚合类/字面值常量类)

聚合类：

聚合类使得用户可以直接访问其成员，并且具有特殊的初始化语法形式。当一个类满足如下条件时，我们说它是聚合类：

1.所有成员都是 public 的

2.没有定义任何构造函数

3.没有类内初始值

4.没有基类，也没有 virtual 函数

如：

#include <iostream>
using namespace std;

struct data{
    int ival;
    string s;
};

int main(void){
    data val = {1, "hello"};//聚合类可以使用花括号括起来的成员初始值列表，并用它来初始化数据成员
    data gel = {1};
    cout << gel.ival << " " << gel.s << endl;//输出1 ,s被值初始化
    return 0;
}

注意：初始值的顺序必须与声明的顺序一致，否则会出现与预期不一致的结果。如果初始值少于成员数量，则靠后的成员被值初始化。初始值的数量不能少于成员数量。

显示地初始化类的对象的成员存在三个明显的缺点：

1.要求类的所以成员都是 public 的。            

2.将正确初始化每个对象的每个成员的任务交给了类的用户。因为用户很容易忘掉某个初始值，或者提供一个不恰当的初始值，所以这样的初始化过程冗长且容易出错。

3.添加或者删除一个成员之后，所有的初始化语句都需要更新。

字面值常量类：

和一般类不同，字面值常量类可能含有 constexpr 函数成员。这样的成员必须复合 constexpr 函数的所有要求，且是隐式 const 的。

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

1.数据成员都必须是字面值类型

2.类必须至少含有一个 constexpr 构造函数

3.如果一个数据成员含有类内初始值，则内置类型成员的初始值必须是一条常量表达式；或者说如果成员属于某种类类型，则初始值必须使用成员自己的 constexpr 构造函数。

4.类必须使用析构函数的默认定义，该成员负责销毁类的对象。

constexpr 构造函数：

尽管构造函数不能是 const 的，但是字面常量类的构造函数可以是 constexpr 函数。事实上，一个字面值常量类必须至少提供一个 constexpr 构造函数。

constexpr 构造函数可以声明成 =default 的形式（或者删除函数的形式）。否则，constexpr 构造函数就必须既符合构造函数的要求（意味着不能包含返回语句），又符合constexpr 函数的要求（意味着它能拥有的唯一可执行语句就是返回语句）。综合这两点可知，constexpr 构造函数体一般来说应该是空的。我们通过前置关键字 constexpr 就可以声明一个constexpr 构造函数了：

#include <iostream>
using namespace std;

class Debug{
public:
    constexpr Debug(bool b = true) : hw(b), io(b), other(b) {}
    constexpr Debug(bool h, bool i, bool o) : hw(h), io(i), other(o) {}
    constexpr bool any() {return hw || io || other;}
    void set_io(bool b) {io = b;}
    void set_hw(bool b) {hw = b;}
    void set_other(bool b) {hw = b;}
private:
    bool hw;//硬件错误而非IO错误
    bool io;//IO错误
    bool other;//其他错误
};

int main(void){
    constexpr Debug io_sub(false, true, false);//调试IO
    if(io_sub.any()) cerr << "print appropriate error messages" << endl;

    constexpr Debug prod(false);//无调试
    if(prod.any()) cerr << "print an error message" << endl;
    return 0;
}

constexpr 构造函数必须初始化所有数据成员，初始值或者使用 constexpr 构造函数，或者是一条常量表达式。