affectations i wyjątki

Question

rozważmy Mam następującą funkcję:

SomeType createSomeType(); 

które mogą throw zależności od pewnych powodów.

Następnie:

SomeType val = SomeType(); // initial value 

try 
{ 
    val = createSomeType(); // here 
} 
catch (std::exception&) 
{ 
} 

Jeśli createSomeType() rzuty, zawsze mogę założyć, że val wartość niezmienione?

Answer 1

Tak, jeśli createSomeType() zgłasza wyjątek, zadanie nie zostanie wykonane. Przepływ kontroli przejdzie od instrukcji throw, poprzez destruktory dowolnego obiektu createSomeType() na stosie i na końcu do instrukcji catch.

Answer 2

Jeśli operator przypisania dla SomeType jest bezpieczny dla wyjątków, można mieć pewność, że albo val zostanie przypisana stała nowa wartość, albo jej początkowa wartość pozostanie niezmieniona.

Jednak wyjątek może zostać zgłoszony przez createSomeType() lub przez zadanie po pomyślnym uruchomieniu createSomeType(). Jeśli operator przypisania dla SomeType jest przeciążony i może zgłaszać wyjątki, może się zdarzyć, że val kończy się w "niesparowanym stanie" w połowie przypisanym. Ta ostatnia jest wynikiem nieprzyjmowania wyjątkowego bezpieczeństwa w projekcie, który jest zły, ale nadal może się zdarzyć.

Answer 3

od standardowych docs 15.2.1,

miarę upływu sterowanie z rzutów ekspresji do obsługi, destruktory są wywoływane dla wszystkich automatycznych obiektów zbudowanych ponieważ blok try został wprowadzony. Obiekty automatyczne są niszczone w odwrotnej kolejności niż ich budowa .

Stąd wartość val nie zmieni ...