C++如何将硬编码分数以constexpr单行形式强制编译期计算？

我写了一个检查浮点数x是否大于1/3的简单函数：

bool check(float x) {
   return x > 1.f/3;
}

我知道编译器可能会为了性能在编译期计算1.f/3的结果，但这不是强制行为。为了强制编译器执行编译期计算，通常的推荐写法是：

bool check(float x) {
   constexpr float one_third = 1.f/3;
   return x > one_third;
}

我的问题是：有没有不需要单独定义变量的单行实现方式？比如类似下面这种写法（但我试了不可行）：

bool check(float x) {
   return x > (constexpr float(1.f/3));
}

我想知道constexpr lambda或者consteval能不能实现这种单行写法？

1. 使用constexpr lambda（C++17及以上） #

利用constexpr lambda可在编译期执行的特性，直接在表达式中定义并调用lambda，无需单独声明变量：

bool check(float x) {
    return x > []() constexpr { return 1.f / 3; }();
}

标记为constexpr的lambda会确保返回值在编译期计算完成，效果与使用constexpr变量完全一致。

2. 使用consteval lambda（C++20及以上） #

如果想要更严格地强制编译期计算（完全禁止运行期执行），可以用consteval修饰lambda：

bool check(float x) {
    return x > []() consteval { return 1.f / 3; }();
}

consteval要求lambda必须在编译期求值，彻底杜绝了运行期计算的可能性。

3. 使用C++20标准库常量（推荐） #

C++20的<numbers>头提供了预定义的编译期浮点常量，其中std::numbers::one_third_v<float>就是float类型的1/3常量，直接使用即可：

#include <numbers>

bool check(float x) {
    return x > std::numbers::one_third_v<float>;
}

这种方式无需自行计算，直接复用标准库的编译期常量，代码更简洁可靠。

为什么你之前的写法不可行 #

constexpr float(1.f/3)是非法语法，constexpr是用于声明变量、函数、lambda等实体的说明符，不能直接用来构造临时的constexpr对象。必须通过constexpr变量、constexpr函数/lambda等合法的constexpr实体来实现编译期计算。

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