編寫高效、簡潔的 C 語言代碼是軟件工程師的核心追求。本文總結四大提升程序執行效率的核心技巧：以空間換時間、數學方法求解、位運算替代算術、內嵌匯編極致優化，並通過對比示例深度剖析各技巧的適用場景、優缺點及注意事項。
計算機程序中空間（內存）與時間（CPU 週期）存在根本矛盾。通過預先計算、緩存結果、展開代碼等方式佔用更多內存，換取運行時間的大幅縮短。
// 方法 A：常規運行時賦值
#define LEN 32
char string1[LEN];
memset(string1, 0, LEN);
strcpy(string1, "This is a example!!"); // 兩次函數調用、循環拷貝
// 方法 B：編譯期常量 + 指針引用
const char string2[LEN] = "This is a example!";
char *cp = string2; // 僅指針賦值，零開銷
// 使用時直接操作 cp效率差異：方法 B 消除運行時函數調用、循環拷貝、內存初始化開銷。缺點是靈活性降低（內容固定），若需頻繁修改字符串則不適用。
// 方法 C：普通函數調用
#define bwMCDR2_ADDRESS 4
#define bsMCDR2_ADDRESS 17
int BIT_MASK(int __bf) {
return ((1U << (bw ## __bf)) - 1) << (bs ## __bf);
}
void SET_BITS(int __dst, int __bf, int __val) {
__dst = ((__dst) & ~(BIT_MASK(__bf))) | (((__val) << (bs ## __bf)) & (BIT_MASK(__bf)));
}
SET_BITS(MCDR2, MCDR2_ADDRESS, RegisterNumber); // 函數調用開銷：壓棧、跳轉、彈棧、棧檢查
// 方法 D：宏函數展開（ARM 公司源碼風格）
#define bwMCDR2_ADDRESS 4
#define bsMCDR2_ADDRESS 17
#define bmMCDR2_ADDRESS BIT_MASK(MCDR2_ADDRESS)
#define BIT_MASK(__bf) (((1U << (bw ## __bf)) - 1) << (bs ## __bf))
#define SET_BITS(__dst, __bf, __val) \
((__dst) = ((__dst) & ~(BIT_MASK(__bf))) | (((__val) << (bs ## __bf)) & (BIT_MASK(__bf))))
SET_BITS(MCDR2, MCDR2_ADDRESS, RegisterNumber); // 零函數調用開銷，編譯期展開為內聯代碼原理：函數調用涉及參數壓棧、保存現場、跳轉、執行、恢復現場、彈棧、返回，現代編譯器優化（內聯、鏈接時優化）可部分緩解，但宏展開保證零開銷。代價：代碼膨脹、調試困難、類型安全弱、遞歸不可用。
inline 關鍵字、__forceinline、編譯器優化選項（-O3//Ox）、LTO（鏈接時優化）數學是計算機之母。利用數學公式、規律、性質替代迭代計算，可將時間復雜度從 O(n) 降至 O(1)，實現數量級性能飛躍。
// 方法 E：迴圈累加 O(n)
int i, j = 0;
for (i = 1; i <= 100; i++) {
j += i; // 100 次賦值、判斷、加法
}
// 方法 F：等差數列求和公式 O(1)
int i = (100 * (1 + 100)) / 2; // 1 次加法、乘法、除法啟示：編程前多思考數學本質，尋找閉式解、遞推關係、對稱性、周期性、幂次規律等。
| 問題 | 迴圈解法 | 數學解法 | 復雜度提升 |
|---|---|---|---|
| 1²+2²+...+n² | 累加 | n(n+1)(2n+1)/6 | O(n)→O(1) |
| 斐波那契數列第 n 項 | 遞歸/迴圈 | 矩陣快速冂/通項公式 | O(n)→O(log n) |
| 最大公約數 | 輾轉相減 | 輾轉相除法 | O(n)→O(log n) |
| 素數判斷 | 試除到 n-1 | 試除到 √n、Miller-Rabin | O(n)→O(√n)/O(k log³n) |
| 組合數 C(n,k) | 遞歸/動態規劃 | 乘除公式/帕斯卡三角形/預計算階乘逆元 | 指數→多項式 |
位是計算機最小數據單位。位運算（&、|、^、~、<<、>>）直接對應 CPU 指令，無函數調用、無複雜邏輯，執行極快。利用二進制特性替代除法、取模、乘法等高開銷運算。
// 方法 G：標準算術運算
int I = 257 / 8; // 除法指令，多週期
int J = 456 % 32; // 取模指令，極慢
// 方法 H：位運算等價替換
int I = 257 >> 3; // 右移 3 位 = 除以 2³
int J = 456 & (32 - 1); // 與 (2ⁿ-1) 位與 = 模 2ⁿ
// 或 J = 456 - (456 >> 4 << 4); // 原文寫法：減去高位部分編譯器視角：現代編譯器（GCC、Clang、MSVC）在優化開啟時會自動將除以 2 的冂次、模 2 的冂次優化為位運算。但手動使用位運算可處理編譯器難以識別的複雜模式，且不依賴優化等級。
// 快速判斷奇偶
bool isOdd = (x & 1);
// 快速交換兩變量（無臨時變量）
a ^= b; b ^= a; a ^= b;
// 清除最低位的 1
x = x & (x - 1); // 用於計算 1 的個數、判斷 2 的冂次
// 獲取最低位的 1
lowbit = x & (-x); // 樹狀數組核心操作
// 2 的冂次對齊（向上取整到 2 的冂次倍數）
aligned = (x + alignment - 1) & ~(alignment - 1);
// 無分支絕對值（補碼表示）
int abs = (x ^ (x >> 31)) - (x >> 31);
// 顏色通道提取/合成 (ARGB 32位)
alpha = (color >> 24) & 0xFF;
red = (color >> 16) & 0xFF;
green = (color >> 8) & 0xFF;
blue = color & 0xFF;
color = (alpha << 24) | (red << 16) | (green << 8) | blue;警告：位運算依賴數據位寬、符號表示（補碼/反碼/原碼）、移位語義（算術/邏輯移位）、端序。在 16 位機、DSP、異構架構間移植時，必須使用固定寬度類型（
int32_t,uint16_t等）並充分測試。僅在確定目標平台、性能極其敏感時使用。
「在熟悉匯編語言的人眼裡，C 語言程序都是垃圾。」雖偏激但道出本質：匯編可直接控制 CPU 指令、寄存器、流水線、向量單元，實現理論極限性能。內嵌匯編在 C 代碼中混合汇編指令，兼顧可移植性（非匯編部分）與極致性能（熱點路徑）。
// 需求：將 1024 字節數組逐字節拷貝
char string1[1024], string2[1024];
// 方法 I：C 標準庫
memcpy(string2, string1, 1024); // 庫函數已高度優化（SSE/AVX/NEON 向量化）
// 方法 II：內嵌匯編（x86 32位示例，現代編譯器下通常不如 memcpy）
__asm {
mov esi, string1
mov edi, string2
mov ecx, 256 // 1024/4 = 256 次雙字拷貝
rep movsd // 重複 movsd (mov string doubleword)
// 剩餘字節處理...
}
// 方法 III：內嵌匯編（x64 SSE2 向量化）
__asm {
mov rsi, string1
mov rdi, string2
mov rcx, 32 // 1024/32 = 32 次 32字節拷貝
loop_start:
movdqu xmm0, [rsi] // 無對齊要求加載 16 字節
movdqu xmm1, [rsi+16]
movdqu [rdi], xmm0
movdqu [rdi+16], xmm1
add rsi, 32
add rdi, 32
dec rcx
jnz loop_start
}__builtin_popcount、_mm_add_epi8、__builtin_expect 等編譯器內建函數提供無匯編的底層控制cli/sti, in/out, cpuid）、特定指令序列（內存屏障、緩存刷新）、引導加載程序、OS 內核、極端嵌入式、逆向工程、CTF 競賽
// 32 位支持 __asm 塊
__asm {
mov eax, 1
add eax, 2
}
// 64 位不支持 __asm，需用 .asm 文件 + MASM 或編譯器內建函數
// 跨平台推薦：GCC/Clang 擴展語法
__asm__ volatile (
"movl %1, %%eax\n\t"
"addl %2, %%eax\n\t"
"movl %%eax, %0"
: "=r" (result)
: "r" (a), "r" (b)
: "%eax"
);| 技巧 | 提升幅度 | 代碼可讀性 | 可移植性 | 維護成本 | 推薦指數 |
|---|---|---|---|---|---|
| 空間換時間 | 中高（熱點路徑） | 中（宏降低可讀性） | 高 | 中 | ★★★★☆ |
| 數學優化 | 極高（數量級） | 高（公式自文檔化） | 極高 | 低 | ★★★★★ |
| 位運算 | 中（單指令優化） | 低（需註釋） | 中（跨平台陷阱） | 高 | ★★★☆☆ |
| 內嵌匯編 | 極高（理論極限） | 極低 | 極低 | 極高 | ★★☆☆☆ |
-O3 -march=native -flto，編寫編譯器友好代碼（const、restrict、避免別名）memcpy/memmove/qsort/std::sort 經過專家優化，極難手工超越_mm_*）、位操作內建（__builtin_ctz）、分支預測提示（__builtin_expect）四大技巧中，數學優化收益最高、風險最低，應作為首選思維；空間換時間 適合熱點路徑微優化；位運算 處理特定位級邏輯；內嵌匯編 為終極殺器但代價極大。現代開發應以「算法優化 + 編譯器協作 + 標準庫/內建函數」為主流，保持代碼可讀、可維、可移植，在性能真正成為瓶頸時，再通過 Profiler 定位熱點，針對性應用上述技巧。
