拋出和拋出arg捕獲異常有什麼區別？

Question

試想兩個相似的代碼段：

try { 
    [...] 
} catch (myErr &err) { 
    err.append("More info added to error..."); 
    throw err; 
} 

和

try { 
    [...] 
} catch (myErr &err) { 
    err.append("More info added to error..."); 
    throw; 
} 

有效這些是相同的，還是他們在一些微妙的方式有什麼不同？例如，第一個是否會導致拷貝構造函數被運行，而第二個可能會重用同一個對象來重新拋出呢？

Answer 1

取決於你如何安排你的異常層次結構，重新拋出由throw語句命名異常變量的異常可能片原來的異常對象。

一個無參數的擲表達將拋出當前異常對象保持其動態型，而用自變量的擲表達將根據靜態類型的參數throw的拋出一個新的異常。

E.g.

int main() 
{ 
    try 
    { 
     try 
     { 
      throw Derived(); 
     } 
     catch (Base& b) 
     { 
      std::cout << "Caught a reference to base\n"; 
      b.print(std::cout); 
      throw b; 
     } 
    } 
    catch (Base& b) 
    { 
     std::cout << "Caught a reference to base\n"; 
     b.print(std::cout); 
    } 

    return 0; 
} 

如上寫入時，程序將輸出：

Caught a reference to base 
Derived 
Caught a reference to base 
Base

如果throw b是具有throw替換，則外抓也將趕上原來拋出Derived異常。如果內部類通過值而不是引用捕獲異常，這仍然成立 - 儘管自然這意味着原始異常對象不能被修改，所以對b的任何更改都不會反映在由外部塊捕獲的Derived異常中。

Answer 2

在根據C++標準15.1/6拷貝構造第二種情況下不使用：

的throw-表達與沒有操作數的重新拋出正在處理的異常。該例外情況在現有的臨時情況下重新激活;沒有新的臨時異常對象被創建。這個例外不再被認爲是被捕獲的;因此，uncaught_exception（）的值將再次爲真。

在第一種情況新異常將根據15.1/3被拋出：

的throw-表達初始化臨時對象，稱爲異常對象，其中所述類型的通過去除任何確定從「T的數組」或「返回T的函數」到「指向T的指針」或「返回T的函數的指針」的類型，分別爲 和 的靜態類型的頂級cv限定符。 < ...>臨時用於初始化匹配處理程序（15.3）中指定的變量。除了void *，const void *， volatile void *或const volatile void *以外，throw-expression的類型不應爲 不完整類型，或指向不完整類型的指針或引用。除了這些限制和對15.3中提到的 類型匹配的限制之外，throw的操作數在調用 （5.2.2）或返回語句的操作數時完全作爲函數參數處理。

在兩種情況下複製構造需要在擲階段（15.1/5）：

當拋出的對象是一個類對象，和用於初始化臨時副本拷貝構造是不可訪問，該程序是不合格的（即使臨時對象可能被刪除）。 同樣，如果該對象的析構函數不可訪問，則該程序是不合格的（即使臨時對象可能被刪除）。