如何在constexpr函数中实现输入的编译期验证？

你遇到的问题核心是：constexpr函数的参数在函数定义阶段并非编译期常量，因此直接用static_assert或if constexpr引用参数做条件会报错。以下是几种可行的实现方式：

方法1：模板非类型参数（C++11及以上） #

将输入值作为模板的非类型参数，确保其在编译期确定，此时可直接用static_assert做验证：

template<int n>
constexpr int half()
{
    static_assert(n > 100, "输入值必须大于100");
    return n >> 1;
}

调用示例：

// 编译通过
constexpr int valid_val = half<101>();
// 编译报错，触发static_assert提示
// constexpr int invalid_val = half<50>();

这种方式的优点是验证逻辑严格，错误信息清晰；缺点是只能接受编译期常量输入，无法传入运行期变量。

方法2：consteval函数（C++20及以上） #

将函数声明为consteval，强制函数必须在编译期求值，此时传入的参数必然是编译期常量，可直接使用static_assert：

consteval int half(int n)
{
    static_assert(n > 100, "输入值必须大于100");
    return n >> 1;
}

调用示例：

// 编译通过
constexpr int valid_val = half(101);
// 编译报错，触发static_assert提示
// constexpr int invalid_val = half(50);
// 编译报错，运行期变量无法传入consteval函数
// int runtime_val = 101;
// int c = half(runtime_val);

这种方式保留了函数参数的语法形式，同时强制编译期验证；缺点是无法支持运行期调用，仅适用于必须编译期计算的场景。

方法3：编译期+运行期双重验证（C++20及以上） #

利用std::is_constant_evaluated()区分编译期与运行期求值，分别处理验证逻辑：

#include <type_traits>
#include <cassert>

constexpr int half(int n)
{
    if (std::is_constant_evaluated())
    {
        // 编译期求值时，条件不满足则触发编译错误
        if (!(n > 100))
        {
            throw "编译期错误：输入值必须大于100";
        }
    }
    else
    {
        // 运行期求值时，用断言做验证
        assert(n > 100 && "运行期错误：输入值必须大于100");
    }
    return n >> 1;
}

调用示例：

// 编译通过
constexpr int valid_val = half(101);
// 编译报错，触发编译期throw
// constexpr int invalid_val = half(50);
// 运行期调用，若输入值<=100会触发断言失败
int runtime_val;
std::cin >> runtime_val;
int c = half(runtime_val);

这种方式同时支持编译期和运行期调用，各自执行验证；缺点是编译期错误信息不如static_assert直观，且依赖C++20特性。

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