从汇编看c++的默认析构函数的使用详解

下面就来详细讲解“从汇编看c++的默认析构函数的使用详解”的完整攻略。

一、C++的默认析构函数简介

在C++中，如果我们没有显式地为类定义析构函数，那么编译器会自动生成一个默认的析构函数，用于释放对象占用的内存。这样的析构函数不需要我们手动去写，像这样：

class MyClass{
    //...
};

如果在程序中我们创建了MyClass的对象，那么当这个对象超过其作用域时，编译器就会调用其默认析构函数。

二、默认析构函数的调用过程

因为默认析构函数的实现是由编译器自动生成的，所以我们可以通过查看对象的汇编码来探索其内部的实现。

这里我们使用以下代码作为示例：

class MyClass{
public:
    int a, b;
};

int main(){
    MyClass obj;
    obj.a = 1;
    obj.b = 2;
    return 0;
}

我们使用g++编译器生成汇编码，命令为：

g++ -S -o main.asm main.cpp

然后我们查看生成的main.asm文件，可以看到类似下面的代码段：

#...
.LFB0:
    pushq   %rbp
    movq    %rsp, %rbp
    movq    $8, %rax
    subq    %rax, %rsp
    movl    $1, -8(%rbp)
    movl    $2, -4(%rbp)
    movl    $0, %eax
    leave
    ret

我们可以看到，在main函数中，MyClass类型的对象obj被创建，然后a和b成员变量分别被赋值为1和2。那么，在main函数结束时，会发生什么呢？

答案是，先销毁成员变量，再销毁对象本身。而销毁成员变量的代码是由编译器在编译时插入到默认析构函数当中的。我们可以手动声明一个空的析构函数，来查看编译器实际生成的代码：

class MyClass{
public:
    int a, b;
    ~MyClass(){ }
};

int main(){
    MyClass obj;
    obj.a = 1;
    obj.b = 2;
    return 0;
}

编译并生成汇编码：

g++ -S -o main.asm main.cpp

然后查看生成的main.asm文件，可以看到类似下面的代码段：

#...
.LFB0:
    pushq   %rbp
    movq    %rsp, %rbp
    subq    $8, %rsp
    movl    $1, -8(%rbp)
    movl    $2, -4(%rbp)
    leave
    ret

我们可以看到，在~MyClass函数被调用之前，对象成员变量已经被撤销了。

三、总结

通过学习上面的示例，我们可以得出结论：默认析构函数是编译器自动生成的函数，是为了在对象超出作用域时释放对象占用的内存所用的。在默认析构函数中，会调用每个成员变量的析构函数来撤销这些成员变量，然后撤销对象自身。具体的实现包括在汇编码中生成需要的撤销代码。

希望这份攻略能够对你们有所帮助！