从汇编看c++的默认析构函数

c++中，如果没有为一个类提供析构函数，那么编译器会为这个类提供默认的析构的函数。由于析构函数的功能和构造函数相反，因此和默认的构造函数类似，编译器也会提供无用的默认的析构函数，和非无用的析构函数。两者的分析情况一样(对于默认的构造函数分析，请参看《从汇编看c++的默认构造函数》)。并且编译器会提供非无用的默认析构函数情形和默认构造函数类似，只有第一条不同:

1 类含有虚成员函数(或者继承的基类含有虚成员函数，也属于这种情况)，这种情况下，编译器并不会提供非无用的默认析构函数

c++源码如下:

 

class X {
private:
    int i;
public:
    virtual void set(int ii) {
        i == ii;
    }
};
int main() {
    X x;
}
        

 

下面是main函数的汇编代码:

_main    PROC

; 9    : int main() {

    push    ebp
    mov    ebp, esp
    sub    esp, 8

; 10   :     X x;

    lea    ecx, DWORD PTR _x$[ebp];获取x对象的首地址，作为隐含参数传递给构造函数
    call    ??0X@@QAE@XZ;调用构造函数

; 11   : }

    xor    eax, eax
    mov    esp, ebp
    pop    ebp
    ret    0
_main    ENDP

从汇编代码可以看出，编译器没有显示调用任何析构函数，尽管类X含有虚成员函数。但是，可以看到，编译器提供了默认的构造函数调用，因为要初始化vptr指针。

 2 该类继承自虚基类

先看c++源码:

class X {
private:
    int i;
};

class Y : public virtual  X {
private: 
    int i;
};

int main() {
    Y y;
}

虚基类X和子类Y都没有定义析构函数
下面是main函数汇编码:

_main    PROC

; 11   : int main() {

    push    ebp
    mov    ebp, esp
    sub    esp, 12                    ; 0000000cH

; 12   :     Y y;

    push    1
    lea    ecx, DWORD PTR _y$[ebp]
    call    ??0Y@@QAE@XZ;调用y的构造函数 由编译器提供

; 13   : }

    xor    eax, eax
    mov    esp, ebp
    pop    ebp
    ret    0
_main    ENDP

从汇编吗可以看出，编译器也没有为类Y提供析构函数

3 类继承自一个基类，基类含有自定义析构函数(如果基类没有自定义析构函数，但是编译器会为它提供一个非无用的默认析构函数，也属于这种情况。这就是说，只要基类含有一个析构函数，不管这个析构函数是自定义的，还是编译器提供的非无用的默认析构函数，都行)

4 类包含一个成员对象，该成员对象自定义析构函数(如果成员对象没有自定义析构函数，但是编译器会为它提供一个非无用的默认析构函数，也属于这种情况。这就是说，只要成员变量含有一个析构函数，不管这个析构函数是自定义的，还是编译器提供的非无用的默认析构函数，都行).

并且，对于编译器提供的默认析构函数，不管是无用的，还是非无用的，它们都不会自动清除对象里面所包含的资源。