Я запустил пример программы и действительно деструкторы для выделенных стеком объектов вызываются, но гарантируется ли это стандартом?