C 語言 main 函數若宣告為 static 會發生什麼？

直接回答：連結失敗

將 int main(void) 改為 static int main(void) 會導致連結器錯誤：

/usr/lib/gcc/.../crt1.o: In function `_start':
(.text+0x18): undefined reference to `main'
collect2: ld returned 1 exit status

為什麼？

1. C 程式真正的進入點不是 main

程式啟動時，執行的是啟動例程 _start（位於 crt1.o），它會呼叫 __libc_start_main，後者再呼叫使用者定義的 main。crt1.o 中宣告 main 為 外部符號（未定義，需連結時解析）。

2. static 使 main 成為內部連結符號

static 修飾函數時，賦予內部連結屬性，該符號僅在本編譯單元可見，不會輸出到目標檔的全域符號表。連結器掃描目標檔的 .rel.text 區段進行符號解析時，忽略內部符號，因此找不到 main 的定義。

3. 驗證：僅編譯不連結可通過

$ gcc -c static_main.c   # 成功產生 .o
$ gcc static_main.c      # 連結失敗

GCC 編譯連結流程完整圖解

hello.c
  │
  ├─ gcc -E (預處理)  → hello.i
  │
  ├─ gcc -S (編譯)    → hello.s  (cc1 編譯器)
  │
  ├─ gcc -c (組譯)    → hello.o  (as 組譯器)
  │
  └─ gcc (連結)       → a.out    (collect2 → ld 連結器)
        hello.o + crt1.o + crti.o + crtbegin.o + libc + crtend.o + crtn.o

關鍵檔案與符號

• crt1.o：包含 _start，引用未定義符號 main（nm 可見 U main）。
• collect2：GCC 封裝的連結器前端，最終呼叫 GNU ld。
• -lc：連結 C 標準庫 libc.a/.so。

符號可見性對照

總結

• main 雖非關鍵字，但被 C 執行環境約定為使用者進入點符號。
• static 限制符號可見範圍，破壞啟動代碼對 main 的外部引用。
• 此現象完美展示「編譯單元 → 目標檔 → 連結 → 可執行檔」各階段的符號處理機制。