千家信息网

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

发表于:2024-11-06 作者:千家信息网编辑
千家信息网最后更新 2024年11月06日,这期内容当中小编将会给大家带来有关C++11中 constexpr构造函数的作用是什么,文章内容丰富且以专业的角度为大家分析和叙述,阅读完这篇文章希望大家可以有所收获。聚合类聚合类(aggregate
千家信息网最后更新 2024年11月06日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构造函数的作用是什么了,如果刚好有类似的疑惑,不妨参照上述分析进行理解。如果想知道更多相关知识,欢迎关注行业资讯频道。

0