なぜcでundefined structを使用できるのですか

Question

#include <stdio.h> 

int main() 
{ 
    printf("%d", sizeof(struct token *)); 
} 

上記のコードは、Linuxでgccを使用してコンパイルおよびリンクすることができます。あなたの誰かが私のためにシーンの背後にあることを説明できますか？私はポイントがメモリの固定サイズを取ることを知っているので、struct トークンはsizeofとは関係ありませんが、gccの警告オプションをオンにしても、 "none exist"構造体に関する警告はありません。質問のコンテキストは、他の人がソースコードを読んでいることです。構造体トークンの定義を見つけるのが非常に難しいですが、コースが失敗しました。

Answer 1

ポインタ〜struct tokenのサイズを取得しようとしているためです。ポインタのサイズは、構造が実際にどのように定義されているかに依存しません。

一般に、タイプstruct token*の変数を宣言することもできますが、逆参照することはできません（たとえば、ポインタでメンバーにアクセスするなど）。

Answer 2

C標準の言い換えでは、不完全型は オブジェクトを記述する型ですが、サイズを決定するために必要な情報はありません。

voidは、もう1つの不完全な型です。他の不完全な型とは異なり、voidは を完了できません。

この「不完全型」はハンドルの種類によく使用されます。ライブラリでは、「ハンドル」を何かに割り当てて処理し、再度処分できます。これらはすべてライブラリにカプセル化されています。ユーザーは内部で何が起こるか分かりません。

例：

lib.h：

struct data * d_generate(void); 
void d_set(struct data *, int); 
int d_get(struct data *); 
void d_free(struct data*); 

lib.c：

#include "lib.h" 
#include <stdlib.h> 
struct data { int value; }; 
struct data * d_generate(void) { 
    return malloc(sizeof(struct data)) 
} 
void d_set(struct data * d, int v) { 
    d -> value = v; 
} 
int d_get(struct data * d) { 
    return d->value; 
} 
void d_free(struct data* d) { 
    free(d); 
} 

user.c：

#include "lib.h" 
[...] 
struct data * d = d_generate(); 
d_set(d, 42); 
int v = d_get(d); 
// but v = d->value; doesn't work here because of the incomplete definition. 
d_free(d);