C語言奇技淫巧：利用無符號整數下溢實現循環控制

代碼示例

#include <stdio.h>
int main()
{
    int index = 1;
    while (--index < 1)
        printf("How are you!\n");
    return 0;
}

執行流程分析

1. index 初始化為 1（有符號整數）。
2. --index 先自減再取值：第一次循環判斷前 index 變為 0。
3. 條件 0 < 1 為真，進入循環體打印。
4. 第二次判斷：--index 使 index 從 0 變為 -1，條件 -1 < 1 仍為真。
5. 此後 index 持續變為 -2、-3… 條件永遠為真，陷入無限循環。

若改為無符號整數

unsigned int index = 1;
while (--index < 1) // 第一次判斷 index=0，條件真；第二次 index=UINT_MAX，條件假
    printf("How are you!\n");

無符號整數下溢會環繞到最大值（UINT_MAX，通常為 4294967295），條件 UINT_MAX < 1 為假，循環僅執行一次。

核心知識點

• 有符號整數溢出/下溢屬於未定義行為（UB）：C 標準不保證環繞，編譯器可任意優化，實際運行極其危險。
• 無符號整數溢出定義為模 2^N 環繞：行為確定，可被利用（如循環計數器、哈希混合）。
• 循環條件設計原則：優先使用明確的邊界變量（for (int i=0; i<n; ++i)），避免依賴溢出特性。

正確寫法對比

結語

這類「技巧」多源於對 C 整數提升、溢出規則的誤解或濫用。專業代碼應追求明確、可移植、無 UB，而非炫技。理解底層機制是為了避坑，而非製造難以維護的「聰明代碼」。