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

我不明白为什么由prvalue核心常量表达式引用的临时对象不能有任何指针或引用,它指向或引用存储持续时间不是静态的对象,以便该prvalue核心常量表达式是一个常量表达式; 见N4296 [expr.const] 5.20\5.

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

[expr.const] 5.20\5(已修改)

核心常量表达式e是常量表达式,除非它初始化一个对象使得它包含一个指针,该指针指向存储持续时间不是静态的对象.

如果不是,请有人解释原因吗？