C++类内存储模板参数包出现编译错误该如何处理？

错误原因 #

• C++语法不允许直接将模板参数包作为成员变量的类型声明：模板参数包是多个类型/值的集合，不是单个合法类型，Args... args;的写法不符合成员变量的声明规则，因此触发第一个编译错误。
• 删除...后，Args args中的模板参数包没有被正确展开，编译器无法识别未展开的参数包作为类型，因此触发第二个错误。

正确实现方案 #

方案1：使用std::tuple存储参数包（C++11及以上支持，最通用） #

直接将参数包的所有值存储到tuple成员中，需要使用时再从tuple里取对应位置的元素即可，是目前实现该需求的最常用方案。

#include <tuple>

template<typename... Args>
class Test {
private:
    std::tuple<Args...> args; // 用tuple承接展开后的参数包类型
public:
    // 完美转发构造，避免不必要的拷贝
    template<typename... InArgs>
    Test(InArgs&&... in) : args(std::forward<InArgs>(in)...) {}

    // 示例工具方法：获取第N个位置的元素
    template<std::size_t N>
    decltype(auto) get() {
        return std::get<N>(args);
    }
};

使用示例：

Test<int, std::string, double> t(10, "test", 3.14);
std::cout << t.get<0>(); // 输出10
std::cout << t.get<1>(); // 输出test

方案2：递归继承存储（适合需要逐个操作参数包元素的场景，C++11及以上支持） #

如果需要对参数包每个元素做单独的特化处理，可以用递归继承的方式拆解参数包：

// 类前置声明
template<typename... Args>
class Test;

// 递归终止特化：空参数包场景
template<>
class Test<> {};

// 递归展开特化：每次拆解第一个参数
template<typename First, typename... Rest>
class Test<First, Rest...> : private Test<Rest...> {
private:
    First value;
public:
    Test(First first, Rest... rest) : Test<Rest...>(rest...), value(first) {}

    // 获取当前层存储的元素
    First& get_head() {
        return value;
    }

    // 获取存储剩余参数的父类实例引用
    Test<Rest...>& get_tail() {
        return *this;
    }
};

方案3：C++20 成员变量包展开 #

C20新增了聚合体成员的包展开支持，可以直接在结构体内部声明参数包成员，适合高版本C使用场景：

template<typename... Args>
class Test {
private:
    struct { Args... args; } storage;
public:
    Test(Args... in) : storage{in...} {}
};

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