2

我需要的是创建一个可以容纳相同类型但具有不同维度的 boost::multi_array 的类

假设有一个或多个这样的 Double 数组

boost::multi_array<double, 2> array_2d; //2D array
boost::multi_array<double, 3> array_3d; //4D array
boost::multi_array<double, 4> array_4d; //5D array
etc...

我需要一个可以容纳上述所有类型的容器类，以便以后在需要时能够遵循正确的类型

就像是

GenericArray<double> arr;
arr.IsEmpty() // check if it has valid ref
arr.assign(array_2d); //set reference to

然后使用某种模板逻辑取回对数组的引用

try{
    boost::multi_array<double, 2>& array_2d_ref = arr.get<2>
    //OR
    boost::multi_array<double, 2>& array_2d_ref = arr.get<multi_array<double, 2>>
    // First one look cleaner tho
}catch (ArrayDimentinalityMismatch e){

}

在同一代码块中

arr.assign(array_3d);

try{
    boost::multi_array<double, 2>& array_3d_ref=arr.get<multi_array<double, 3>>
}catch (ArrayDimentinalityMismatch e){

}

这可以使用模板吗？

4

1 回答 1

2

首先，我认为您可能想要评估您的设计。与仿函数一样，很少需要围绕泛型类型参数编写半刚性类型包装器。

但是，如果您确实发现您有此需要，这里有一个使用的解决方案boost::variant：

template <typename T>
struct GenericArray
{
    template <size_t N> using array_t = boost::multi_array<T, N>;

    template <typename Rhs> GenericArray& operator=(Rhs&& rhs) {
        _storage = std::forward<Rhs>(rhs);
        return *this;
    }

    template <size_t N> array_t<N>      & get()       { return boost::get<array_t<N> >(_storage); }
    template <size_t N> array_t<N> const& get() const { return boost::get<array_t<N> >(_storage); }

  private:
    typename detail::make_generic_array_storage<T>::type _storage;
};

如果您在运行时弄错了维度，则成员get<>函数将引发异常。boost::bad_get

现在，诀窍当然是如何_storage实现。我使用一些 Boost MPL 魔法在数组维度列表上生成一个变体：

namespace detail {
    namespace mpl = boost::mpl;

    template <typename T, size_t Mindim = 1, size_t Maxdim = 5>
    struct make_generic_array_storage
    {
        template <size_t N> using array_t = boost::multi_array<T, N>;
        template<typename N> struct to_array_f { typedef array_t<N::value> type; };

        using list = typename mpl::transform<
            mpl::range_c<size_t, Mindim, Maxdim>, 
            to_array_f<mpl::_1>,
            mpl::back_inserter<mpl::vector<> > 
        >::type;

        using type = typename boost::make_variant_over<list>::type;
    };
}

没有什么太复杂的，如果你从高层次来看的话:)

下一步：演示！看见Live On Coliru

GenericArray<double> arr;
arr = array_3d;

try { auto& ref3 = arr.get<3>(); }
catch (boost::bad_get const& e) { std::cout << "L:" << __LINE__ << " " << e.what() << "\n"; }

try { auto& ref2 = arr.get<2>(); } // this fails
catch (boost::bad_get const& e) { std::cout << "L:" << __LINE__ << " " << e.what() << "\n"; }

arr = array_2d;

try { auto& ref2 = arr.get<2>(); } // this succeeds
catch (boost::bad_get const& e) { std::cout << "L:" << __LINE__ << " " << e.what() << "\n"; }

std::cout << "Done";

印刷：

L:58 boost::bad_get: failed value get using boost::get
Done

正如预期的那样。

奖励：要在变体存储上实现更多类似数组的操作，请看这里：

涉及到这个话题

于 2014-10-31T12:32:54.887 回答