可变模板异构容器答案

【问题标题】：Variadic template heterogeneous container可变模板异构容器
【发布时间】：2013-07-28 14:47:50
【问题描述】：

我需要实现一些具有异构元素的可变参数模板容器类，它允许通过这些元素进行迭代。我的第一个想法是使用带有可变参数的 std::tuple 成员创建类，但是通过类似数组的方式（通过循环）从元组中获取元素是不可能的：

struct A {void prnt(){std::cout<<"A\n";} };    
struct B {void prnt(){std::cout<<"B\n";} };    
struct C {void prnt(){std::cout<<"C\n";} };

template<typename...Arg>
struct Prc
{
    Prc() : NumElems(sizeof...(Arg)), mems(std::make_tuple(Arg()...)){}

    int NumElems;
    std::tuple<Arg...> mems;

    void process()
    {
        for(int i=0; i<NumElems; ++i)
         std::get<i>(mems).prnt();//It's forbidden: "i" must be a constant
    }
};

int main()
{
    Prc<A,B,C> obj;
    obj.process();
}

有什么想法吗？

附：我不想使用 boost 异构容器，例如 boost::variant 或 boost::any

【问题讨论】：

Indices.
我不确定你所说的“大规模的方式”是什么意思。

标签： c++ c++11 metaprogramming compile-time

【解决方案1】：

这是使用索引完成的：

namespace detail
{
    template <int... Is>
    struct index { };

    template <int N, int... Is>
    struct gen_seq : gen_seq<N - 1, N - 1, Is...> { };

    template <int... Is>
    struct gen_seq<0, Is...> : index<Is...> { };
}

template <typename...Args>
struct Prc
{
    std::tuple<Args...> mems;

    template <int... Is>
    void process(detail::index<Is...>)
    {
         auto l = { (std::get<Is>(mems).prnt(), 0) ... };
    }

    void process()
    {
        process(detail::gen_seq<sizeof...(Args)>());
    }
};

【讨论】：

为什么我不能替换“命名空间细节”？在这种情况下它不会编译。
@gorill 抱歉，我在原始代码中犯了一些错误。我更新了我的答案，请看一下。
没关系）））我找到了）））

【解决方案2】：

下面是一些迭代元组的代码：

struct A { void print () { clog << "A" << endl; } };
struct B { void print () { clog << "B" << endl; } };
struct C { void print () { clog << "C" << endl; } };

template<unsigned N>
struct iter
{
    template<typename T>
    static void f (T &t)
    {
        iter<N-1>::f (t);
        get<N> (t).print ();
    }
};

template<>
struct iter<0>
{
    template<typename T>
    static void f (T &t)
    {
        get<0> (t).print ();
    }
};

以及调用代码：

    tuple <A,B,C> t;
    iter<tuple_size<decltype(t)>::value-1>::f (t);

我认为您可以对其进行修改以满足您的需要。您代码中的 NumElements 在编译时是已知的，因此我认为您会完全删除该成员。

【讨论】：