Question

继续本主题Variadic template heterogeneous container，我想问以下问题。假设我们有几个类，其中两个成员是动态数组。现在假设存在这些类的一系列对象，它们被打包在异构容器中。在这个序列中，array-mebers之一是“output”向量而另一个array-member是“input”向量，它是指向前一个对象的适当输出数组的指针。此序列实现为可变参数模板类：

//Classes, objects which are members of the sequence
template<int NumberElements>
struct A 
{
    A() : output(new float[NumberElements]){}//allocate output
    ~A(){delete[] output;}
    float *input;//input vector - pointer to output vector from preceding object of sequence 
    float *output;// output vector (size - NumberElements) of current member of sequence
};   
template<int NumberElements> 
struct B 
{
    B() : output(new float[NumberElements]){}//allocate output
     ~B(){delete[] output;}
    float *input;
    float *output;
};
template<int NumberElements>    
struct C 
{
    C() : output(new float[NumberElements]){}//allocate output
    ~C(){delete[] output;}
    float *input;
    float *output;
};

//Container
template<typename...Arg>
struct HeterogenousContainer
{
    HeterogenousContainer();//Do something to setup the sequence
    std::tuple<Arg...> elements;

};

如何为输出向量正确分配内存（通过 new / malloc ），并设置输入指向前面输出向量的指针？例如，我写下一个代码：

HeterogenousContainer<A<5>, B<7>, C<9>> sequence;

我希望序列的第一个成员输入 nullptr ，输入从第二个点输出从第一个，等等。如何正确实现它？

Answer 1

首先，如果可以避免，请不要乱用手动（de）分配。对于一个简单的数组，您可以：

#include <array>
#include <tuple>

template<int NumberElements>
struct A 
{
    float *input;
    std::array<float, NumberElements> output;
};

你只需要对元组进行递归，并专门针对终止案例。我正在倒退，因为第一个元素是你的特例。

namespace detail {
    template <int N> struct Connector;

    template <>
    struct Connector<0> {
        template <typename... TL> static void connect(std::tuple<TL...> &t) {
            std::get<0>(t).input = nullptr;
        }
    };

    template <int N> struct Connector {
        template <typename... TL> static void connect(std::tuple<TL...> &t) {
            std::get<N>(t).input = &std::get<N-1>(t).output.front();
            Connector<N-1>::connect(t);
        }
    };

    template <typename... TL> void connect(std::tuple<TL...> &t) {
        Connector<sizeof...(TL)-1>::connect(t);
    }
}

使用类似这样的东西：

template <typename... Arg> struct HeterogenousContainer {
    std::tuple<Arg...> elements;

    HeterogenousContainer() { detail::connect(elements); }
};

Answer 2

受到Useless' answer的启发（没有双关语意），我想出了这个：

template<typename...Arg>
struct HeterogenousContainer
{
    std::tuple<Arg...> elements;

    void init(std::integral_constant<std::size_t, 0>)
    {
        std::get<0>(elements).input = nullptr;
    }

    template < std::size_t index = sizeof...(Arg)-1 >
    void init(std::integral_constant<std::size_t, index> = {})
    {
        std::get<index>(elements).input = std::get<index-1>(elements).output;
        init(std::integral_constant<std::size_t, index-1>{});
    }

    HeterogenousContainer()
        : elements{}
    {
        init();
    }
};

异构序列生成器

2 个答案: