typedef structとstructの違い

Question

#include <stdio.h>

struct {
        int var;
}obj , *po;

int main() {
        po = &obj;
        obj.var = 100;

        printf("%d" , po->var);

        return 0;
}


typedef struct {
        int var;
}obj , *po;

int main() {
        po = &obj;
        obj.var = 100;

        printf("%d" , po->var);

        return 0;
}

コード

typedef で構造体を宣言した場合ではエラーが起きます。

この理由がわかりません。
どなたかわかりやすい解説いただきたく存じます

Comments

[Zuishin]

それ以前の問題に見えるけど。
typedef を使わなかったらエラーが起きないんですか？

[Zuishin]

ああ、二つのソースを一つにしてるのか。

Answer 1

typedefは、構造体を宣言するものではなく、型を定義するものです。

typedef struct {
        int var;
}obj , *po;

これだと、この構造体を表すobjという型と、この構造体へのポインタを表すpoという型を定義していることになります。
なので使い方としては

obj xxx;
po yyy;

xxx.var = 100;

yyy = &xxx;
yyy->var = 100;

といった使い方になります。

Comments

[KKKM]

ご回答ありがとうございます。
po->var = 100;
→yyy->var = 100;という解釈でよろしいですか
インスタンスを作る前にメンバ変数をいじることはできないのでしょうか。

前者のソースでは
インスタンスを作る前にメンバ変数に代入しているようにみえるのですが，
誤りでしょうか。

[itagagaki]

あ、そうです。すみません。yyy->var ですね。
objとpoの違いをあなたに例示するために書いたのであって、もちろんインスタンスが生成されていなくてはなりません。

[KKKM]

ご回答ありがとうございます。
すいません言葉足らずでした。
前者のソースとは私が質問で記載した以下の部分のことです
こちらではインスタンスを作らずにメンバ変数に値を代入しているのですが何故問題ないのでしょうか
struct {
int var;
}obj , *po;

int main() {
po = &obj;
obj.var = 100;

printf("%d" , po->var);

return 0;
}

[itagagaki]

そのコードは、別の書き方をすると、
struct _xxx {
int var;
};
struct _xxx obj ;
struct _xxx *po;
と同じことです。

struct _xxx obj ; でobjのインスタンスがグローバルに作られていて、
po = &obj; でポインタpoはその存在するインスタンスのアドレスを指すことになります。
なので po->var で obj.var を参照できるわけです。

[yumetodo]

struct { int var; }

までが「型名」です。intとかcharとかと同じ型名。なので
int a;
とおなじく
struct { int var; }
できるし、
typedef int num;
とおなじく
typedef struct { int var; } st;
できる

[itagagaki]

yumetodoさん、「というより」というのは何を指しておっしゃっていますか？

[yumetodo]

「別の書き方をすると」

[itagagaki]

yumetodoさん
KKKMさんの質問は、「なぜこのコードが問題ないのか」です。
それに対して、「そのコードは、別の書き方をすると」～だから問題ないのです、という回答をしています。
yumetodoさんがおっしゃっている内容は正しいことをおっしゃってはいますが、質問への答えになっていない、余談、蛇足なので、「というより」というのは、ずれているというか、おかしいと思います。

[yumetodo]

質問者さんには、何処までが型なのか、typedefの役割はなにかについて一般化ができていない状況だと推測しています。itagagakiさんの回答は極めて正しいのですが、その点を補足することでより理解しやすいのではないかと思ったのです。0から回答を作ってもすでにある2人の回答と多くがかぶるのでその部分だけコメントすれば十分と判断しました。蛇足かどうかは質問者さんが決める問題です。

[itagagaki]

補足であれば補足とおっしゃればよいと思いますが、「というより」は補足ではないですよね。

[yumetodo]

なるほど。ご指摘ありがとうございます。

[fana]

> yyyは当然前もってインスタンスの生成が必要です。

これは，
yyy->var = 100;
というアクセスよりも前にyyyは有効なインスタンスを指す必要がある，みたいな意味合いなのだろうと思いますが，
なんだかぼやっとした文章になっているように思いますし，コード例の方で適当に
po yyy = &xxx;
とかにしといた方がより明瞭で良いのではないでしょうか．

[itagagaki]

fataさんのおっしゃるとおりだと思いますので回答を修正しました。

Answer 2

typedef は変数宣言するキーワードではないです。

そもそもの使い方間違ってます