C++ 進階：參數傳遞與異常傳遞的本質差異

語法相似，語意迥異

函數參數宣告與 catch 子句參數宣告語法幾乎相同（Widget, Widget&, const Widget&, Widget*...），但底層機制截然不同。核心差異在於：函數呼叫控制權最終返回呼叫端，異常拋出則永不返回。

差異一：拷貝次數與物件生命週期

Widget localWidget;
cin >> localWidget;      // 傳參考，無拷貝，操作直接作用於 localWidget
throw localWidget;       // 拋出異常：無論 catch by value 或 reference，皆會拷貝一份暫時物件

原因： localWidget 離開作用域時會被解構。若直接傳遞原物件給 catch，接收到的將是已解構的「屍體」。C++ 標準強制異常物件必須被複製，存放於例外處理機制管理的儲存區（通常在堆上），確保 catch 接收到有效物件。

• 傳值捕獲： 兩次拷貝（暫時物件 → catch 參數）。
• 傳參考捕獲： 一次拷貝（暫時物件），catch 參數綁定該暫時物件。
• 靜態/全域物件拋出： 仍會拷貝，catch 無法修改原物件。

差異二：靜態類型決定拷貝行為（切割問題）

class Widget { ... };
class SpecialWidget : public Widget { ... };

SpecialWidget sw;
Widget& rw = sw;
throw rw; // 拋出類型為 Widget (rw 的靜態類型)，而非 SpecialWidget！

拷貝建構函數依靜態類型 (static type) 選擇，而非動態類型。這與 C++ 其他拷貝語境一致，但極易導致物件切割，衍生類特有資料遺失。

catch (Widget& w) { throw; }   // 重新拋出「當前異常物件」，類型保持原樣 (可能是 SpecialWidget)，無額外拷貝
catch (Widget& w) { throw w; } // 拋出 w 的「新拷貝」，類型固定為 Widget (w 的靜態類型)，有拷貝開銷

throw 10;           // int 異常
catch (double d) {} // 無法捕獲！不進行 int→double 轉換
catch (int i) {}    // 必須精確匹配 int 或 int&

try { ... }
catch (logic_error& ex) { ... }      // 基類，放前面會攔截所有派生類
catch (invalid_argument& ex) { ... } // 派生類，永不被執行！