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 类包含一个成员对象,该成员对象自定义析构函数(如果成员对象没有自定义析构函数,但是编译器会为它提供一个非无用的默认析构函数,也属于这种情况。这就是说,只要成员变量含有一个析构函数,不管这个析构函数是自定义的,还是编译器提供的非无用的默认析构函数,都行).
并且,对于编译器提供的默认析构函数,不管是无用的,还是非无用的,它们都不会自动清除对象里面所包含的资源。
原文链接: https://www.cnblogs.com/chaoguo1234/archive/2013/05/12/3074146.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/88130
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!