C 語言迴圈條件陷阱：while(n=1/3) 與 for(;2;) 執行行為深度分析

代碼分析

// 情況 1
while (n = 1/3) { /* 迴圈體 */ }

// 情況 2
for (; 2; ) { /* 迴圈體 */ }

關鍵知識點

1. 整數除法：`1/3` 兩個 `int` 相除，結果為 `0` (截斷小數部分)。
2. 賦值表達式的值：`n = 0` 的值是 `0` (被賦的值)。
3. C 語言真假判斷：`0` 為假，非 `0` 為真。
4. for 迴圈第二表達式缺省：視為恆真 (1)。

逐步推演

while (n = 1/3)

1. 計算 `1/3` → `0` (int)。
2. 賦值 `n = 0`，表達式值為 `0`。
3. 條件判斷：`0` 為假。
4. 迴圈體零次執行，直接跳過。

若改為 `while (n = 1.0/3)` → `n=0.333...` 非 0 → 無限迴圈 (無 break/修改 n)。

for (; 2; )

1. 初始化表達式：無。
2. 條件表達式：`2` (常量非 0) → 恆真。
3. 遞增表達式：無。
4. 無限迴圈，等價於 `while(1)` 或 `for(;;)`。

空迴圈體行為

while (n = 1/3);  // 分號結尾 = 空語句作為迴圈體
// 編譯器可能優化掉，或陷入無限空轉 (若條件為真)
// 此處條件為假，僅執行一次賦值 n=0 即結束

for (; 2; );      // 無限空迴圈，CPU 100% 佔用，程式卡死
// 必須在迴圈體內有 break 或修改條件變數

編譯器優化警告

現代編譯器 (GCC/Clang/MSVC `-O2`) 會檢測無副作用的無限空迴圈並直接刪除或報警告：

warning: iteration 36u invokes undefined behavior [-Waggressive-loop-optimizations]
note: the loop contains no side-effects, assuming it terminates

實際專案中絕不應出現無副作用的無限迴圈，需在迴圈體執行 I/O、睡眠、原子操作等可觀測副作用。

最佳實踐：明確寫出意圖

總結

• `while(n=1/3)` → `n=0` → 條件假 → 迴圈體不執行。
• `for(;2;)` → 條件恆真 → 無限迴圈 (若無 break)。
• 整數除法截斷、賦值表達式值、真假判斷是考點核心。
• 生產代碼避免「聰明」的一行式迴圈，優先可讀性與安全性。