Destructors take care of all these situations and because they are hidden and run automatically at the end of a scope you don't forget them or mess them up.

I have never heard anyone say they are hard to reason about, especially if there is no garbage collection or inheritance.