如何在 0(1) 操作中将 c++ 向量转换为 lisp 向量答案

【问题标题】：How would I convert a c++ vector to a lisp vector in a 0(1) operation如何在 0(1) 操作中将 c++ 向量转换为 lisp 向量
【发布时间】：2014-04-25 03:36:18
【问题描述】：

我有这些 C++ vector<int> 的 C 绑定，我用 CFFI 封装。

我知道如何使用std_carrayTovector 创建vector<int>s，然后使用std_vectorToCArray 将数据转换回int 指针，以便我可以使用CFFI 函数MEM-AREF 在Lisp 中检索数据。我为下面的内容写了正确的defcfuns。

我的问题是：如何将 defcfun 的 std_vectorToCArray 的输出转换为 Lisp 向量（例如 #(1 2 3)）并使其成为 O(1) 操作 - 即同时复制所有数据.

vector_int* std_carrayTovector(int* a, size_t len) {
    vector<int>* v = new vector<int>;
    for(size_t i = 0; i < len; i++) 
        v->push_back(a[i]);
    return v;
}

int* std_vectorToCArray(vector_int* s) {
    return s->data();
}


(defcfun ("std_vectori_to_carray" %vector-int-to-c-array) :pointer 
  (s (:pointer vector-int)))

【问题讨论】：

如果有抄袭，那不是O(1)。
如此有效，您正在寻找已经由 C 数组支持的 lisp 中向量的实现。如果你必须复制数据，它不可能是 O(1)。
@Ben Voigt 你能在这个问题上给我任何帮助吗，关于 acomar 的建议。感谢您加入顺便说一句:)

标签： c++ common-lisp cffi

【解决方案1】：

我还没有尝试过，但我认为以下应该可行。关于std::vector，我们可以使用的重要一点是它保证有一个诚实的数组支持。也就是说，& my_vector [0] 指向my_vector 的对象数组。（当然，这不适用于 std::list 或其他任何东西）

因此，您所要做的就是创建一个 CFFI 可以调用的函数（在您的 C++ 代码中），该函数返回一个指向向量开头的指针。大概是这样的：

extern "C"
Foo*
start_of_foo_vector (std::vector<Foo> vec)
{
    return & vec[0];
}

您需要extern "C"，因此您无需担心名称错误。当然，您必须为每种类型编写不同的函数（并且不能使用带有extern "C" 的模板，我不认为）。

在你下次修改向量之前，你得到的指针是有效的。

【讨论】：

实际上有一种更简单更好的方法可以通过vector::data() 上的实际方法获取底层数据指针。我认为 OP 正在寻找一种方法来获取该 C 数组并转换为由数组支持的 lisp 类型（用于 O(1) 转换）。
哇。我实际上并不知道data() 函数。哦！ OP 仍然需要编写一个 start_of_foo_vector 函数，尽管因为 C++ 修改（或者像 swig 这样的东西可以提供帮助？）但是一旦完成，问题就解决了：如果给定一个指向数组开头的指针，CFFI 从数组中读取。
（呃，这意味着“如果给定一个指向数组开头的指针，CFFI 可以从数组中读取”）
@Rupert Swarbrick 感谢您迄今为止的帮助，您向我展示了如何编写 C++ 函数，但您能否通过示例代码向我展示如何使用 CFFI 从数组中读取数据
好吧，现在您的问题是“我如何使用 CFFI 从外部数组中读取数据”。为此，您需要 mem-aref 函数，它接受一个指针、一个索引和一个元素类型，并返回 C 数组中该点处的元素。我不知道如何制作一个以 C 数组为支持的 lisp 数组。