在成员初始化中对自我分配的持续评估

Question

在以下程序中，constexpr function foo（）用字段 x = 1 ，使对象成为a的对象然后使用std :: struct_at和默认初始化x = x，然后打印了常数评估值：

#include <memory>
#include <iostream>

struct A {
    int x = x;
};

constexpr int foo() {
    A a{1};
    std::construct_at<A>(&a);
    return a.x;
}

constexpr int v = foo();

int main() {
    std::cout << v;
}

GCC打印1 在这里。 Clang和MSVC打印0。并且只有叮当声发出警告：字段'x'使用时不专门化。演示： https://gcc.godbolt.org/z/wtsxxxdrj8e

在程序中？如果是，为什么没有编译器在持续评估期间检测到它？如果没有，哪个编译器是对的？

Answer 1

C ++ 20 [basic.life] /1.5指出，当对象的寿命（在这种情况下，对象a）在

对象占据的存储已释放，或者是由未嵌套在o（6.7.2）的对象重复使用的。

该标准尚不清楚何时确切地将内存视为“重复使用”（因此，旧a的寿命结束），但[Into.Object]/1指出

...一个物体在其施工期（11.10.5），整个生命周期（6.7.3）及其破坏时期（11.10.5）占据了一个存储区域（11.7.3）。

我认为，默认会员initializer = x的评估是在新的a对象的“构建”期间发生的事情，这意味着此处是要点，新的a对象已经存在（但其寿命尚未开始），并且旧对象的寿命已经结束。这意味着新的a的初始化读取其x成员的值，其寿命尚未开始，因为其初始化尚未完成，这违反了[basic.life]/ 7.1，将是UB。

在C ++ 20中，foo的定义违反了[dcl.constexpr]/6：

既不默认或模板的constexPR函数，也不需要诊断，如果无法评估在评估任何有效的恒定恒定评估表达式的同时，对函数的调用进行评估。 /p>

这意味着不需要编译器为您的程序发布诊断。

在C ++ 23中，该规则将被废除（请参见 p2448 ），以便您可以争论编译器必须发行A诊断如果他们声称C ++ 23合规性。但是，没有任何编译器能够以恒定表达方式诊断各种核心语言UB（例如，似乎特别困难的诊断的东西是未序列的写作或涉及同一标量对象的未续写的读写），所以不要保持您的呼吸要固定。