C++中如何正确使用concept约束模板参数数量？

问题场景 #

想要约束模板类型参数的数量小于3，预期调用F(1,2,3)时无法编译，但使用LessThan3 concept的代码（示例1）却编译通过并输出3；而直接在函数声明中写入requires(sizeof...(Ts) < 3)时（示例2），F(1,2,3)无法编译，符合预期。

代码示例1（不符合预期） #

#include <iostream>
using namespace std;

template <typename ...Ts>
concept LessThan3 = requires {
  sizeof...(Ts) < 3;
};

template <typename... Ts>
requires LessThan3<Ts...>
void F(Ts... ts) {
  cout << sizeof...(ts);
};

int main() {
  F(1, 2, 3);  // 编译通过，不符合预期
}

代码示例2（符合预期） #

#include <iostream>
using namespace std;

template <typename... Ts>
requires(sizeof...(Ts) < 3) 
void F(Ts... ts) {
  cout << sizeof...(ts);
};

int main() {
  F(1,2,3);  // 无法编译，符合预期
}

错误原因分析 #

示例1中的LessThan3 concept定义错误：requires {}块内部的表达式sizeof...(Ts) < 3属于表达式要求，它仅检查该表达式是否能合法编译（语法有效），不会判断表达式的布尔值是否为true。对于任意数量的模板参数Ts，sizeof...(Ts) < 3都是合法表达式，因此这个concept永远为真，无法起到约束作用。

正确的Concept用法 #

Concept本质是编译期布尔谓词，直接将约束条件作为concept的返回值即可，不需要嵌套requires {}块：

#include <iostream>
using namespace std;

template <typename ...Ts>
concept LessThan3 = sizeof...(Ts) < 3;  // 直接使用编译期条件

template <typename... Ts>
requires LessThan3<Ts...>
void F(Ts... ts) {
  cout << sizeof...(ts);
};

int main() {
  F(1, 2);    // 编译通过，输出2
  // F(1, 2, 3);  // 编译报错，符合预期
}

也可以直接将concept作为模板参数的约束简化写法：

template <LessThan3... Ts>  // 直接用concept约束参数包
void F(Ts... ts) {
  cout << sizeof...(ts);
};

修改后，当模板参数数量≥3时，LessThan3<Ts...>的布尔值为false，会触发编译错误，完全符合预期。

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