c++ - C++堆栈变量的销毁顺序是否有任何保证

Question

考虑以下代码:

{
  std::auto_ptr<Something> p1(pSomePointer);
  std::auto_ptr<Something> p2(pSomeOtherPointer);
  ...
}

是否可以保证在退出作用域时 p2 的析构函数会在 p1 之前被调用？常识表明堆栈变量应该首先从堆栈顶部销毁，但 C++ 编译器可以重新排序赋值。

Answer 1

是的，它们的销毁顺序与构造顺序相反——最后构造的对象将首先被销毁。 C++ 保证了这一点。