カスタムの割り当て解除関数は汎用コンテナとの互換性を考慮する必要がありますか？

Question

Cでは汎用コンテナを使用したい場合は、一般的なアプローチの1つはvoid*です。

struct Foo {...}; 
Foo *Foo_Allocate(...); 
void Foo_Deallocate(const Foo*); 


int main(void) 
{ 
    /* Let's assume that when you create the list you have to 
     specify the deallocator of the type you want to hold */ 
    List *list = List_Allocate(Foo_Deallocate); 

    /* Here we allocate a new Foo and push it into the list. 
     The list now has possession of the pointer. */ 
    List_PushBack(list, Foo_Allocate()); 

    /* When we deallocate the list, it will also deallocate all the 
     items we inserted, using the deallocator specified at the beginning */ 
    List_Deallocate(list); 
} 

しかし、最も可能性の高いデアロケータ関数の型はvoid*

を取り、何かになります：一般的なコンテナは、独自の割り当て解除機能を持ついくつかのカスタム構造体を保持している場合、おそらく、その関数を求めるために起こっています

typedef void (*List_FnItemDeallocator)(const void*); 

Foo_Deallocateがconst Foo*で、const void*ではありません。署名が一致しなくても関数を渡すのはまだ安全ですか？おそらくそうではないでしょう。

もしそれができないのであれば、すべてのデアロケータ関数は関連する型へのポインタの代わりにconst void*を取ることをお勧めします。それらは汎用コンテナと互換性がありますか？

Answer 1

あなたが言ったように、別の関数型へのポインタの割り当ては無効です。

void*をパラメータとし、各関数の内部でいくつかのチェックを実行して、指定されたポインタが予想される型と一致するかどうかを確認する必要があります。

Answer 2

前述したように、デストラクタ関数を指定するには、マジックナンバーまたは 'header'を使用できます。このヘッダーでかなり遠くに行くことができます。また、よく知られている登録済みのデオロッコータを選択することもできます（実際には、関数ポインタ、おそらく整数インデックスを配列に格納する必要はありません）あなたのヘッダー内の 'flags'セクションには 'extended'デアロッケータが含まれています。可能性はかなり遠くて面白いです。

だからあなたのリストに「ヘッダ」は、実際に...理由だけで、共通のヘッダタイプを定義し、あなたのデアロケータがそれへのポインタを取るていない、あなたの質問に答える、今、この

#define LIST_HEAD struct list *next; struct list *prev; short flags; 
struct list { LIST_HEAD }; 
struct list_with_custom_deallocator { LIST_HEAD void (*dealloc)(void*); }; 

のようになります。 （私の例ではstruct list*）、それから特定の関連する型にキャストするか、より良い方法で、おそらくヒューリスティックにflags（Binyaminによって暗示されている）から実際の構造とデアロッケータを決定します。