Question

在他的新书“TCPL”的第10.4.3节中，B。Stroustrup写道：

可以在常量中使用足够简单的用户定义类型表达。例如：
struct Point {
    int x,y,z;
    constexpr Point up(int d) { return {x,y,z+d}; }
    constexpr Point move(int dx, int dy) { return {x+dx,y+dy}; }
// ...
};
具有constexpr构造函数的类称为文字类型。成为   简单到constexpr，构造函数必须有一个空体   所有成员必须通过潜在的常数进行初始化   表达式。例如：

constexpr Point origo {0,0};

由于以下原因，这似乎让我感到困惑：

struct Point没有用户定义的构造函数，其隐式默认构造函数也不是constexpr。
constexpr Point origo {0,0};由于标准（N3337）中的第7.1.5 / 9段，关于在对象声明中使用constexpr以及关于聚合初始化的第8.5.1 / 7段而编译。它与constexpr构造函数无关。

Answer 1

不需要用户定义的构造函数。文本说“用户定义的类型”，这是真的，“构造函数必须有一个空体”，这是真的（默认构造函数相当于一个空体）。

此外，constexpr用于表示结果是编译时常量。它不允许/禁止函数上的任何特定语法，它只允许编译器在编译时验证是否按预期返回常量值。函数和声明中的constexpr仅表示函数返回编译时常量。

编辑：哦，我也认为你可能会在该引文中链接一些独立的陈述。第一句和代码片段说明了如何将用户定义的类型Point用作constexpr函数的返回值。第二位说明Point可以用作constexpr变量，因为它的构造函数为空; {0,0}语法本身与constexpr 构造函数没有特别关系，但它满足constexpr变量的要求，其中“构造函数必须具有空体并且所有成员必须由潜在的常量表达式初始化“。有关constexpr使用的变量/函数/构造函数术语的详细概述，请参阅here。

我对下面的断言是对的吗？

1 个答案: