C言語のstructインスタンスの前に 'struct'キーワードを指定する必要があるのはなぜですか？

Question

C言語で構造体を定義したとします。その構造体のインスタンスを宣言する場合、その前に 'struct'キーワードを含める必要があります。

// Define struct 
struct Book { 
    char title[50]; 
    char author[50]; 
    char subject[100]; 
    int book_id; 
}; 

// Instantiate struct 
int main() 
{ 
    struct Book myBook; 
} 

私の質問：構造体のキーワードは、構造体の任意のインスタンス化の前にするために、なぜそれが必要なのか？コンパイラには、 'Book'が構造体であることを控除するための情報がたくさんあるようです。

typedefを使ってこの問題を回避することができますが、コンパイラが知っているはずのボイラープレートコードのように思えます。

Answer 1

これらの型のキーワードstruct、unionおよびenumを使用するため、他のエンティティの名前と競合しない独自の名前空間を形成できます。現在の構成では

例えば

#include <stdio.h> 

int main(void) 
{ 
    struct Book 
    { 
     const char *Book; 
    } Book = { "The first favorite book" }; 

    struct Book otherBook = { .Book = "The second favorite book" }; 

    puts(Book.Book); 
    puts(otherBook.Book); 

    return 0; 
} 

Answer 2

、あなたはstruct Bookに関連する必要はないの両方struct BookとBookという名前のグローバル/ローカルシンボルを持つことができます。 struct statは、statという名前の関数と並んで存在していますが、この機能はPOSIXで使用されています。

明らかにC++が行ったようにtypedefingを自動化することができます（したがって、おそらく無関係のBookとstruct Bookが同じ範囲にある可能性が失われます）。しかし、自動化しないと、 typedefをまったく使用しないと、基本的に文脈自由文法が得られますが、typedef（明示的または暗黙的）では、現在有効なtypedefの型のコンテキストをパーサーが管理する必要があります。

#define Struct(Nm,...) typedef struct Nm Nm; struct Nm __VA_ARGS__ 
#define Union(Nm,...) typedef union Nm Nm; union Nm __VA_ARGS__ 
#define Enum(Nm,...) enum Nm __VA_ARGS__; typedef enum Nm Nm 

Struct(Book,{ 
    char title[50]; 
    char author[50]; 
    char subject[100]; 
    int book_id; 
}); 

（あなたが使用したいことがあります。個人的に、私は、グローバルスコープは、同じ名前の構造体タグと共存持つ可能性にINGのtypedefを自動化好む、と私はやる

---

構造体/共用体/列挙型（例えばのように_s）を扱っていることを知らせる命名規則と一緒に）。