C語言循環優化：將條件判斷融合進運算式減少分支

優化動機

分支預測失敗代價高。將 if 判斷融合進算術運算式，可減少分支指令，利用 CPU 流水線優勢。

對比示例

原版：含分支

for (int i = 0; i < 1000*10; i++) {
    if (data[i/1000][i%10] >= 0)
        sum += data[i/1000][i%10];
}

優化版：無分支

for (int i = 0; i < 1000*10; i++) {
    int val = data[i/1000][i%10];
    sum += (val >= 0) * val;  // 條件轉為 0/1 乘法
}

原理說明

• C 語言關係運算結果為 int：真為 1，假為 0。
• (val >= 0) 產生 0 或 1，乘以 val 等價於條件累加。
• 消除了 if 分支，指令流更線性，利於超標量執行與向量化。

適用性與權衡

最佳實踐

1. 以清晰代碼為基準版本。
2. 針對熱點循環嘗試無分支重寫。
3. 實測兩版本性能（多次運行取中位數）。
4. 採用較快版本，並添加註釋說明優化意圖。

總結

條件融合進運算式是減少分支的有效手段，但非銀彈。關鍵在於實測驗證，並在可讀性與性能間取得平衡。