C# checked/unchecked 運算子與語句：整數溢位檢查控制完整指南

checked/unchecked 控制整數算術運算與整數顯式轉換的溢位檢查內容。影響範圍：

• ++ --（一元）、-（一元負號）
• + - * /（二元，雙運算元皆為整數）
• 整數 → 整數顯式轉換

行為差異

運算子 vs 語句

// 運算子：僅影響括號內單一運算式
int z = checked(x * y);

// 語句：影響區塊內所有受影響運算
checked {
    int a = x * y;
    int b = (int)longVal;
}

不影響區域

• 方法呼叫內部：checked(F(1000000, 1000000)) 不影響 F 內部的 x*y。
• 非整數運算（float/double/decimal）。
• 使用者定義運算子（除非內部呼叫受影響運算）。

程式碼驗證

const int X = 1000000, Y = 1000000;
checked { var a = X * Y; } // 編譯錯誤 CS0220
unchecked { var b = X * Y; } // b = -727379968
var c = X * Y; // 編譯錯誤（常數預設 checked）

最佳實務

• 金融/科學計算：區塊層級 checked。
• 效能敏感、確定不溢位：unchecked 區塊。
• 避免在迴圈熱路徑使用 checked 運算子（改用語句或專案層級 /checked+）。