功能嘗試塊，但不在構造函數

Question

只是一個簡單的問題。有

void f(Foo x) try 
{ 
    ... 
} 
catch(exception& e) 
{ 
    ... 
} 

和

void f(Foo x) 
{ 
    try { ... } 
    catch (exception& e) 
    { 
     ... 
    } 
} 

之間有什麼區別？

如果否，爲什麼函數嘗試塊（用於構造函數的初始化列表的情況被放在一邊）？如果x傳遞給f時Foo的複製構造函數拋出異常，會發生什麼情況？

Answer 1

函數try塊只在構造函數中需要。在所有其他情況下，通過將函數的整個主體封裝在正常的try/catch塊中可以達到完全相同的效果。

如果用於初始化參數的複製構造函數拋出異常，則會發生之前的函數調用。它不能被函數try塊或函數中的異常處理程序捕獲，因爲函數不會被調用。

Answer 2

爲了捕獲構造函數初始化列表中的異常，明確添加了函數try塊。

在你的例子中沒有構造函數初始化，所以兩種形式沒有區別。

Answer 3

有些事情是允許的，因爲它會更難以禁止它們。在某些函數上允許函數try塊，但不是所有函數體都會使語法和編譯器更加複雜。

Answer 4

在此Dr. Dobb's article（雖然很舊的）就發現了一個有趣的觀點：

...記住你不能返回函數試塊處理程序中的值。因此，它是沒有意義的使用功能try塊的非void函數

，這是他們的代碼示例：

int f() 
try 
{ 
    ... 
} 
catch(Error &e) 
{ 
    // oops, can't return int from here! 
} 

這實際上意味着函數try塊比弱「定期「試塊，除了在構造函數中應該阻止它們的使用。

（文章是從2000年，因此它會是不錯的，如果有人對這個是否依然那麼在當前的標準評論）