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

Question

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

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

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

Answer 1

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

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

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

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

接下来是

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

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

终于有

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();    
    }

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

How does C++ automatically call destructor?

c++

raii