c++ - 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 .我已经链接了您示例的可构建版本。以防万一链接不是永久性的，如果这个答案我已经在最后复制了代码。

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

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