C++要求模板变量数小于N,但失败

我想将模板类型的数量限制为小于3。我预料到了 F(1,2,3) 没有编译,但它确实编译并打印了3。

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);  // Compile
}

但是,如果我明确地 sizeof...(Ts) < 3 在函数声明中, F(1,2,3) 不会编译,按预期工作。

template <typename... Ts>
requires(sizeof...(Ts) < 3) void F(Ts... ts) {
void F(Ts... ts) {
  cout << sizeof...(ts);
};
// F(1,2,3) doesn't compile, expected.

正确的方式是什么 require 一个概念?