C語言預處理器完全指南：宏、條件編譯與文件包含最佳實踐

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

預處理器在編譯器介入前掃描源碼，執行文本級替換。它不理解 C 語法，只識別以 # 開頭的指令。輸出經處理的源碼交由編譯器。

一、核心指令速查

二、文件包含：#include 機制詳解

1. 兩種形式的搜索路徑差異

#include <stdio.h>   // 系統路徑：/usr/include, 編譯器內建路徑
#include "myhead.h"  // 用戶路徑：當前目錄 → 系統路徑

最佳實踐：標準庫用 <>，項目頭文件用 ""。

2. 防重複包含：Include Guard

// myhead.h
#ifndef MYHEAD_H
#define MYHEAD_H

// 內容...

#endif

現代替代：#pragma once (非標準但廣泛支持)。

3. 嵌套包含限制

標準要求至少支持 8 層嵌套，現代編譯器通常 200+。

三、宏定義：#define 的藝術與陷阱

1. 對象式宏 (常量/符號)

#define MAX_SIZE 1024
#define PI 3.1415926535
#define DEBUG 1

// 使用
int buf[MAX_SIZE];
#if DEBUG
    printf("Debug mode\n");
#endif

約定：宏名全大寫，區別於變量。

2. 函數式宏 (帶參數)

#define SQUARE(x) ((x) * (x))
#define MAX(a,b) ((a) > (b) ? (a) : (b))
#define STR(s) #s          // 字符串化
#define CAT(a,b) a##b      // 符號粘合

3. 關鍵括號規則：防止副作用與優先級錯誤

// 錯誤示範
#define SQUARE(x) x * x
int y = SQUARE(3+2); // 展開 3+2 * 3+2 = 3+6+2 = 11 (錯！)

// 正確：參數與整體雙重括號
#define SQUARE(x) ((x) * (x))
// 展開 ((3+2) * (3+2)) = 25 ✓

// 危險：副作用雙重求值
int i = 5;
int z = SQUARE(i++); // ((i++) * (i++)) → 未定義行為！
// 解決：改用 inline 函數或避免副作用參數

4. 字符串化 # 與 符號粘合 ##

// # 將參數變為字符串字面量
#define LOG(msg) printf("[LOG] %s:%d " #msg "\n", __FILE__, __LINE__)
LOG(Starting server); // 展開 printf(... "Starting server" ...)

// ## 合成標識符
#define DECLARE_VAR(type, name) type var_##name
DECLARE_VAR(int, count); // int var_count;

#define MAKE_FUNC(name) void func_##name() { printf(#name "\n"); }
MAKE_FUNC(init); // void func_init() { printf("init\n"); }

5. 多行宏與 do-while(0) 慣用法

// 錯誤：if 條件下分號導致邏輯斷裂
#define SWAP(a,b) { int t=a; a=b; b=t; }
if (x > y) SWAP(x,y); else ... // 錯誤！

// 正確：do-while(0) 包裹為單一語句
#define SWAP(a,b) do { int t=a; a=b; b=t; } while(0)

四、條件編譯：構建可配置代碼

1. 功能開關

#define ENABLE_NETWORK 1
#define ENABLE_SSL 0

#if ENABLE_NETWORK
    init_network();
    #if ENABLE_SSL
        init_ssl();
    #endif
#endif

2. 平台適配

#ifdef _WIN32
    #define PATH_SEP '\\'
#elif defined(__linux__)
    #define PATH_SEP '/'
#else
    #error "Unsupported platform"
#endif

3. 編譯器特性檢測

#if defined(__GNUC__) && __GNUC__ >= 4
    #define ATTR_UNUSED __attribute__((unused))
#else
    #define ATTR_UNUSED
#endif

五、預定義宏：編譯器提供的元信息

六、現代最佳實踐：宏的替代方案

總結

• 預處理器是文本替換器，不懂 C 語法，僅處理 # 行。
• 宏定義必加括號，警惕副作用雙重求值。
• 條件編譯構建多平台、多配置構建體系。
• 優先使用 const/enum/inline/_Static_assert 替代宏，獲得類型安全與調試可見性。
• 掌握 #/##/do-while(0) 進階技巧，編寫健壯宏庫。