为什么定义常量表达式术语的规则必须如此混乱？

Question

我不明白为什么由纯右值核心常量表达式引用的临时对象必须没有任何指针或引用，它指向或引用存储持续时间不是静态的对象，以便prvalue核心常量表达式为常量表达式；请参阅 N4296 [expr.const] 5.20\5。

我认为实现可以像这样重写该规则：

[expr.const] 5.20\5（修改）

核心常量表达式 e 是一个常量表达式，除非它 初始化一个对象，使其包含一个指针，该指针指向 具有非静态存储持续时间的对象。

如果不是，请有人解释一下原因吗？

Answer 1

它指向一个存储持续时间不是静态的对象

1. 您排除了空指针
2. 您排除了函数指针

从标准 5.20\5:

(5.2) 如果对象或子对象是指针类型，则它包含具有静态存储持续时间的对象的地址、超过此类对象末尾的地址 (5.7)、函数的地址或 null指针值

1. 您省略了将引用作为对象成员的概念。拿他们怎么办？您可以获取运行时对象或静态对象的 const 引用。这是否使整个对象成为core constant expression？

(5.1) 每个引用类型的非静态数据成员引用一个实体，该实体是一个常量表达式的允许结果

我敢打赌glvalue core constant expression 和prvalue core constant expression 有一个额外的细微差别（据我所知，这个短语不包括xvalue 的一些），但我没能掌握它。我希望有人能解释一下。

一个常量表达式要么是一个泛左值核心常量表达式，它的值是指一个实体，它是一个常量表达式（如下定义）的允许结果，或者是一个纯右值核心常量表达式，它的 值是一个对象

编辑

那有什么问题呢？还有其他规则，你知道的： 5.20\2.7、2.9、2.13、2.19、2.5；等等。 ; )

是的，5.20/2.9 是关于引用的（其他提到的规则不适用于引用类型——据我所知）。让我们读一读。

(2) 条件表达式 e 是核心常量表达式，除非 e 的评估，遵循抽象机的规则 ( 1.9 )，将评估以下表达式之一：
(2.9) 引用变量或数据成员的 id 表达式 引用类型，除非该引用具有前面的初始化和 要么
— (2.9.1) 它用常量表达式初始化或
— (2.9.2) 它是一个对象的非静态数据成员，其生命周期 在 e 的评估中开始；

现在让我们比较一下您的规则和标准。标准为 5.20/2.9 添加了一些细节。

5.20/5
(5.1) 每个引用类型的非静态数据成员引用一个实体，该实体是常量表达式的允许结果
如果实体是具有静态存储持续时间的对象，该对象不是临时对象，或者是其值满足上述约束的临时对象，或者它是一个函数，则该实体是常量表达式的允许结果。

• 我们再次看到提到了functions（例如使用指针）- 您的规则（基于 5.20/2.9）缺少它。
• 您的规则中没有提及 object with static storage duration