可以用C语言初始化另一个易失性变量吗？

Question

C标准允许根据缺陷报告1688（已于2013年9月解决）使用constexpr volatile变量：

这种组合是有意允许的，在某些情况下可以用来强制常量初始化。

看起来，其目的是只允许构造易失性，这在C 20之前是不可用的。

在某些情况下，当前的编译器在处理constexprvolatile方面仍然存在分歧。例如，此程序通过另一个变量初始化一个这样的变量：

int main() {
    constexpr volatile int i = 0;
    constexpr volatile int j = i;
    return j;
}

它在GCC和MSVC中被接受，但Clang抱怨：

error: constexpr variable 'j' must be initialized by a constant expression
    constexpr volatile int j = i;
                           ^   ~
note: read of volatile-qualified type 'const volatile int' is not allowed in a constant expression
    constexpr volatile int j = i;

在线演示：https://gcc.godbolt.org/z/43ee65Peq

哪个编译器就在这里，为什么？

Answer 1

您链接的缺陷报告显示它不应该工作，所以Clang是正确的。

（…）“使用constexpr定义的非易失性对象”（…）是允许的，但这样的变量不能出现在常量表达式中。目的是什么？

但更有趣的是：为什么Clang关心而其他编译器不关心？

在我看来，这是因为JF Bastien，一个在Clang/LLVM世界中非常有影响力的人物，他个人不喜欢volatile：）

很长时间以来，他一直建议将它从语言中删除。因此，如果允许在某个地方禁止volatile，他可能会不遗余力地做到这一点。如果没有其他原因，仅仅是为了防止人们编写代码，如果他的建议最终被接受，这些代码将不得不重写。

他还在CppCon上介绍了他的弃用提案，如果你想知道他的理由。

Answer 2

铿锵是正确的。从< code>i初始化< code>j要求在< code>i上执行左值到右值的转换，但是根据[expr.const]/5.9，在常量表达式中不允许在< code>volatile glvalue上执行左值到右值的转换。由于< code>i是一个< code>constexpr变量，因此它必须由常量表达式初始化。

我不知道为什么GCC和MSVC选择不执行这条规则，除了所有的C编译器永远人手不足，不能实现他们被期望的一切。