メモリーから漏れなくCからRust構造体とメソッドをVecとして実装する方法は？

Question

私はRust bindingsを、組み込みのコンストラクタとデストラクタを使用するCライブラリ用に書いています。 Cヘッダの生さびコード：

// 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のように安全なさびコードの実装である：

/// 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ため。

Vec<Entity>（イテレータ、ソート用のスライスなど）と同じようにListEntityと一緒に作業する必要がありますが、実装できません。実装の私のバージョンでは、私はスライスを作成することはできません：from_raw_partsはUdbEntity以上のスライスを返しますが、Entityではありません。

私はEntityListでVec<Entity>を維持し、私は（それを動かす）Vec<Entity>を編集するときに、後で、EntityListが低下し、割り当てられたリスト*mut UdbEntityを解放しています。私も正しい生涯が必要です。

純粋な錆のコードを書き込むためにいくつかのシンプルな構造体（たとえばKind、ListKind）を逆にしましたが、もっと慣用的なパスが存在すると思います。

Answer 1

問題は、コード内に2つの互いに素な構造があることです。一方では、UdbEntityの生の配列を所有し、必要に応じて解放する一方、UdbEntityをラップするEntityがありますが、ListEntityで参照されることはありません。ListEntityがあります。

ここには2つのオプションがあります。

1. は、あなたがそれのスライスを作成することができます、その場合にはEntityの配列、にUdbEntityの配列を核変換します。そのためには、同じメモリ内表現が必要です。
2. UdbEntityとは別にEntityのベクトルを作成し、代わりに返します。

最初のアプローチが安全であると仮定して、私はそれに行きます。そうでない場合は、2番目のものが機能します。どちらの場合も、Entityの配列は、メモリが適切に管理されるようにListEntityが所有する必要があります。おそらくPhantomDataをEntityに入れて、それらへの参照を返すだけです。