c++ - 在 C++ 中调用临时对象的析构函数的顺序是什么？

Question

考虑以下代码:

#include <iostream>

struct A {
  ~A() { std::cout << "~A" << std::endl; }
};

struct B {
  ~B() { std::cout << "~B" << std::endl; }
};

struct C {
  ~C() { std::cout << "~C" << std::endl; }

  void operator<<(const B &) {}
};

C f(const A &a = A()) {
  return C();
}

int main() {
  f(A()) << B();
}

使用 GCC 编译并运行给出以下输出:

~C
~A
~B

是否保证在用其他编译器编译时，A、B、C类型的临时对象的析构函数会按此顺序调用？一般来说，如果有的话，析构函数调用临时对象的顺序是什么？

Answer 1

让我们谈谈子表达式及其顺序。如果E1 排序在 E2之前, 这意味着 E1必须在 E2 之前进行全面评估是。如果E1 未排序 E2 , 这意味着 E1和 E2可以按任何顺序进行评估。

对于 f(A()) << B() ，在您的情况下与 f(A()).operator<<(B()) 相同，我们知道:

• A()在 f(...) 之前排序,
• f(...)在 operator<< 之前排序和
• B()在 operator<< 之前排序

这也告诉我们:

• A()在 operator<< 之前排序
• A()与 B() 无序
• f(...)与 B() 无序

如果我们假设 RVO，为了不使事情复杂化，编译器评估子表达式的可能顺序是:

• A() -> f(...) -> B() , 产生 ~B() -> ~C() -> ~A()
• A() -> B() -> f(...) , 产生 ~C() -> ~B() -> ~A()
• B() -> A() -> f(...) , 产生 ~C() -> ~A() -> ~B()

后者是在 OP 中观察到的顺序。请注意，破坏的顺序始终是构造的相反顺序。