使用 scoped_ptr 解压可变参数模板

Question

我正在使用可变参数模板，我想找到解压参数的好方法

template <typename kernel_type, typename ...kernel_types>
class MetaKernel : public MyKernel<kernel_type, kernel_types...> {
public:
    MetaKernel (
        unsigned int m,
        unsigned int n,
        const kernel_type& kernel_,
        const kernel_types&... kernels_
    ) :
        MyKernel<kernel_type, kernel_types...>(m, n)
    {
        Ks.set_max_size(sizeof...(kernel_types));
        Ks.set_size(sizeof...(kernel_types));
        // for each kernels_, add a MyObsKernel to Ks
        // Ks[sizeof...(kernel_types)].reset((new MyObsKernel<kernel_type, kernel_types...>(kernels_, prototypes_, m, n))...);
    }
private:
    array < scoped_ptr < MyObsKernel<kernel_type, kernel_types...> > > Ks;
}

从文档 (http://en.cppreference.com/w/cpp/language/parameter_pack) 中，我看到了如何像这样解包：

int dummy[sizeof...(Ts)] = { (std::cout << args, 0)... };

但是当我正在处理 scoped_ptr 表时，我需要使用“重置”来初始化它。所以我的解决方案不起作用。如何使用 scoped_ptr 解压缩参数？

感谢您的帮助， 杰罗姆

Answer 1

您可以使用初始化列表初始化std::array。以下可能会有所帮助：https://ideone.com/PTwatb

MetaKernel (unsigned int m, unsigned int n, const kernel_type& kernel_, const kernel_types&... kernels_) :
    MyKernel<kernel_type, kernel_types...>(m, n),
    Ks({scoped_ptr<MyObsKernel<kernel_type, kernel_types...> >(new MyObsKernel<kernel_type, kernel_types...>(kernels_, kernel_, m, n))...})
{
}

Answer 2

正如我在评论中所说，您的问题不完整。我知道Ks 是大小为N = sizeof...(kernel_types) 的std::array，并且您想在每个元素上调用reset()。如果是这样，这里有一个解决方案：

struct _do { template<typename... A> _do(A&&...) { } };

template <typename kernel_type, typename ...kernel_types>
class MetaKernel : public MyKernel<kernel_type, kernel_types...>
{
    using Base = MyKernel<kernel_type, kernel_types...>;
    using Obs  = MyObsKernel<kernel_type, kernel_types...>;
    static constexpr size_t N = sizeof...(kernel_types);

public:
    MetaKernel (
        unsigned int m,
        unsigned int n,
        const kernel_type& kernel_,
        const kernel_types&... kernels_
    ) : Base(m, n)
    {
        reset(std::make_integer_sequence<size_t, N>(), m, n, kernels_...);
    }

private:
    template<size_t... I>
    void reset (
        std::integer_sequence<size_t, I...>,
        unsigned int m,
        unsigned int n,
        const kernel_types&... kernels_
    )
    {
        _do{Ks[I].reset(new Obs(kernels_, /*prototypes_,*/ m, n))...};
    }

    array <scoped_ptr <Obs>, N> Ks;
};

我正在使用辅助对象 _do 和 C++14 功能 std::integer_sequence, std::make_index_sequence。如果这个不可用，可以查看Rangehere，其中_do也有说明。

除了构造函数之外，您还需要第二个函数来推导出索引包I... 并使用它与参数kernels_... 对齐，以便每个参数在@ 的一个元素上的reset() 调用中恰好使用一次987654338@.

如果你有更多这样的解包操作，最好在整个类中有I...，直接使用。然后，您将只需要第二个 MetaKernelImpl 类，而不是为每个函数添加第二个版本。此类将有一个额外的模板参数，专用于std::integer_sequence<size_t, I...>，用于某些推导包size_t... I。再次查看Callerhere，看看如何做到这一点。