許可非静的宣言が続く静的宣言の根拠はなく、その逆

Question

このコードはコンパイルされ、よく現在のC規格で定義されている：6.2：

static int foo(int); 
extern int foo(int); 

標準は、この状況（C11内ことを指定します識別子の.2結合（P4））： その識別子の前に宣言が表示された範囲内のストレージクラス指定子はexternと宣言された識別子について

、^31） 前の宣言で内部または外部のリンケージが指定されている場合、後の宣言での識別子の連結は、前の宣言で指定された リンケージと同じです。 [...]

...これは、int foo(int)関数がstatic int foo(int)と宣言されていることを意味します。このように周りこれらの宣言を交換

：

extern int foo(int); 
static int foo(int); 

は...私はGNU GCCを使用してコンパイルエラーを与える： 'foo' での

static宣言が非static宣言

を次の

私の質問は、2番目のケースの背後にある設計の根拠はエラーで、1番目のケースと同様に扱われないのは何ですか？私はそれは別の翻訳単位が管理しやすく、そして#includeという事実と関係があると思われますか？私はこれを理解していないかのように、将来のCプロジェクトでいくつかの間違いに気づくことができるように感じます。

Answer 1

私はこの混乱仕様のアイデアはextern宣言は

static double a; // a declaration and definition 

void func(void) { 
    unsigned a; 
    ..... 
    if (something) { 
    extern double a; // refers to the file scope object 

    } 
} 

同じ名前を持つ別の識別子からそれを明確にするなど、グローバル関数やオブジェクトを参照するために関数の内部で使用することができることであると思います

extern double a; // just a declaration, not a definition 
        // may reside elsewhere 
void func(void) { 
    unsigned a; 
    ..... 
    if (something) { 
    static double a; // declares and defines a new object 

    } 
}