堆栈展开到析构函数的调用

Question

当某些局部变量超出范围时，将发生堆栈展开。

析构函数究竟是如何被调用的？

我想知道一种机制，通过该机制编译器能够调用堆栈上的对象而不是堆上的对象的析构函数。

Answer 1

析构函数调用由编译器在生成的代码中发出。

例如，

void foo() {
    A a;
}

编译为：

void foo() {
    A::A(<stack-address-of-a>);
    A::~A(<stack-address-of-a>);
}

当函数提前返回时，它会稍微复杂一些； 考虑

void foo(int i) {
    A a;
    if (i) return;
    B b;
}

像

void foo() {
    A::A(<stack-address-of-a>);
    B::B(<stack-address-of-b>);
    if (i) goto destroy_a;
    B::~B(<stack-address-of-b>);
destroy_a:
    A::~A(<stack-address-of-a>);
}

异常再次变得更加复杂。 通常的解决方案涉及将必要的析构函数调用与调用堆栈相关联的异常区域和范围。 有关概述，请参见LLVM中的异常处理 。

Answer 2

由于它是一个堆栈 （FILO），因此将以相反的顺序调用析构函数。 因此，最后创建的对象将首先被销毁。

我想知道编译器通过哪种机制可以调用堆栈上对象的析构函数

好吧，如果将某些东西放到堆栈中，它应该知道如何从堆栈中弹出它，这似乎是有道理的。这些调用是在编译过程中添加的。