如何实现接受编译期已知数量整数的C++函数？

针对需要编译期确定整数数量、仅使用栈内存、拒绝元素数量不匹配输入的需求，以下是两种可行的解决方案：

方案一：初始化列表+编译期断言 #

利用std::initializer_list的编译期size特性，配合static_assert强制检查输入元素数量与模板参数N完全一致，同时保留std::array的栈内存特性：

#include <array>
#include <initializer_list>

// 核心函数：接收array和初始化列表，做编译期检查
template <unsigned N>
void myFunc(std::array<int, N> values, std::initializer_list<int> il)
{
    static_assert(il.size() == N, "必须传入恰好N个整数");
    // 在这里对values执行操作
}

// 辅助重载：简化调用，无需手动构造array
template <unsigned N>
void myFunc(std::initializer_list<int> il)
{
    myFunc<N>(std::array<int, N>{il}, il);
}

调用示例 #

myFunc<4>({1, 2, 3, 4}); // 正常编译
myFunc<4>({1, 2});       // 触发编译错误：static_assert断言失败

这个方案既保留了初始化列表的调用形式，又通过编译期断言杜绝了元素数量不足的问题，所有数据都存储在栈上，无动态内存分配。

方案二：参数包语法（更直观的调用方式） #

利用C++11引入的模板参数包，直接接收任意数量的int参数，在编译期强制检查参数数量和类型，完全避免初始化列表的隐式转换问题：

版本1：自动推导参数数量 #

如果不需要手动指定N，让编译器自动推导参数个数：

#include <array>
#include <type_traits>

template <typename... Args>
void myFunc(Args... args)
{
    // 强制所有参数都是int类型
    static_assert((... && std::is_same_v<Args, int>), "所有参数必须为int类型");
    constexpr unsigned N = sizeof...(Args);
    std::array<int, N> values = {args...};
    // 对values执行操作
}

版本2：强制指定N #

如果需要手动固定N，添加编译期断言检查参数数量：

#include <array>
#include <type_traits>

template <unsigned N, typename... Args>
void myFunc(Args... args)
{
    static_assert(sizeof...(Args) == N, "参数数量必须等于N");
    static_assert((... && std::is_same_v<Args, int>), "所有参数必须为int类型");
    std::array<int, N> values = {args...};
    // 对values执行操作
}

调用示例 #

// 版本1调用
myFunc(1, 2, 3, 4); // 自动推导N=4，正常编译
myFunc(1, 2);       // 自动推导N=2，正常编译

// 版本2调用
myFunc<4>(1, 2, 3, 4); // 正常编译
myFunc<4>(1, 2);       // 触发编译错误：参数数量不匹配

参数包方案的优势在于调用更直观，无需额外的大括号，且编译期检查更严格，完全不会出现元素未初始化的情况，所有参数都直接在栈上传递。

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