C++如何自动调用析构函数？

Question

在C++中，我们可以通过对象来管理资源，即在Ctor中获取资源，在Dtor中释放（RAII）。这依赖于 C++ 的自动析构函数调用。但这是如何在幕后完成的呢？例如，C++ 如何知道为c1 而不是c2 调用Dtor。 （我知道这之前一定已经回答过了，但我所有的搜索都以解释如何使用 RAII 的主题结束）。谢谢！

class Cat;
Cat c1;
Cat* c2 = new Cat();

编辑： 我知道我需要为c2 调用删除。我只是不明白当c1 超出范围时如何调用 Dtor。

Answer 1

看看compiler explorer。我已经链接了您示例的可构建版本。以防万一链接不是永久性的，如果这个答案，我已经复制了最后的代码。

对于Cat c1; 行（浅红色），您会看到asm 中有三个对应的块，颜色相同。

lea rax, [rbp-28]
mov rdi, rax
call Cat::Cat()

这与堆栈上对象的构造相匹配。

接下来是

lea rax, [rbp-28]
mov rdi, rax
call Cat::~Cat()

这是正常的返回路径，自动调用析构函数。

终于有了

lea rax, [rbp-28]
mov rdi, rax
call Cat::~Cat()
mov rax, rbx
mov rdi, rax
call _Unwind_Resume

这是抛出异常时采用的路径（例如，new）。它会自动调用析构函数，然后继续异常。

为了完整起见，这里是C++源代码：

    class Cat
    {
    public:
        Cat() : meow() {}
        ~Cat() {}
    private:
        int meow;
    };

    void foo()
    {
        Cat c1;
        Cat* c2 = new Cat();
    }

    int main()
    {
        foo();    
    }