Cの構造定義を非表示にするのは良い方法ですか？

Question

私は、構造体の定義が隠れていると、構造体のメンバーに直接アクセスすることができないコンパイラの助けを借りて、コードを安全にすると思います。欠点は、構造体のサイズがわからないためにスタック上の構造体型の変数を宣言できないことです。一方、時にはmalloc()を使用しないことが望ましい場合もあります。この機能はPOSIXに準拠していませんが、これは（部分的に成功して）alloca(3)で解決できます。これはすべての主要なlibc実装に存在します。この小さな賛否両論を考えると、そのようなデザインは一般的に良いと思われますか？

lib.hで：

struct foo; 
extern size_t foo_size; 
int foo_get_bar (struct foo *); 

lib.cで：

struct foo { 
    int bar; 
}; 

size_t foo_size = sizeof foo; 

int foo_get_bar (struct foo *foo) 
{ 
    return foo->bar; 
} 

example.cで：

#include "lib.h" 

int bar(void) { 
    struct foo *foo = alloca (foo_size); 
    foo_init (foo); 
    return foo_get_bar (foo); 
} 

UPD：述べ、質問を更新しましたがの考えていることを明示的ですalloca()を使用すると、その定義を隠しながらスタック上に構造体を宣言することができます。

Answer 1

はい、データを非表示にすることをお勧めします。

alloca(foo_size);の代わりに、アライメントされた文字配列を宣言してポインタ変換を実行することです。

ただし、ポインタの変換は完全には移植できません。

コンパイル時定数ではなく変数でなければならない場合は、文字配列をVLAにする必要があります。

extern size_t size; 

struct sfoo; 

#include <stddef.h> 

int main(void) { 
    unsigned char _Alignas (max_align_t) cptr[size]; 
    // or unsigned char _Alignas (_Complex long double) cptr[size]; // some widest type 
    struct sfoo *sfooptr = (struct sfoo *) cptr; 

のVLAが/利用可能な所望されない場合、必要な限り、少なくともことは確かである#define foo_N 100ような定数としてサイズを宣言する。

Answer 2

ファンクションbarは、未定義の動作を呼び出します。fooが指す構造体は初期化されません。

構造の詳細を非表示にする場合は、foo_create()を割り当てて初期化し、foo_finalizeはリソースを解放して解放します。

提案するものは動作させることができますが、エラーが発生しやすく、一般的な解決策ではありません。