Wie funktioniert der try/catch in der Initialisierungsliste?

Question

Wir denken, dass eine Ausnahme bei der Initialisierung passieren kann. Also schreiben wir try/catch block.

int f(){ 
    throw 1; 
} 

class A 
{ 
public: 
    A() try : _k(f()) 
    {} 
    catch (int) 
    { 
     std::cout << "Exception 1" << std::endl; 
    } 

private: 
    int _k; 
}; 

Aber der Fang retrowers Ausnahme auf einer Ebene tiefer. Das ist, bedeutet, dass im nächsten Code

try 
{ 
    A a; 
} catch(int) 
{ 
    std::cout << "Exception 2" << std::endl; 
} 

AUSGABE:

Exception 1 
Exception 2 

Warum diese try/catch-Block nicht auf die gleiche Weise verhält sich wie gewöhnliche try/catch-Block?

Vollcodebeispiel: http://ideone.com/XjY2d

Answer 1

Es scheint Ihre Frage ist: Warum versucht eine Funktionsebene versuchen/fangen automatisch die Exceptoin? Wenn man eine Ausnahme von der Konstruktion eines Objekts wirft, wird dieses Objekt als tot betrachtet, bevor es zum Leben erwacht. Alle Unterobjekte sind zerstört. Das heißt, wenn während der Konstruktion eine Ausnahme ausgelöst wird, gibt es kein Objekt. Wenn die Ausnahme nicht werfen würde, würden Sie einen Rumpf eines Objekts in Ihre Hände bekommen. Dies ist eindeutig nicht wünschenswert.

Answer 2

Das Objekt, das Sie hat ist die Konstruktion nicht wirklich gebaut worden, so einfache Rückkehr ist keine Option. Diese Art von try0-catch wird immer erneut ausgeführt (es sei denn, Sie werfen Ihre eigene Ausnahme aus der catch-Klausel).

Answer 3

Weil es kein gewöhnlicher try-catch-Block ist, sondern ein try/catch auf Funktionsebene. Es wird automatisch erneut ausgef \ u00fchrt, es sei denn, Sie m \ u00fcssen es explizit unter Verwendung von throw.