C++中const int为何被隐式当作constexpr？其他类型却不适用？

在C++里，为什么const int变量会被当作constexpr处理，但const float这类类型却没有这个规则？这种差异在lambda捕获场景里表现得特别明显：lambda会因为const int被隐式视为constexpr而允许在无捕获上下文中直接使用它，但const float就没这个特性。

示例代码（原问题中的编译差异）：

#include <iostream>

int main()
{
    const int variable = 423; // 此代码可编译
    // const float variable = 423.0f; // 此代码无法编译，因为lambda无捕获且变量不是常量表达式

    auto lambda = [] {
        std::cout << variable << '\n';
    };

    lambda();

    return 0;
}

核心原因：C++标准的整数常量表达式特殊规则 #

C++标准对整数/枚举类型的const变量有特殊规定：如果一个const限定的整数或枚举类型变量，被直接用常量表达式（比如字面量）初始化，那么它本身会被视为「整数常量表达式」，可以在任何需要编译期常量的上下文里使用——包括无捕获lambda的作用域，因为无捕获lambda仅允许访问静态存储期变量或编译期常量。

而对于浮点类型（float/double等），C++标准没有对应的规则。哪怕const float用字面量初始化，它也不属于常量表达式，编译器不会将其视为编译期已知的值。因此在无捕获lambda中使用时，编译器会报错：变量既未被捕获，也不是合法的编译期常量。

解决const float的lambda使用问题 #

如果要在lambda中使用const float变量，只需要显式捕获它即可：

#include <iostream>

int main()
{
    const float variable = 423.0f; 
    auto lambda = [variable] { // 显式捕获变量
        std::cout << variable << '\n';
    };

    lambda();

    return 0;
}

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