c++ - 在不捕获的情况下访问 lambda 表达式中的 constexpr 变量

Question

在以下示例中，我可以从 lambda y 内部访问 constexpr 变量 x 而无需显式捕获它。如果 x 未声明为 constexpr，则这是不可能的。

是否有适用于 constexpr 进行捕获的特殊规则？

int foo(auto l) {
    // OK
    constexpr auto x = l();
    auto y = []{return x;};
    return y();

    // NOK
    // auto x2 = l();
    // auto y2 = []{ return x2; };
    // return y2();        
}

auto l2 = []{return 3;};

int main() {
    foo(l2);
}

Answer 1

Are there special rules that apply to constexpr for capturing/accessing?

是的，constexpr 变量可以在不捕获 lambda 的情况下被读取:

A lambda expression can read the value of a variable without capturing it if the variable

• has const non-volatile integral or enumeration type and has been initialized with a constant expression, or
• is constexpr and trivially copy constructible.