構造体のタグが省略されたもの

Question

下のコードでは構造体タグは省略されて、studentオブジェクトを作っているという認識は正しいですか

コード
typedef  struct{
   ~
}student;

タグがついていないものとついているもので書き方が違い戸惑っています。

追記

typedefで文字を省略できるとあったのですが、これは
オブジェクトの前にstruct~と書かなくていいという意味ですか？
そんなにたいした文字量を省略しているわけではないと思ったのですが、
なぜtypedef stuctを使うのでしょうか

typedef struct
{
~
}student;

int main(void){
student sanaka={~};
}

student型の構造体を作り、さなかというオブジェクトをつくった。

ーーーーーーーーーーーーーー

struct gstudent
{
~
};

int main(void)
{
struct gstudent sanaka;
}

gstudent型の構造体をつくり、さなかというオブジェクトをつくった。

Answer 1

下のコードでは構造体タグは省略されて、studentオブジェクトを作っているという認識は正しいですか

いいえ。この時点では「studentオブジェクト（≒値）」は作られていません。

typedefで文字を省略できるとあったのですが、これはオブジェクトの前にstruct~と書かなくていいという意味ですか？

はい。typedef宣言によって、型名をstruct studentのように書く代わりに、studentと書けるようになります。

そんなにたいした文字量を省略しているわけではないと思ったのですが、なぜtypedef stuctを使うのでしょうか

一般論としては、冗長性が少なく短い方がコードを読みやすいでしょ？という考え方です。（とはいえ、好みの問題もありますが）。

---

C言語での「構造体の型名」は、キーワードstructも含んだ全体となります。下記コードではstruct gstudentが構造体の型名です。

// 構造体 struct gstudent 型を宣言
struct gstudent {
  ～
};
// 構造体型 struct gstudent の 変数 sanaka を定義
struct gstudent sanaka;

// "gstudent"という型名は存在しないため、下記はコンパイルエラー
gstuduent s;

一方でtypedef宣言を用いると、ある型に対して別名を付けることが出来ます。

// int型の別名としてMyInteger型を宣言
typedef int MyInteger;
// MyInterger 型の変数 v を定義
MyInteger v;

質問文にあるtypedef struct { ～ } student;では、無名の構造体の宣言 ＋ typedefによる別名の宣言 を同時に行っています。

// 無名の構造体型を宣言し、その別名として student 型を宣言
typedef struct {
  ～
} student;
// 構造体型 student の 変数 sanaka を定義
student sanaka;

Answer 2

https://www.youtube.com/watch?v=uF-RiGlVmvw
これ、わかりやすいよ

Answer 3

typedef struct A {
 ...
};
int main() {
 A a;
}

はできませんが、

typedef struct {
 ...
} A;
int main() {
 A a;
}

は出来ます。
利点をあげるとすると、

typedef struct {
 ...
} A;
int func(/*structがいらない*/A a, A b, A c) {}

関数を定義する時とかに、struct を書かなくていいので、いろいろと楽です。
多分この程度の理解で十分だと思います。

Answer 4

studentオブジェクトとは言わず、student型ですね。

タグがついていないものとついているもので書き方が違い戸惑っています。

タグの有無以外は書き方は同じですよ。

===========================================================================================
追記が出ていたんですね。

・typedefして型名を使って変数宣言する
・構造体指定子（structキーワード＋タグ名）を使って変数宣言する
の二者に違いはありません。また、「型名なら書けるが、構造体指定子だと書けない」という箇所も文法的には無いはずです。
ということで、文法的には文字数が少ないだけと言えるかも知れません。

見た目のわかりやすさとしては、例えばファイルを使うときにファイルポインタの宣言で、
FILE *fp;
と書くか、
struct _IO_FILE *fp; (Linuxの場合)
と書くかで、印象がかなり違います。
FILEだと構造体であることが隠蔽されるので、抽象度が増します。