C語言預處理器完整指南：宏定義、條件編譯、文件包含與預定義宏實戰

編輯：關於C語言

預處理器：編譯前的文本處理引擎

C 語言獨有的預處理階段（.c → .i）在編譯器進行語法分析前完成，負責宏展開、文件包含、條件編譯等文本級轉換。本文深度解析預處理器四大核心功能、宏定義陷阱、標準預定義宏及工程級最佳實踐。

一、編譯流程中的預處理位置

源文件 (.c)
    │
    ▼  預處理 (cpp)  ──▶  擴展後源文件 (.i)  ──▶  編譯 (cc1)  ──▶  彙編 (.s)  ──▶  目標文件 (.o)  ──▶  鏈接 (ld)  ──▶  可執行文件
    │                    #define 展開           語法分析                    機器碼生成              符號解析
    │                    #include 插入          優化                       重定位信息
    │                    #if 裁剪
    │                    註釋移除
    ▼
特點：不佔運行時間、不檢查C語法、純文本替換、行號保留（供調試）

二、宏定義：機制、分類與陷阱

1. 無參宏 vs 帶參宏

// 無參宏：簡單替換
#define PI 3.1415926
#define MAX 100

// 帶參宏：參數代換（非函數調用，無類型檢查，無求值順序保證）
#define SQUARE(x) ((x)*(x))        // 關鍵：參數與整體雙層括號！
#define MAX2(a,b) ((a)>(b)?(a):(b))

// 調用示例
int r = SQUARE(5);      // 展開 ((5)*(5)) = 25
int m = MAX2(a++, b);   // 危險！a++ 可能被求值兩次 → 副作用重複

2. 宏定義「三大鐵律」

參數括號化：#define MUL(a,b) ((a)*(b)) 防止 MUL(1+2,3) → (1+2*3)=7 錯誤。
整體括號化：防止作為表達式一部分時優先級錯誤，如 #define VAL 1+2 → 3*VAL = 3*1+2=5。
避免副作用參數：SQUARE(i++) 導致 i 增加兩次。改用內聯函數。

3. 宏進階技巧

// 字符串化運算符 #
#define STR(x) #x
STR(Hello)  // → "Hello"

// 符號拼接運算符 ##
#define CONCAT(a,b) a##b
CONCAT(var, 1)  // → var1

// 多行宏：反斜桿換行，do-while(0) 包裹複合語句
#define SAFE_FREE(p) do { free(p); (p)=NULL; } while(0)

// 可變參數宏 (C99)
#define LOG(fmt, ...) fprintf(stderr, "[%s:%d] " fmt "\n", __FILE__, __LINE__, ##__VA_ARGS__)

三、文件包含：模塊化構建基石

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

// 防止重複包含：頭文件衛士（標準寫法）
#ifndef MYHEAD_H
#define MYHEAD_H
// ... 聲明 ...
#endif

// 或 #pragma once (編譯器擴展，主流編譯器均支持，更簡潔)

四、條件編譯：跨平台、調試、版本控制利器

// 基礎語法
#if defined(DEBUG) && DEBUG > 1
    #define LOG(...) printf(__VA_ARGS__)
#else
    #define LOG(...)  // 釋出版編譯掉
#endif

// 常見模式
#ifdef __linux__
    // Linux 專用代碼
#elif defined(_WIN32)
    // Windows 專用代碼
#else
    #error "Unsupported platform"
#endif

// 編譯器特性檢測
#if defined(__GNUC__) && (__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 8))
    #define HAS_CXX11 1
#endif

五、標準預定義宏：調試與元編程神器

宏	含義	示例輸出
`__FILE__`	當前源文件路徑	"src/main.c"
`__LINE__`	當前行號 (int)	42
`__func__`	當前函數名 (C99)	"main"
`__DATE__`	編譯日期	"Jan 15 2025"
`__TIME__`	編譯時間	"14:30:00"
`__STDC__`	標準C符合性	1
`__STDC_VERSION__`	C標準版本	199901L (C99)

調試宏最佳實踐：

#define DEBUG_PRINT(fmt, ...) \
    fprintf(stderr, "[DEBUG] %s:%d %s(): " fmt "\n", \
            __FILE__, __LINE__, __func__, ##__VA_ARGS__)

// 使用
DEBUG_PRINT("Value x = %d, ptr = %p", x, ptr);

六、預處理輸出查看與調試

# GCC/Clang 查看預處理結果（不編譯）
gcc -E source.c -o source.i    // 生成 .i 文件
gcc -E source.c | less         // 直接管道查看

# 只運行預處理，保留註釋
gcc -E -C source.c

# 顯示宏展開過程（GCC）
gcc -dM -E source.c | grep MACRO_NAME