C 語言整型溢出處理與大小端模式檢測：原理、代碼與最佳實踐

整型溢出：發生了什麼？

當大類型賦值給小類型（如 `int` → `char`），高位被截斷，保留低位。C 標準規定：無符號類型截斷保留低位（模 2ⁿ）；有符號類型屬實現定義行為（普遍採用補碼截斷）。

實驗驗證：int → char 截斷

#include <stdio.h>

int main(void) {
    char sum;
    int val = 4874;  // 0x0000130A

    sum = val;       // 截斷保留低 8 位：0x0A (10)
    printf("sum = %d (0x%02X)\n", sum, (unsigned char)sum);
    // 輸出: sum = 10 (0x0A)

    // 驗證位模式
    printf("val hex: 0x%08X\n", val);
    printf("低位字節: 0x%02X\n", val & 0xFF);
    return 0;
}

結論：x86/ARM 等小端機器上，`int` 低地址存低位字節，`char` 取低地址字節 → 保留低 8 位。

大小端模式：本質與檢測

定義

聯合體檢測法（標準、可移植）

#include <stdio.h>

int is_little_endian(void) {
    union {
        uint32_t i;
        uint8_t  c[4];
    } u = { .i = 0x01020304 };
    return u.c[0] == 0x04;  // 低地址存 04 → 小端
}

int main(void) {
    printf("Little Endian: %s\n", is_little_endian() ? "Yes" : "No");
    return 0;
}

指針強制轉換法（簡潔但嚴格別名規則風險）

int is_le(void) {
    uint32_t x = 1;
    return *(uint8_t *)&x;  // 可能違反 strict aliasing，建議用 union
}

編譯器內建宏（現代最佳實踐）

// GCC/Clang/MSVC
#if defined(__BYTE_ORDER__) && __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
    // 小端
#elif defined(__BYTE_ORDER__) && __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
    // 大端
#elif defined(_WIN32) || defined(__x86_64__) || defined(__aarch64__)
    // 常見小端平台
#else
    // 運行時檢測
#endif

溢出與端序的綜合應用：網絡序轉換

#include <arpa/inet.h>  // htonl, ntohl, htons, ntohs
#include <stdint.h>

// 手寫版本（無標準庫時）
uint32_t htonl_manual(uint32_t host) {
    // 假設宿主機為小端
    return ((host & 0xFF) << 24) |
           ((host & 0xFF00) << 8) |
           ((host & 0xFF0000) >> 8) |
           ((host >> 24) & 0xFF);
}

uint16_t htons_manual(uint16_t host) {
    return (host << 8) | (host >> 8);
}

有符號溢出：未定義行為（UB）警示

int a = INT_MAX;
a += 1;  // UB！編譯器可假設永不發生，優化掉檢查

// 安全檢查
if (a > 0 && b > INT_MAX - a) overflow();
else a += b;

• 無符號溢出：定義為模 2ⁿ 環繞
• 有符號溢出：UB，現代編譯器（GCC -O2、Clang）會激進優化
• 使用 `-fwrapv` 強制有符號環繞（性能損失）
• 優先用無符號類型做位運算、邊界檢查

最佳實踐清單

1. 端序檢測：優先編譯期宏，次之聯合體運行時檢測
2. 網絡/文件存儲：統一用大端（網絡序），`htonl`/`ntohl` 轉換
3. 結構體序列化：逐字段轉換，避免直接 `memcpy` 結構體（填充字節、對齊、端序）
4. 溢出防護：邊界檢查在運算前，使用 `INT_MAX`/`UINT_MAX` 常量
5. 類型選擇：位操作用 `uint32_t` 等定寬類型，避免 `int` 寬度不定