C++ as in Java?: 具有 *variable* int 长度的向量向量

Question

我的模型最好使用一些

v int[30][i][N_i];

结构是 30 个整数元组向量，其中

v[0] 是一个假人，
v[1] 是普通整数（其中 N_0 个），
v[2] 是 int 对（N_1 对）
...
v[29] 将是 29 个 int 元组（其中 N_29 个）

这不是 vector<vector<int>> 就像在“generic-vector-of-vectors-in-c”中一样

显然，外部固定的dim=30没有问题，内部的由自扩展STL向量类处理。

有没有办法让中间维度固定，但不是恒定的？

Answer 1

正如我在对您的问题的评论中所写的那样，我不确定您在寻找什么（顺便说一句，我对“as in Java”部分非常感兴趣）。

但由于我认为使用 Boost.MPL（以及 Fusion... 和 Array）生成它会很有趣，我假设您想要一个静态定义的结构，其Ntn 元素是大小为 N 的 int 数组的向量：

#define FUSION_MAX_VECTOR_SIZE 30

#include <boost/mpl/transform.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/inserter.hpp>
#include <boost/mpl/range_c.hpp>
#include <boost/mpl/size_t.hpp>

#include <boost/fusion/include/mpl.hpp>
#include <boost/fusion/include/at_c.hpp>
#include <boost/fusion/include/as_vector.hpp>

#include <boost/array.hpp>

#include <vector>


namespace bf = boost::fusion;
namespace bmpl = boost::mpl;

// Type generator used for elements 2..N
// For those elements, the type of the n'th element is
// std::vector<boost::array<int, n>>
template<class SizeT>
struct VectorOfArray
{
    typedef std::vector<boost::array<int, SizeT::type::value> > type;
};

// The dummy type used for the first element
struct Dummy{};

// The container itself
template<size_t Size>
struct StrangeContainer
{

    // Define a fusion::vector (this is, more or less, equivalent to a tuple)
    // of "Size" elements, where:
    // - the type of element 0 is Dummy, 
    // - the type of element 1 is vector<int>
    // - the type of the n'th element is vector<array<int, n>>
    typedef typename bf::result_of::as_vector<
        typename bmpl::transform<
            bmpl::range_c<size_t, 2, Size>,
            VectorOfArray<bmpl::_1>,
            bmpl::back_inserter<
                bmpl::vector<Dummy, std::vector<int> >
            >
        >::type
    >::type ContentsType;

    // Helper struct to compute the return type of the "At()" member
    template<size_t I>
    struct ElemType
    {
        typedef typename VectorOfArray<bmpl::size_t<I> >::type type;
    };

    // Specialize "At()"'s return type for element 1
    template<>
    struct ElemType<static_cast<size_t>(1)>
    {
        typedef std::vector<int> type;
    };

    // Specialize "At()"'s return type for element 0
    template<>
    struct ElemType<static_cast<size_t>(0)>
    {
        typedef Dummy type;
    };

    // Get the I'th element
    template<size_t I>
    typename ElemType<I>::type& 
    At()
    {
        return bf::at_c<I>(m_Contents);
    }

    // The fusion vector holding the elements
    ContentsType m_Contents;
};

int main()
{
    StrangeContainer<30> s;
    Dummy& d = s.At<0>();
    s.At<1>().push_back(1);
    s.At<2>().push_back(boost::array<int, 2>());
    s.At<3>().push_back(boost::array<int, 3>());
    s.At<29>().push_back(boost::array<int, 29>());
    s.At<29>()[0][0] = 1234;

    return 0;
}

Answer 2

最好的方法是围绕向量访问器编写包装函数。包装现有行为的最佳方法是编写一个新类，该类使用您喜欢的向量实现。

Answer 3

我是 Michael（最初的作者），现在拥有 ID La-AIDA

首先，谢谢大家，Boost & Fusion 对我来说是新手。

致埃里克： 一个错字：v[1] 应该有 N_1 个条目，v[2] N_2 等等。 我想要类似 STL 的东西，而不是 C 数组（缺少边界检查，没有添加它的选项）。

对 Éric 的新评论： 我尝试了您的解决方案，它立即起作用（几乎是在删除虚拟查询之后）！ 谢谢！ 但是：我需要类似的东西

 for (i = 1;i < 30;i++) {
    cout << s.At<i>[0] << endl; 
 }

也就是说，At<..> 的索引应该是可变的（这就是重点，能够运行索引而不是分别处理 30 个硬编码的东西）
但 gcc 报错：“i”不能出现在常量表达式中

关于“在 Java 中”： AfaIk，Java 中的二维矩阵不是一些 诠释 v[10][10]； 具有固定尺寸，但类似于 诠释[][] v; 你第一次有一个

v = new int[10][];

（或类似的语法）然后，这就是重点：

v[0] = new int[1];
...
v[9] = new a[10];

它可以生成一个三角矩阵，当然也可以是你喜欢的任何形式。 事实上，一个常规的 10×10 矩阵也需要 1 加 10 个新矩阵。

关于结构本身： 一个等效的数据结构是

vector<int> v1;
vector<pair<int,int>> v2;
vector<int,int,int> v3;
...
vector<int[29]> v29;

然而，我们必须分别处理这 30 个部分。

我想说v[5][3][123] = 99; 将第 123 个 5 元组中的第 3 个组件设置为 99，而不定义

vector<int> v[30][30];

这可以解决问题，但会浪费大量空间，因为 v[1][2..30][0..\infty] or more generally v[i][i+1..30][*] 从未使用过。

所以，在我的问题中，我有一个 int 列表、另一个对、三元组、...、30 个 int 元组的列表，它们都应该是可排序的等，在一个结构中，不会浪费空间.