使用在每种类型的可变参数模板上模板化的类初始化元组

Question

标题可能很难解析，所以这就是我的意思。假设我有几个 A、B1、B2、B3 ...... Bn 类，我想在某个 B 类上保存一个 A 的元组模板。有效的最终结果可能类似于tuple<A<B3>, A<B1>> _chain。这将包含在我们称为 C 的容器类中。我正在寻找的是用一堆 B 类型初始化 C，然后将它们包装在我的 A 类中。我不能简单地做

template<class... T>
class C
{
    std::tuple<T...> _chain;
public:
    C(const T&... t) : _chain(t...) { }
};

因为那样我最终会得到一个 Bs 元组。是否有符合人体工程学的方法来包装 init 步骤 (_chain(t...))，这样我最终将在传递给该类的 B 类上得到一个模板化的 A 元组？

Answer 1

你的意思是这样的：

template<template <typename> typename Base, class... T>
class C
{
    std::tuple<Base<T>...> _chain;
public:
    C(const Base<T>&... t) : _chain(t...) { }
};

你可以这样使用它：C<A, B1, B2, B3> c;

_chain 将成为一个元组 tuple<A<B1>, A<B2>, A<B3>>。