C++ 變數與函式聲明定義完整指南：extern、編譯單元、一次定義規則實戰

聲明與定義的區別、extern 連結指定、編譯單元邊界、一次定義規則（ODR）構成 C/C++ 程式模組化的核心契約。本文系統解析變數/函式聲明定義語法、五大聲明非定義場景、extern 作用域延伸、main 函式特殊規則、多檔案專案實戰模式，建立專業級建構模型理解。

核心語法對比

完整範例

// Declare.cpp
extern int i;           // 變數聲明
extern float f(float);  // 函式聲明（extern 可省略）

float b;                // 變數聲明+定義
float f(float a) {      // 函式定義
    return a + 1.0;
}

int i;                  // 變數定義
int h(int x) {          // 函式聲明+定義
    return x + 1;
}

int main() {
    b = 1.0; i = 2;
    f(b); h(i);
    return 0;
}

五大「聲明非定義」場景

1. 函式聲明無主體：int func();
2. 含 extern 無初始化：extern int a;
3. 無初始化、無函式主體：int a;（檔案作用域視為暫定定義，C++ 標準較嚴格）
4. 類別靜態資料成員聲明：static int count;（類別內）
5. 類別名稱前置宣告：class Foo;
6. typedef、using 別名宣告

關鍵規則

• 函式聲明 extern 可省略：int func(); 隱含 extern
• 函式參數名稱可省略：int func(int, int); 僅型別必要
• main() 必須回傳 int：C++ 標準強制，非 void
• 定義即聲明：定義同時滿足聲明需求
• ODR：所有編譯單元中，實體（變數/函式/類別）僅能有一個定義

多檔案專案實戰模式

// a.h - 介面
#pragma once
extern int global_counter;
void increment();

// a.cpp - 實作
#include "a.h"
int global_counter = 0;  // 定義（僅此處）
void increment() { ++global_counter; }

// main.cpp - 使用
#include "a.h"
int main() {
    increment();
    return global_counter;
}

編譯單元與連結視角

// 編譯：各單元獨立編譯
g++ -c a.cpp -o a.o
g++ -c main.cpp -o main.o

// 連結：合併符號表，檢查 ODR
g++ a.o main.o -o app

總結

「聲明引入名稱，定義分配實體」，extern 延伸跨編譯單元可見性，ODR 守護連結期唯一性。掌握五大聲明非定義場景、main 回傳 int 強制、標頭檔僅聲明/定義入 .cpp 模式，是從單檔練習邁向工程級多模組 C++ 開發的必經門檻。