C++模板类如何实现构造函数接收恰好R个参数（编译期校验）

现有如下C++模板类：

template<int R> class dummy{
    public:
        // functions
    private:
        int arr[R];
};

需要为其实现一个恰好接收R个参数的构造函数，用于初始化成员数组arr，期望使用方式如下：

dummy<3> a(1,2,3); // 使array[0]=1，array[1]=2，以此类推...

已知一种类似实现，但存在参数数量校验缺陷：

template<int R> class dummy{
    public:
        dummy(const int(&list)[R]){
            for (int i = 0; i < R; i++) arr[i] = list[i];
        }
    private:
        int arr[R];
};

该实现的问题：

dummy<3> a({1,2,3});    // 正常
dummy<3> b({1,2});      // 可通过编译，但arr[2]会被自动补0
dummy<3> c({1,2,3,4});  // 编译期错误

需要编译期强制保证传入的参数数量恰好等于R，参数过少时必须触发编译错误，且解决方案需适配模板参数R的动态值，不能使用硬编码断言。

方法1：可变参数模板构造函数 + 编译期断言 #

利用C++11引入的可变参数模板，配合static_assert和sizeof...运算符，在编译期校验参数数量与R完全匹配，同时通过参数包展开直接初始化数组：

#include <utility>

template<int R> class dummy{
public:
    template<typename... Args>
    explicit dummy(Args&&... args)
        : arr{std::forward<Args>(args)...}
    {
        // 编译期断言：参数数量必须等于模板参数R
        static_assert(sizeof...(Args) == R, "参数数量必须与模板参数R一致");
        // 可选：校验所有参数可转换为int类型
        static_assert((std::is_convertible_v<Args, int> && ...), "所有参数必须可转换为int");
    }

private:
    int arr[R];
};

使用验证：

dummy<3> a(1,2,3); // 正常编译
dummy<3> b(1,2);   // 编译错误：static_assert触发断言失败
dummy<3> c(1,2,3,4);// 编译错误：static_assert触发断言失败
dummy<3> d(1, 2.5); // 编译错误：参数类型不可转换为int（开启类型校验时）

方法2：C++20约束（requires）增强版 #

如果使用C++20及以上版本，可通过requires子句替代static_assert，错误提示更贴合编译器原生约束反馈，可读性更强：

#include <concepts>

template<int R> class dummy{
public:
    template<typename... Args>
    explicit dummy(Args&&... args) 
        requires (sizeof...(Args) == R && (std::convertible_to<Args, int> && ...))
        : arr{std::forward<Args>(args)...}
    {}

private:
    int arr[R];
};

方法3：std::array构造参数（编译期严格匹配） #

依赖std::array的编译期固定大小特性，直接以std::array<int, R>作为构造参数，传入大小不匹配的数组会直接触发编译错误：

#include <array>
#include <algorithm>

template<int R> class dummy{
public:
    explicit dummy(const std::array<int, R>& init_arr)
    {
        std::copy(init_arr.begin(), init_arr.end(), arr);
    }

private:
    int arr[R];
};

使用方式：

dummy<3> a(std::array{1,2,3}); // 正常编译
dummy<3> b(std::array{1,2});   // 编译错误：std::array大小不匹配
dummy<3> c(std::array{1,2,3,4});// 编译错误：std::array大小不匹配

• 方法1、2的可变参数方案更贴近dummy<3> a(1,2,3)的直接传参需求，所有校验都在编译期完成，无运行时开销。
• 方法3的std::array方案依赖标准库类型安全特性，实现更简洁直观。
• 所有方案均无需硬编码断言值，完全适配模板参数R的动态变化。

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