关于构造函数、析构函数，高手进，求分析。。。。。

brk1985 2010-11-16 12:53:40



#include <iostream> 



struct Base { 

	Base() {} 

	virtual ~Base()  

	{ 

		std::cout << "Base destroyed" << std::endl; 

	} 

}; 

	

struct Derived : Base { 

	~Derived() { 

		std::cout << "Derived destroyed" << std::endl; 

	} 

}; 



int main() { 

	Base *b = new Derived();delete b;//输出结果：Derived destroyed、Base destroyed；

	//const Base &b1 = Derived();//基类析构函数不设为虚函数，输出结果：Derived destroyed、Base destroyed、Derived destroyed、Base destroyed；

	//const Base &b1 = Derived();//基类析构函数设为虚函数，输出结果：Derived destroyed、Base destroyed；

	//Derived();//输出结果：Derived destroyed、Base destroyed，为什么会调用基类析构函数？

	//Base b2 = Derived();//输出结果：Derived destroyed、Base destroyed、Base destroyed；

	return 0; 

}

1. Base *b = new Derived();delete b;没有什么问题，最基本的，好理解；
2. const Base &b1 = Derived();基类的析构函数virtual去掉，输出4条语句？很意外，为什么不是两条？还有不解的是为什么构造函数可以作为右值赋值给类对象（构造函数不是没有返回类型吗？）？
3. const Base &b1 = Derived();基类的析构函数virtual加上，输出2条语句，不知道与2区别在哪里？
4. Derived();为什么会调用基类析构函数？
5. Base b2 = Derived();为什么输出3条语句？

...全文

272 30 打赏收藏转发到动态举报

写回复

用AI写文章

30 条回复

切换为时间正序

请发表友善的回复…

发表回复

brk1985 2010-11-16

打赏
举报

[Quote=引用 29 楼 jikeyuan1 的回复:]

在继承层次中析构函数一定要定义为虚函数，运行时多态，不然Base *b;b= new Derived();这条语句只会调用基类的析构函数，而造成内存的泄露，因为你b是基类指针，没有virtual的话，基类指针是只能见到自己类中的函数，对于派生类中的成员是见不到的，所以不可能调用子类的析构函数，还有LZ说什么会出现四条结果，那是不可能的 LZ的编译器可以换掉啦
[/Quote]

原程序有这么一段的。。。就上面程序都是2条，这个又牵涉到宏定义了。。。呵呵，结贴。。。
#if defined CONSTRUCTOR_DEFINED
Base() {}
#endif

jikeyuan1 2010-11-16

打赏
举报

在继承层次中析构函数一定要定义为虚函数，运行时多态，不然Base *b;b= new Derived();这条语句只会调用基类的析构函数，而造成内存的泄露，因为你b是基类指针，没有virtual的话，基类指针是只能见到自己类中的函数，对于派生类中的成员是见不到的，所以不可能调用子类的析构函数，还有LZ说什么会出现四条结果，那是不可能的 LZ的编译器可以换掉啦

龙哥依旧 2010-11-16

打赏
举报

把这帖子结了吧
把没懂的地方再发个新帖！

job82824 2010-11-16

打赏
举报

你要是用过MFC就会发现，里面所有自定义的类和派生类的析构函数都自动会在前面添加上virtual声明的。就算你去掉这个，编译器也是添加了的。就在tooltips里面有显示的。

所以呵呵...

brk1985 2010-11-16

打赏
举报

[Quote=引用 25 楼 qq120848369 的回复:]

谁会用const Base& a=Derived();
[/Quote]

变态试题吧。。。
这语句意思是：把派生类临时对象转换成基类对象，并被a引用？不知道我有没有理解错误？

qq120848369 2010-11-16

打赏
举报

谁会用const Base& a=Derived();

brk1985 2010-11-16

打赏
举报

[Quote=引用 22 楼 brk1985 的回复:]

引用 2 楼 ddlddy 的回复:

2.你的virtual不加的话Base *b = new Derived();delete b;基类不会析构const Base &b1 = Derived();这个没影响，“=”是类的赋值函数，如果没有定义会有默认的，属于操作符重载。
3.没有区别Base *b = new Derived();delete b;这个时候能看出来区别……
[/Quote]

22楼纠正下，得出的结论是在基类指针指向派生类对象的时候，加virtual语句起到的作用是调用派生类析构函数。。。

brk1985 2010-11-16

打赏
举报

[Quote=引用 3 楼 ddlddy 的回复:]

引用 1 楼 gules 的回复:
Derived()将产生一个派生类的临时对象，且派生类析构函数会自动调用其基类的析构函数。

派生类析构函数会自动调用其基类的析构函数?
[/Quote]

发现确实这样，第4点疑问解决。。。

brk1985 2010-11-16

打赏
举报

[Quote=引用 2 楼 ddlddy 的回复:]

2.你的virtual不加的话Base *b = new Derived();delete b;基类不会析构const Base &b1 = Derived();这个没影响，“=”是类的赋值函数，如果没有定义会有默认的，属于操作符重载。
3.没有区别Base *b = new Derived();delete b;这个时候能看出来区别
4.自动调用的。
5.有临时对象。
[/Quote]

我的意思是第二点（不加virtual）与第三点（加virtual）疑问区别在哪里？为什么加了virtual，输出4条语句，不加才输出2条，我不明白为什么？

加virtual的作用，很明显，Base *b = new Derived();delete b;这2条语句也调用了派生类的析构函数，否则只调用基类的析构函数，所以出问题。。。得出的结论是在基类指针指向派生类对象的时候，加virtual语句起到的作用是调用派生类对象。。。

但是为什么const Base &b1 = Derived();这条语句，加与不加virtual，也会不同？一般书里提到虚析构函数，只谈到上面这点结论，没提到引用这种情况。。。

龙哥依旧 2010-11-16