爲什麼non-extern可以在C/C++中使用.h文件？

Question

以this file爲例，有像許多非EXTERN結構：

struct list_head source_list; 

當這個頭文件是由多於一個編譯單位包括如何能行嗎？

應該有錯誤報告，相同的符號被定義兩次，對嗎？

Answer 1

從技術上講應該是這樣的，但這種使用方式已經存在多年並且不可能根除（已經嘗試過;每個供應商經常會決定使其成爲一個錯誤，並在前100個錯誤報告後恢復）。迂迴地，.h文件應該聲明它extern和一個.c/.cpp文件應該定義它。

簡而言之，當您未指定頂級變量的鏈接（static,extern等）時，它會被聲明爲「通用」。在鏈接時，如果所有對該變量的引用都是相同的大小（和類型，如果可用），那麼它將被分配一次，並且所有引用都指向它。如果鏈接器爲同一個變量找到不同的大小/類型/鏈接，則會引發錯誤。

編輯：這顯然混淆了人。在這裏：

jinx:1714 Z$ cat foo.h 
int foo; 
extern void bar(); 
jinx:1715 Z$ cat foo.c 
#include "foo.h" 

int 
main(int argc, char **argv) 
{ 
    bar(); 
    return 0; 
} 
jinx:1716 Z$ cat bar.c 
#include "foo.h" 

void 
bar(void) 
{ 
    return; 
} 
jinx:1717 Z$ gcc -Wall foo.c bar.c -o foo 
jinx:1718 Z$ ./foo 
jinx:1719 Z$ _ 

注完全沒有錯誤的約int foo被多次定義。 這個是我一直想說的。

Answer 2

確實應該有一個extern。但是，該變量沒有明確的定義，所以編譯器將其標記爲extern。

，如果你有

struct list_head source_list = { 0 }; 

你會得到一個鏈接錯誤......因爲這確實每翻譯單元（並因此連接抱怨）一次定義符號。

Answer 3

此struct list_head source_list;字段在其他結構中聲明，因此它們不是符號。

其他（頂級）結構的聲明有不同的名稱，所以也可以。

編輯

注意，所有變量它這個頭真的打上extern。

Answer 4

這種情況的術語是「試探性定義」：

的標識符用於一個 對象的聲明具有文件作用域沒有 初始化，並且沒有 存儲類說明或與 存儲級說明符static， 構成 暫定義。如果翻譯單元包含一個或多個用於一個 標識符更 暫定定義，和翻譯單元包含該標識符的外部 定義，然後 行爲是完全一樣，如果翻譯單元包含 標識符的 文件範圍聲明與爲0

因此，這是用C良好限定的複合類型作爲 翻譯單元的端部，具有一個初始化 等於（但通常皺眉）。