C# 例外觸發條件：throw 語句與執行時例外條件完整分類

兩大觸發來源

throw 陳述式詳解

// 拋出運算式結果 (必須為 Exception 或衍生類別)
throw new InvalidOperationException("狀態無效");

// 運算式結果為 null → 自動拋出 NullReferenceException
Exception ex = null;
throw ex; // 實際拋出 NullReferenceException

// 僅在 catch 區塊合法：重新拋出
catch (Exception ex) { throw; }

常見執行時例外條件對照表

整數溢位與 checked/unchecked 內文

// 預設 unchecked：溢位截斷 (回繞)
int a = int.MaxValue;
int b = a + 1; // b = -2147483648 (無例外)

// checked 內文：溢位拋出 OverflowException
checked {
    int c = int.MaxValue + 1; // 拋出 OverflowException
}

// 編譯器選項 /checked+ 可讓整個專案預設 checked

浮點數特殊行為

• double / 0 → Infinity / -Infinity / NaN (不拋出例外)
• float 同理
• decimal / 0 → 拋出 DivideByZeroException

非同步/平行程式設計中的例外

// Task 例外包裝在 AggregateException
var task = Task.Run(() => { throw new InvalidOperationException(); });
try { task.Wait(); }
catch (AggregateException aex) {
    foreach (var ex in aex.Flatten().InnerExceptions)
        Console.WriteLine(ex.Message);
}

// async/await 自動解開 AggregateException
async Task Foo() {
    await Task.Run(() => { throw new InvalidOperationException(); });
}
// 呼叫端 try-catch 直接捕捉 InvalidOperationException

總結

例外觸發來源雙軌制：throw 由開發者控制業務邏輯錯誤；CLR 自動偵測系統層級違規 (記憶體、算術、型別安全)。理解各例外觸發條件，能在正確位置放置防禦檢查或 try-catch，建立健壯軟體。

1. 上一篇文章： C# 例外處理實戰：try-catch-finally 結構、例外篩選與資源清理模式
2. 下一篇文章： C# 整數溢位處理：checked/unchecked 關鍵字、編譯器選項與最佳實踐

關於C#

C# 開發 WPF/Silverlight 動畫與遊戲系列教程（二十三）：自適應視窗化與全螢幕切換（僅限 WPF）

架構擴展性的試金石 視窗化與全螢幕自適應完美切換，是檢驗遊戲

C# 設計模式精講：單例模式

前言 單例模式是最基礎也最常被誤用的設計模式。本文透過遊戲伺

C# 演算法入門：以「人鬼過河」遊戲理解流程控制與狀態空間搜尋

什麼是演算法？ 演算法為解決特定問題的有限指令序列，具備輸入

MEF 實戰（四）：三大目錄類別與 AggregateCatalog 組合搜尋範圍

MEF 發現擴充組件的來源稱為 Catalog（目錄）。本文