有没有办法保证析构函数的相对顺序？

【问题标题】：Is there some way to guarantee relative order of destructors?有没有办法保证析构函数的相对顺序？
【发布时间】：2020-05-09 05:14:05
【问题描述】：

如果我有类似的东西：

auto foo=Foo(Bar())

在 Foo 的构造函数对 Bar 进行 const 引用的地方，有没有办法确保 Bar 的析构函数不会在 foo 范围末尾的 foo 上的析构函数之前被调用，这样对 Bar 的引用仍然有效即使在 foo 的析构函数中？

【问题讨论】：

如果想让Bar在foo之后被销毁，则需要使其作用域大于foo的作用域。你可以做const auto bar = Bar(); auto foo = Foo(bar);。
是否有理由将其标记为 c++17 而不仅仅是 c++？

【解决方案1】：

保证了析构函数的相对顺序。

auto foo=Foo(Bar());

由于Bar() 是一个临时的，所以它保证在表达式的末尾被破坏：也就是分号。绝对保证Bar 在foo 之前被销毁。

没有办法延长这个临时的生命周期，你必须复制它（可能通过移动它）。或者：

{
   Bar b;
   auto foo=Foo(b);
}

由于单个作用域中的对象以与它们构造相反的顺序被销毁，因此由于它们在同一作用域中，b 将在foo 被销毁后被销毁。

【讨论】：