ex.what() zmiany zagnieżdżonego try-catch

Question

Mam zagnieżdżony kod try-catch jak poniżej:

void A() 
{ 
    try 
    { 
     //Code like A = string(NULL) that throws an exception 
    } 
    catch(std::exception& ex) 
    { 
     cout<<"in A : " << ex.what(); 
     throw ex; 
    } 
} 

void B() 
{ 
    try 
    { 
     A(); 
    } 
    catch(std::exception& ex) 
    { 
     cout<<"in B : " << ex.what(); 
    } 
} 

Po uruchomieniu tego mam ten wynik:

in A: basic_string::_M_construct null not valid 
in B: std::exception 

jak można zobacz, ex.what() działa OK w funkcji A i powiedz mi poprawny opis, ale w B ex.what() mówi mi tylko std::exception. Dlaczego to się dzieje?

Czy w klauzuli catch funkcji A wystaje coś innego? Jak wyrzucić zagnieżdżony wyjątek, aby uzyskać dokładny opis wyjątku w B?

Answer 1

Wymień throw ex; na throw;.

Robi to ostatnie będzie ponownie rzucić wyjątek ex, przez odniesienie, więc eliminując zagrożenia przy próbie wykonania kopii wartość: zobacz What is object slicing?

(Zauważ, że są wolno modyfikowaćex nawet jeśli napiszesz throw).

Answer 2

Przerzucasz kopię wyjątku ex w A. Co powoduje, że krojenie obiektów zmienia konkretny wyjątek w std::exception.

Aby ponownie wyświetlić rzeczywisty wyjątek, który został złapany polimorficznie, należy użyć instrukcji throw;.

Warto pamiętać, co Scott Meyers mówi w swojej książce. Rzucacie przez wartość i powinniście złapać przez odniesienie.

Answer 3

Jesteś slicing oryginalny obiekt wyjątku, spróbuj

try { 
    throw std::runtime_error("Hello world"); 
} 
catch (std::exception& ex) 
{ 
    cout << "in A : " << ex.what(); 
    throw; // Rethrows the original exception - no copy or slicing 
    ^^^^^^ 
}