取模運算深度解析：-1 mod 256 在不同語言中的差異與數學本質

核心結論

-1 mod 256 = 255 (數學標準定義 / Python / Ruby / Lua / Google Calculator 等)

-1 % 256 = -1 (C / C++ / Java / JavaScript / C# / Go 等採用截除取餘)

數學定義 vs 計算機實現

數學定義 (模運算)

滿足同餘關係：a ≡ b (mod m) ⟺ m | (a - b)

• 結果範圍：[0, m-1] (非負)
• -1 ≡ 255 (mod 256) 因為 256 | (-1 - 255) = -256
• 性質：(a + km) mod m = a mod m

計算機實現 (取餘運算)

兩主流標準：

語言實測對比

// C/C++ (C99 標準)
-1 % 256  // -1

// Java
-1 % 256  // -1
Math.floorMod(-1, 256)  // 255 (Java 8+ 提供數學模運算)

// JavaScript
-1 % 256  // -1
((-1 % 256) + 256) % 256  // 255 (通用修正公式)

// Python
-1 % 256  // 255
divmod(-1, 256)  // (-1, 255) 商向下取整

// C# 
-1 % 256  // -1
Math.FloorMod(-1, 256) // 需 .NET 7+ 或自行實現

工程實踐：統一跨語言行為

通用正向取模函數

// Java
public static int mod(int a, int m) {
    int r = a % m;
    return r < 0 ? r + m : r;
}

// JavaScript
const mod = (a, m) => ((a % m) + m) % m;

// C/C++
int mod(int a, int m) {
    int r = a % m;
    return r < 0 ? r + m : r;
}

// Go
func Mod(a, m int) int {
    r := a % m
    if r < 0 { r += m }
    return r
}

位運算優化 (模數為 2 的冪次時)

// 僅當 m = 2^n 時有效
// -1 & 0xFF = 255 (等同於 -1 mod 256)
int fastMod = (a & (m - 1)); // m 必須是 2 的冪次
// 原理：二進制補碼中，取模 2^n 等價於保留低 n 位

實際應用場景

1. 循環緩衝區索引

// 寫入指針遞增
writeIndex = (writeIndex + 1) % BUFFER_SIZE;
// 讀取指針遞增  
readIndex = (readIndex + 1) % BUFFER_SIZE;
// 使用數學模運算確保索引始終在 [0, BUFFER_SIZE-1]

2. 哈希表槽位映射

int bucket = Math.floorMod(key.hashCode(), table.length);
// 避免負索引導致 ArrayIndexOutOfBoundsException

3. 角度標準化

// 將任意角度標準化到 [0, 360)
angle = ((angle % 360) + 360) % 360;
// 或使用數學庫
angle = Math.floorMod(angle, 360);

避坑檢查清單

1. 跨語言協議：網絡協議/文件格式涉及取模時，文檔必須聲明採用哪種標準
2. 數據庫差異：MySQL MOD(-1, 256) = 255，PostgreSQL -1 % 256 = -1，Oracle MOD(-1, 256) = 255
3. 加密算法：RSA/AES 實現中模運算必須使用數學定義 (非負結果)
4. 隨機數映射：rand() % n 產生負數導致數組越界 (C/C++ 常見 Bug)

總結建議

• **業務邏輯層**：統一使用數學模運算 (非負結果)，封裝 MathUtil.mod()
• **底層/性能敏感**：明確語言行為，模數為 2 的冪次時用位運算 & (m-1)
• **跨語言交互**：協議層約定取模語義，雙端實現統一修正函數
• **代碼審查重點**：檢查所有 % 操作是否處理負數情況