C 語言前置處理器完全指南：宏、條件編譯、實戰技巧與避坑指南

編輯：關於C語言

前置處理器：C 語言的「元程式設計」引擎

前置處理器 (Preprocessor) 在編譯器前端執行，進行文字替換、檔案包含、條件編譯。它不懂 C 語法，只認得 `#` 開頭的指令，卻能構建跨平台抽象層、編譯期計算、領域特定語言 (DSL)。善用是神器，濫用成維護噩夢。

核心指令速查表

指令	用途	關鍵特性
`#include`	包含檔案	可包含任意文字檔，不限 .h
`#define`	定義宏/常數	支援參數、變參、字串化、連接
`#undef`	取消定義	配合條件編譯切換實作
`#if` / `#ifdef` / `#ifndef`	條件編譯	編譯期決定保留哪段代碼
`#elif` / `#else` / `#endif`	分支控制	同上
`#error`	強制編譯錯誤	攔截不支援的平台/配置
`#pragma`	編譯器指示	編譯器專屬，影響最佳化/警告/對齊
`#line`	改變行號/檔名	代碼生成工具常用

進階宏技巧

1. 變參宏 `__VA_ARGS__` (C99)

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

LOG("啟動完成");                    // 無額外參數
LOG("連線 %s:%d", host, port);      // 有額外參數
/* ## 消除前置逗號，支援零參數 */

2. 字串化 `#` 與連接 `##`

#define STRINGIFY(x) #x
#define CONCAT(a, b) a##b

STRINGIFY(hello)   // 展開為 "hello"
CONCAT(var, 1)     // 展開為 var1

3. 多行宏的 `do { ... } while(0)` 慣用語

#define SAFE_FREE(ptr) \
    do { free(ptr); (ptr) = NULL; } while(0)

/* 使用時可加分號，不影響 if-else 結構 */
if (err) SAFE_FREE(buf);
else do_something();

4. 編譯期斷言 (C11 `static_assert` 前身)

#define COMPILE_TIME_ASSERT(cond, msg) \
    typedef char static_assert_##msg[(cond) ? 1 : -1]

COMPILE_TIME_ASSERT(sizeof(int) == 4, int_must_be_32bit);

條件編譯實戰模式

1. 平台抽象層

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

2. 功能開關 (Feature Flags)

/* config.h */
#define ENABLE_LOGGING 1
#define ENABLE_STATS   0

/* code.c */
#if ENABLE_LOGGING
    #define LOG(...) printf(__VA_ARGS__)
#else
    #define LOG(...) ((void)0)
#endif

編譯時可用 -DENABLE_STATS=1 覆蓋，無需改代碼。

3. 版本資訊嵌入

#define VERSION_MAJOR 2
#define VERSION_MINOR 5
#define VERSION_PATCH 1
#define VERSION_STRING "2.5.1-" GIT_COMMIT_HASH

前置處理器的「黑魔法」與禁忌

⚠️ 禁忌 1：宏模擬函數導致副作用多重求值

#define MAX(a,b) ((a) > (b) ? (a) : (b))
int x = 5, y = 10;
int z = MAX(x++, y);   // x 增加兩次！

修正：C11 用 _Generic + inline 函數，或 GNU 擴展 ({ typeof(a) _a=(a); typeof(b) _b=(b); _a>_b?_a:_b; })。

⚠️ 禁忌 2：宏定義型別/結構體 (除非 DSL)

#define DECLARE_LIST(type) \
    typedef struct type##List { type *data; size_t len; } type##List
/* 難以除錯、IDE 無法跳轉、錯誤訊息難懂 */

建議：用 _Generic (C11) 或 C++ 模板；C 語言乖乖寫具體型別。

⚠️ 禁忌 3：頭文件未加防重複包含衛兵

/* 標準衛兵 */
#ifndef MY_HEADER_H
#define MY_HEADER_H
/* 內容 */
#endif

/* 或 C11 標準 (GCC/Clang/MSVC 均支援) */
#pragma once

實用除錯宏工具箱

/* 追蹤函數進出 */
#define FUNC_ENTER()  printf(">> %s:%d\n", __func__, __LINE__)
#define FUNC_LEAVE()  printf("<< %s:%d\n", __func__, __LINE__)

/* 印出變數名與值 */
#define DUMP_VAR(x)   printf(#x " = %d\n", (x))

/* 編譯期檢查指標非 NULL */
#define ASSERT_PTR(p) _Static_assert(__builtin_constant_p(p) && (p) != NULL, "null ptr")

/* 靜態字串連接 */
#define STR_JOIN(a,b) a##b

標準預定義宏 (C99/C11)

宏	說明
`__FILE__`	當前源檔路徑
`__LINE__`	當前行號
`__func__`	當前函數名 (C99)
`__DATE__`, `__TIME__`	編譯日期/時間
`__STDC_VERSION__`	C 標準版本號 (199901L, 201112L, 201710L)
`__cplusplus`	C++ 編譯時定義