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

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 constexprconstexpr