C++11中 constexpr构造函数的作用是什么

这期内容当中小编将会给大家带来有关C++11中 constexpr构造函数的作用是什么，文章内容丰富且以专业的角度为大家分析和叙述，阅读完这篇文章希望大家可以有所收获。

聚合类

聚合类（aggregate class）允许利用者直接访问其成员，并且具有特殊的初始化形式。聚合类满足以下条件：

1. 所有成员都是public的

2. 没有定义构造函数

3. 没有类内初始值

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

怎么理解呢？

首先，看来看去聚合类其实就是一个C结构体；其次，聚合这个词，应该是相对组合的，表明了成员和类之间的松散关系。

当一个类是聚合类时，就可以使用初始值列表像下面这样初始化了：

struct Point{
    int x;
    int y;
};
Point pt = {10, 10};

字面值常量类

前面讲过constexpr函数，它的参数和返回值都必须是常量表达式。而常量表达式的最基本要素就是字面值类型。字面值类型除了包括算数类型，引用和指针以外，某些类也属于字面值类型，C++11称之为字面值常量类。主要包括两种情况：

首先数据成员都是字面类型的聚合类就是一种。上面的Point类就是一个例子。我们可以这样理解，字面值的聚合继续具有字面值的特征，这里主要是编译阶段可以求值。

还有一种情况，虽然不是聚合类，但是只要满足下面的条件，也是字面值常量类：

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

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

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

4. 类必须使用析构函数的默认定义。

对于这几个条件，作者这样理解：

满足条件1，就可以在编译阶段求值，这一点和聚合类一样。

满足条件2，就可以创建这个类的constexpr类型的对象。

满足条件3，就可以保证即使有类内初始化，也可以在编译阶段解决。

满足条件4，就可以保证析构函数没有不能预期的操作。

constexpr构造函数

通过前置constexpr关键字，就可以声明constexpr构造函数，同时：

除了声明为=default或者=delete以外，constexpr构造函数的函数体一般为空，使用初始化列表或者其他的constexpr构造函数初始化所有数据成员。

struct Point{
    constexpr Point(int _x, int _y)
        :x(_x),y(_y){}
    constexpr Point()
        :Point(0,0){}
    int x;
    int y;
};

constexpr Point pt = {10, 10};

上述就是小编为大家分享的C++11中 constexpr构造函数的作用是什么了，如果刚好有类似的疑惑，不妨参照上述分析进行理解。如果想知道更多相关知识，欢迎关注亿速云行业资讯频道。