也谈virtual

最新推荐文章于 2022-11-11 21:58:46 发布

酷python

最新推荐文章于 2022-11-11 21:58:46 发布

阅读量423

点赞数

CC 4.0 BY-SA版权

分类专栏： C++

本文链接：https://blog.youkuaiyun.com/KWSY2008/article/details/8350153

C++ 专栏收录该内容

20 篇文章

订阅专栏

探讨了C++中基类指针指向派生类对象时的实际类型，并通过实例展示了为何指针类型并非派生类，而是基类。进一步解释了在引入虚函数后的行为变化。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

先思考一个问题，来引出本文的主要内容

class A是基类，class B是A的子类，那么请看下面的语句 A* a = new B(); 此时指针a的类型是B还是A？

一直以来，我都认为铁定是B，我一直认为出现了类型转换，但直到今天才知道，这个想法是错误的。

看代码

#include<iostream>
using namespace std;
class BaseA
{
public:
	void print()
	{
		cout<<"A"<<endl;
	}
	void test()
	{
		cout<<"aa"<<endl;
	}
};
class BaseB:public BaseA
{
private:
	void print()
	{
		cout<<"b"<<endl;
	}
	void test()
	{
		cout<<"bb"<<endl;
	}
};

int main(int argc, char* argv[])
{
	BaseA *p = new BaseB();
	cout<<typeid(*p).name()<<endl;
	p->print();
	p->test();
	return 1;
}

运行出来的结果让我大吃一惊，指针的类型是BaseA,而不是我以为的BaseB.

为什么没有出现我想象中的类型转换呢？我只能做出这样的推测，之所以不转换，是因为不需要转换，因为不涉及任何的多态，转换反而是错误的。

修改一下代码，将BaseA的print方法改为 virtual

#include<iostream>
using namespace std;
class BaseA
{
public:
	virtual void print()
	{
		cout<<"A"<<endl;
	}
	void test()
	{
		cout<<"aa"<<endl;
	}
};
class BaseB:public BaseA
{
private:
	void print()
	{
		cout<<"b"<<endl;
	}
	void test()
	{
		cout<<"bb"<<endl;
	}
};

再次执行main