C++如何创建支持任意构造参数的可变参数模板类并按需取参？

完全可以实现这样的模板类，核心思路是利用可变参数模板和std::tuple来存储参数，同时通过编译期检查保证参数数量与指定的Size一致。以下是完整的实现方案：

关键实现要点 #

• 用std::tuple<Types...>作为类的成员变量，存储构造时传入的所有参数
• 在构造函数中添加编译期断言，确保Size和实际参数数量sizeof...(Types)严格匹配
• 利用std::apply和参数展开，将tuple中的值赋值给get方法传入的引用参数

完整代码实现 #

#include <string>
#include <tuple>
#include <utility>

template<size_t Size, typename... Types>
class Container
{
private:
    std::tuple<Types...> m_args; // 存储参数的tuple

public:
    Container(Types... args) 
        : m_args(std::forward<Types>(args)) // 完美转发参数到tuple
    {
        // 编译期检查：确保参数数量与Size一致
        static_assert(sizeof...(Types) == Size, 
                      "Number of arguments must match the specified Size");
    }

    void get(Types&... args) 
    {
        // 将tuple中的每个元素赋值给对应的引用参数
        std::apply([&](auto&&... tuple_args) {
            ((args = std::forward<decltype(tuple_args)>(tuple_args)), ...);
        }, m_args);
    }
};

int main() 
{
    Container<3, int, double, std::string> container(10, 2.5, "smth");
    int a{};
    double b{};
    std::string c {};
    container.get(a, b, c);
    // 此时a=10，b=2.5，c="smth"
    return 0;
}

代码说明 #

1. 编译期检查：static_assert会在编译阶段验证参数数量是否符合要求，如果传入的参数数量和Size不匹配，直接抛出编译错误，避免运行时问题。
2. 参数存储：std::tuple是C++标准库中专门用于存储不同类型元素的容器，完美适配可变参数模板的需求。构造时用std::forward实现完美转发，保证参数的移动语义。
3. 参数获取：std::apply可以将tuple的元素展开为函数参数，配合折叠表达式((args = ...), ...)，逐个将tuple中的值赋值给传入的引用参数。

如果需要支持更灵活的参数获取（比如按索引获取单个参数），还可以添加额外的成员函数：

template<size_t Index>
auto& get()
{
    static_assert(Index < Size, "Index out of bounds");
    return std::get<Index>(m_args);
}

这样就可以通过container.get<0>()直接获取第一个参数的引用。

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