Exceptions interact exactly deterministically with the call/return system. There is no scope for surprises.

In particular, destructors run, absolutely reliably. Rely on them. Using modern C++, you rarely need to code your own destructor; usually the language provides one that is guaranteed to be correct.