C++20中局部const变量为何可用于constexpr变量初始化？

int main(void)
{
    const int ci = 42;
    constexpr int j = ci; 
}

这段代码可以正常编译，但我认为它应为非法。依据C++20标准，初始化器42是经恒等转换为int的整型常量表达式，转换后的表达式属于核心常量表达式（[const.expr]/9）。

我认为表达式ci不可用于常量表达式：尽管它是potentially-constant变量（const限定的整型变量），但它未被constant-initialized（无静态生存期），因此无法应用[const.expr]/4规则（该规则要求变量需同时为potentially-constant且constant-initialized）。

在初始化j时，对ci的左值执行了左值到右值转换，但该对象不可用于常量表达式，我认为此转换不符合[const.expr]/(5.9)的允许规则，程序应非法。

而C17的规则更清晰，(2.7.1)条款明确允许此类情况。请问我在C20规则的理解上存在哪些偏差？

规则理解偏差解析 #

你对C++20规则的核心误解在于，误将[const.expr]/4的适用场景套用到了左值到右值转换的规则中。

C++20的[const.expr]/5.9条款，明确规定了左值到右值转换在常量表达式中被允许的情况，其中包含针对非静态potentially-constant变量的放宽条件：

• 若变量是potentially-constant类型（const限定的算术/枚举类型、引用类型），且它的初始化器是一个常量表达式，那么对该变量的左值到右值转换是被允许的。

你的代码里，ci是const限定的int类型（属于potentially-constant），它的初始化器42是标准意义上的常量表达式，完全符合[const.expr]/5.9的这条规则。因此constexpr int j = ci;是合法的。

你之前错误地只关注了[const.expr]/4中「变量本身作为常量表达式需满足constant-initialized且有静态生存期」的要求，但这个条款针对的是变量直接作为常量表达式使用的场景，而不是「对变量进行左值到右值转换」的场景。在初始化constexpr变量时，我们触发的是左值到右值转换的规则，而非直接将ci作为常量表达式使用。

本质上，C20延续了C17允许此类场景的规则，只是条款的组织结构做了调整，并没有收紧限制。

内容的提问来源于stack exchange，提问作者mada