C/C++ 預處理器完整指南：宏定義、條件編譯與常見陷阱

預處理階段：編譯前的文本處理器

預處理器處理所有以 # 開頭的指令，在編譯器看到源碼前完成：文件包含、宏展開、條件編譯。輸出 .i 文件（展開後的純 C/C++ 代碼），隨後交給編譯器。

一、 文件包含 #include

#include    // 系統頭文件：搜索標準包含路徑
#include "myhead.h"  // 用戶頭文件：先搜索當前目錄，再搜索標準路徑

本質：將頭文件內容原文插入到 #include 位置。支持嵌套包含。

二、 宏定義 #define

1. 無參宏（對象式宏）

#define PI 3.1415926
#define BUFFER_SIZE 1024
#define DEBUG_PRINT(fmt, ...) printf("[DEBUG] " fmt "\n", ##__VA_ARGS__)

• 行末不加分號，否則分號會隨宏展開進入代碼導致語法錯誤。
• 預處理器不做語法檢查，僅文本替換；錯誤在編譯階段暴露。
• 作用域：從定義處到文件結束，或遇到 #undef。

2. 帶參宏（函數式宏）

#define MAX(a,b) ((a) > (b) ? (a) : (b))
#define SQUARE(x) ((x)*(x))

黃金法則：

1. 參數兩側加括號：(a) (b) 防止運算符優先級錯亂。
2. 整個表達式外層加括號：((a) > (b) ? (a) : (b)) 防止外部上下文優先級干擾。
3. 宏名與左括號無空格：#define MAX(a,b) 而非 #define MAX (a,b)（後者被視為無參宏）。

3. 宏 vs 函數 vs inline 函數

⚠️ 宏參數多次求值陷阱：SQUARE(i++) 展開為 ((i++)*(i++)) → i 增加兩次！inline 函數無此問題。

4. 字符串化 # 與 連接 ##

#define STR(x) #x           // 字符串化：STR(hello) → "hello"
#define CONCAT(a,b) a##b    // 連接：CONCAT(var, 1) → var1
#define MAKE_STR(a,b) #a #b // 組合：MAKE_STR(12, 34) → "12" "34" → "1234"

5. 預定義宏

• __LINE__：當前行號（整數）
• __FILE__：當前文件名（字符串）
• __DATE__、__TIME__：編譯日期/時間
• __STDC__：標準 C 模式為 1
• __cplusplus：C++ 編譯器定義（如 201703L 表示 C++17）

三、 條件編譯

1. #ifdef / #ifndef / #endif

#ifdef DEBUG
    log("debug info");
#else
    // 發布版無日誌開銷
#endif

#ifndef HEADER_GUARD
#define HEADER_GUARD
// 頭文件內容
#endif

2. #if / #elif / #else / #endif

#if VERSION >= 2
    new_api();
#elif VERSION == 1
    legacy_api();
#else
    #error "Unsupported version"
#endif

條件必須是整數常量表達式（可包含 defined(MACRO)）。

3. 典型應用：跨平台適配

#ifdef _WIN32
    #define DLLEXPORT __declspec(dllexport)
    #include 
#elif defined(__linux__)
    #define DLLEXPORT __attribute__((visibility("default")))
    #include 
#else
    #error "Unsupported platform"
#endif

四、 #error 與 #pragma

• #error "message"：強制編譯失敗，輸出錯誤信息。用於檢測不支持的配置。
• #pragma once：非標準但廣泛支持的頭文件防衛替代方案。
• #pragma pack(n)：控制結構體對齊（慎用）。

五、 實戰陷阱大全

六、 最佳實踐清單

1. 常量優先用 constexpr/const，宏僅用於編譯期計算、條件編譯、字符串化。
2. 簡單表達式宏 → inline / constexpr 函數。
3. 頭文件必須有防衛宏（或 #pragma once）。
4. 宏名全大寫 + 下劃線（如 MAX_BUFFER_SIZE），避免與變量衝突。
5. 複雜宏定義處加註釋說明展開後樣子。
6. 條件編譯優先用 #if 而非 #ifdef，可檢測宏定義為 0 的情況。

結語

預處理器是 C/C++ 獨特的「編譯期元編程」工具。掌握其文本替換本質、作用域規則、參數展開陷阱，配合現代 C++（constexpr、inline、模板）替代傳統宏用法，能寫出更安全、可維護、跨平台的代碼。