C++20中含折叠表达式的requires子句始终不满足的问题

错误原因 #

你编写的代码中，后置requires (... && (ts > 2))触发编译错误的核心原因是：
模板的约束（包括requires子句）是在模板实例化阶段评估的，此时函数形参ts属于运行时变量——哪怕调用时传入字面量8，在模板推导阶段，编译器仅能确定模板参数Ts的类型（如int），无法获取ts的具体值（函数调用参数的实际值是运行时确定的，除非显式声明为编译期常量）。

requires子句要求内部表达式必须是常量表达式，而函数形参ts并非编译期可求值的常量，因此编译器报错。

解决方案 #

根据你的需求，分两种场景处理：

场景1：强制参数为编译期常量并检查 #

如果要求参数值必须在编译期确定并完成检查，可将函数参数声明为constexpr（C++20支持该特性），同时保留requires约束：

#include <type_traits>

template <typename T>
concept integral = std::is_integral_v<T>;

template <integral... Ts>
void f(constexpr Ts... ts) requires (... && (ts > 2))
{
    // 函数逻辑
}

int main() {
    f(8, 6); // 正常编译，8和6是编译期常量
    // int x = 5;
    // f(x); // 报错，x不是编译期常量
}

此处constexpr Ts... ts强制参数必须是编译期可求值的常量，此时ts能在requires子句中作为常量表达式被评估。

场景2：允许运行时参数，在运行时检查值 #

如果不需要参数是编译期常量，可将值检查移至函数体内，结合编译期检查（仅对常量参数生效）和运行时检查覆盖所有情况：

#include <type_traits>
#include <cassert>

template <typename T>
concept integral = std::is_integral_v<T>;

template <integral... Ts>
void f(Ts... ts)
{
    // 编译期检查：仅对编译期常量参数生效
    static_assert((... && (ts > 2)), "所有参数必须大于2");
    // 运行时检查：覆盖所有参数场景
    assert((... && (ts > 2)) && "所有参数必须大于2");
    // 函数逻辑
}

int main() {
    f(8, 6); // 正常编译运行
    int x = 5;
    f(x, 3); // 运行时触发assert断言
}

补充优化 #

你自定义的integral概念可以直接替换为标准库提供的std::integral（需包含<concepts>头文件），无需自行实现：

#include <concepts>

template <std::integral... Ts>
void f(constexpr Ts... ts) requires (... && (ts > 2))
{
    // ...
}

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