構造体の宣言と定義について

Question

C言語を使っていて、よくヘッダファイルに構造体の定義を書くことがあるかと思います。

typedef struct {
  int i;
  char a;
} TEST;

上記のように書いた場合、これを書いた時点でメモリに領域が確保されるのでしょうか？
それとも、TEST test;のように変数を定義した時点で確保されるのでしょうか？

宣言と定義 (C++)を読んで、下記の場合は宣言とみなされると書いてあったのですが、構造体の場合はどうなんでしょう？

宣言が typedef ステートメントである。

よろしくお願いします。

Answer 1

typedef は型の宣言をしているだけですから、実体は存在していません。実体が発生するのは（その型の）変数を定義したときです。

本質的には

struct struct_tag {
  int i;
  char a;
}

で、構造体 struct_tag は宣言されます。ただ、この場合変数として定義するときには

struct struct_tag ABC;

のように、struct キーワードが必要になります（struct まで含めて型としての定義なので）。
なので、これをより簡便にするために

typedef struct struct_tag {...} TEST;

として、TEST という名称で**宣言（再宣言）**しているわけです。こうすることで変数として使う際には

TEST abc;

と書けるようになります。※むろん、struct struct_tag abc; という形でも書けます
構造体のタグ（上記の struct_tag）の部分は省略可能であるため、よけいに typedef を使ったパターンが多く出てくるわけですが、実際には二つの宣言を一つにしたものなのです。

Comments

[miraiz]

ありがとうございます。型の宣言をしているだけなので実体は存在しない、とのこと理解できました。

ちなみに、念のため確認なのですが、下記のようにtypedefを使わずに書いた時も、
この時点ではメモリ領域の確保はされないってことでいいですよね？
`struct struct_tag`という型を宣言しているだけっていう理解です。

```
struct struct_tag {
int i;
char a;
}
```

[tacsheaven]

その通りです。

Answer 2

上記のように書いた場合、これを書いた時点でメモリに領域が確保されるのでしょうか？

確保されません

それとも、TEST test;のように変数を定義した時点で確保されるのでしょうか？

そのとおり