为何局部类有时无法访问函数作用域内定义的constexpr变量？

先看这段无法编译的代码：

#include <iostream>

int main()
{
    constexpr int kInt = 123;
    struct LocalClass {
        void func(){
            const int b = std::max(kInt, 12); 
            //                     ^~~~  
            // 错误：使用了来自包含函数的自动存储期局部变量
            std::cout << b;
        }
    };
    LocalClass a;
    a.func();
    return 0;
}

再看这段可以正常运行的代码：

#include <iostream>
#include <vector>

int main()
{
    constexpr int kInt = 123;
    struct LocalClass {
        void func(){
            const int b = std::max((int)kInt, 12); // 新增了强制类型转换"(int)"
            std::cout << b;
            const int c = kInt; // 这也可以正常运行
            std::cout << c;
            const auto d = std::vector{kInt}; // 同样可以正常运行
            std::cout << d[0];
        }
    };
    LocalClass a;
    a.func();
    return 0;
}

上述代码在C17和C20标准下表现一致。

核心原因拆解 #

C++标准规定：函数内定义的局部类，其成员函数不能访问外部函数的自动存储期变量——哪怕这个变量是constexpr类型。问题的关键在于代码中对kInt的使用方式，是否触发了对该自动变量存储的访问：

1. 编译失败的场景
   std::max(kInt, 12)中，std::max是模板函数，由于kInt是左值，模板参数会被推导为int&（左值引用）。此时std::max的实现需要绑定到kInt的实际存储位置，但kInt是main函数的自动变量，局部类的成员函数无权访问，因此编译报错。

2. 编译成功的场景

• 强制类型转换(int)kInt：转换操作会生成一个临时的int右值，std::max的模板参数推导为int（值类型），此时传递的是kInt的常量值123，不需要访问原变量的存储，绕过了局部类的访问限制。
• 直接赋值const int c = kInt：这里kInt被当作编译期常量表达式处理，编译器直接将其值123替换到初始化语句中，本质是常量赋值，没有运行时访问外部变量的操作，因此合法。
• std::vector{kInt}初始化：初始化列表中的kInt同样被视为编译期常量，直接用值123初始化vector的元素，不涉及对外部自动变量的存储访问，所以编译通过。

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