c - 如何在不泄漏内存的情况下从C实现Vec的Rust结构和方法？

我正在为使用嵌入式构造函数和析构函数的C库编写Rust bindings。 C header 的原始Rust代码:

// Opaque structures transform to enumerate
pub enum UdbEntity_ {}
pub enum UdbReference_ {}
...
pub type UdbEntity    = *mut UdbEntity_;
pub type UdbReference = *mut UdbReference_;
...

// Return a non-allocated, permanent list of all entities. This list may be
// used in places where an allocated entity list is required and may be
// safely passed to udbListEntityFree().
pub fn udbListEntity(list: *mut *mut UdbEntity, items: *mut c_int);

// Free an allocated list of entities.
pub fn udbListEntityFree(list: *mut UdbEntity);
...

// Return an allocated list of all references for entity.
// Free the list with udbListReferenceFree().
pub fn udbListReference(entity : UdbEntity,
                        refs   : *mut *mut UdbReference,
                        items  : *mut c_int);

// Free the allocated references list.
pub fn udbListReferenceFree(refs: *mut UdbReference);

这是git2-rs中的安全Rust代码的实现:

/// Structure of Entity.
pub struct Entity<'ents> {
    raw: UdbEntity,
    _marker: PhantomData<&'ents UdbEntity>,
}

/// Opaque structure of list of entities.
pub struct ListEntity<'db> {
    raw: *mut UdbEntity,
    len: usize,
    _marker: PhantomData<&'db Db>,
}

/// An iterator over the Entity in list of entities.
pub struct EntityIter<'ents> {
    range: Range<usize>,
    ents: &'ents ListEntity<'ents>,
}

impl<'db> Drop for ListEntity<'db> {
    fn drop(&mut self) {
        unsafe { udbListEntityFree(self.raw) };
    }
}

并且也适用于ListReference和Reference。

我需要像ListEntity(迭代器，用于排序的切片等)一样使用Vec<Entity>，但是我无法实现它。在我的实现版本中，我无法创建切片:from_raw_parts返回的片段是UdbEntity，而不是Entity。

当我将Vec<Entity>保留在EntityList中，之后再编辑Vec<Entity>(将其移动)时，EntityList将被删除并释放分配的列表*mut UdbEntity。我也需要正确的一生。

我颠倒了一些简单的结构(例如Kind，ListKind)来编写纯Rust代码，但我认为存在一条更加惯用的路径。

最佳答案

问题是您的代码中有两个相当不相交的结构。一方面，您有一个ListEntity，它拥有UdbEntity的原始数组，并在需要时将其释放；另一方面，您有一个Entity，它包装了UdbEntity，但在ListEntity中没有任何引用。

您在这里有两个选择。

将UdbEntity数组转换为Entity数组，在这种情况下，您将能够为其创建切片。为此，它们需要具有相同的内存表示形式。

与Entity分开创建一个UdbEntity的 vector ，并将其返回。

假设第一种方法是安全的，那我会同意的。如果没有，那么第二个可以工作。在这两种情况下，Entity数组都应归ListEntity拥有，以便正确管理内存。我可能会放弃PhantomData中的Entity并简单地返回对它们的引用。