如何用C++模板与概念实现函数接收指定数量的参数

想要编写一个通过非类型模板参数指定可接收参数数量的函数，预期行为示例如下：

template<int count>
void foo(int... args) { ... }

foo<1>(0); // 编译成功
foo<2>(0); // 编译错误
foo<3>(0, 0, 0); // 编译成功

模板参数count决定函数可接收的int类型参数数量。尝试了以下实现，但编译失败：

template <int a, int b>
concept equal = (a == b);

template <int size>
void foo(int... args) requires equal<sizeof...(args), size>
{ ... }

方法一：直接使用requires子句（C++20及以上） #

无需额外定义concept，直接在函数模板的requires约束中判断参数包大小与模板参数是否相等，写法简洁直观：

template <int Size>
void foo(int... args) requires (sizeof...(args) == Size)
{
    // 函数逻辑
}

编译期会直接校验参数数量，不符合要求时触发编译错误。

方法二：静态断言（C++11及以上） #

如果项目不支持C++20，static_assert是兼容性更好的方案，能在编译期抛出明确的自定义错误提示：

template <int Size>
void foo(int... args)
{
    static_assert(sizeof...(args) == Size, "传入的参数数量与指定的Size不匹配");
    // 函数逻辑
}

调用参数数量不匹配时，编译器会输出你定义的错误信息，便于定位问题。

方法三：修复自定义concept的写法 #

若坚持使用自定义concept，需调整concept的参数关联逻辑，确保参数包大小能被正确推导校验：

template <int ExpectedSize, int... Args>
concept ArgCountMatches = (sizeof...(Args) == ExpectedSize);

template <int Size>
void foo(int... args) requires ArgCountMatches<Size, args...>
{
    // 函数逻辑
}

这里的ArgCountMatches概念明确关联了预期大小和参数包，编译器可正确完成约束校验。

• 若使用C++20，直接用requires子句是最简洁的选择，代码量少且语义清晰。
• 若需要兼容C++11/14/17，静态断言是最佳方案，无需引入新语法，错误提示直观。

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