Delphi - try finally block è garantito dal compilatore per essere eseguito correttamente?

Question

So che questo è stato discusso anche su altri argomenti, quello che sto chiedendo è esattamente il titolo di questa domanda.

C'è un tale caso quando try/finally finalmente non verrà eseguito?

try 
    //some error here 
finally 
    //code that MUST be executed 
end; 

Non sto parlando di come try..except/fine devono essere utilizzati blocchi, sto solo chiedendo se questo possa accadere.

LE: Applicazione.Terminare/scollegare il computer in casi particolari.

Answer 1

try..finally garantisce che il codice nel blocco finally verrà eseguito indipendentemente da qualsiasi eccezione presente nel blocco protetto. Questo ovviamente non si applica se il processo viene ucciso prima che il blocco finally possa essere eseguito, ad es. da TerminateProcess o spegnendo l'alimentazione. Un ciclo infinito nel blocco protetto può anche impedire l'esecuzione definitiva del blocco.

Answer 2

Se l'alimentazione viene persa (ad esempio, se si scollega il computer e non ha batteria e non è collegato a un UPS), è molto probabile che il blocco finally non venga eseguito. Anche un grave malfunzionamento del sistema operativo o del driver (come un BSOD) potrebbe causare questo. Tuttavia, l'intera idea con il costrutto try..finally è che il blocco finally deve essere eseguito anche se viene sollevata un'eccezione (di qualsiasi tipo) all'interno del blocco try. Il blocco finally verrà eseguito anche se è presente un'istruzione exit all'interno del blocco try.

Answer 3

Se la tua app causa un'eccezione DEP (Data Execution Prevention), non credo che Windows ti permetta di continuare. Il tuo processo verrà colpito, senza eseguire la sezione finale. Il tuo processo "va via". Tuttavia, questo non ha nulla a che fare con ciò che il compilatore ha fatto o non ha fatto.

Answer 4

Dopo aver inserito try/finally, il blocco finally verrà eseguito prima che l'esecuzione lasci il try/finally.