c++ - 如何在 C++ 代码中包装 C 2D 数组（Foo**）？

Question

我使用了一个 C 库，它以 Foo** 的形式对二维数组进行操作。我在 C++ 代码中使用它，所以我需要某种包装器。对于一维数组，它很简单，因为向量迭代器只是指针，但在二维的情况下，它变得更加复杂。是否可以在不复制数据的情况下为 Foo** 制作包装器？

Answer 1

a 的元素vector<Foo>存储在动态分配的连续内存中，因此您可以获得指向Foo*数组的指针，就像您在第一种情况下所做的那样。

但是嵌套向量的元素vector<vector<Foo> >不会存储为连续的二维数组，因此无法Foo**直接获取。

你可以尝试这样的事情：

vector<vector<Foo> > data;
vector<Foo*> data_rows;
for(auto it = data.begin(); it != data.end(); ++it) {
    //in c++11, you can use data() instead of casting begin()
    data_rows.push_back(it->data());
}
Foo** c_data = data_rows.data();

这样你就不会复制数据，只是复制行指针。

Answer 2

我建议构建一个覆盖类operator []，它在内部保存 C 指针 Foo**。

例如：

template <class T>
class Mat<T> {
private: T** ptr; int n; int m; //< 2D array is of size n x m
public: Mat( int n, int m ) : n(n), m(m) {}
Col<T> operator[]( int k ) { assert(k<n); return Col<T>(*(ptr+k*n)); }
T& get(int k, int i ) { return *(*(ptr+k*n)+i); }
}

已经定义

template <class T>
class Col<T> { private: T* ptr;
public: T& operator[]( int i ) { return *(ptr+i); }
Col<T>(T* ptr) : ptr(ptr) { }
}

代码可能不是 100% 正确，但我希望你能理解并重新实现它。还要确保指针数据的生存时间超过你的 c++ 包装器（还要包装 c 库的 refcount 机制？）。好的一点operator[]是，现在您可以像这样使用它：

Foo** ptr = from_some_c_library();
Mat<Foo> mat(ptr,3,4);
Foo& element_at_2_2 = mat[2][2];
assert( mat.get(2,2) == mat[2][2] );

请注意，您可能希望实现自定义迭代器Mat<T>以使其与 STL 函数一起使用。