C++ Virtual Function 虚函数

C++ Virtual Function 虚函数

虚函数允许我们重写(override)子类中的方法。

如果我们有两个类 A 和 B, 其中 B 是 A 的子类。如果我们在 A 中创建一个方法,并将其标记为 virtual, 则我们可以在 B 中重写该方法来让它完成一些别的操作。

举例说明:

#include <iostream>
#include <string>

class Entity
{
public:
	std::string GetName() { return "Entity"; }
};

class Player : public Entity
{
private:
	std::string m_Name;
public:
	Player(const std::string& name) 
		: m_Name(name){}

	std::string GetName() { return m_Name; }
};

int main()
{
	Entity* e = new Entity();
	std::cout << e->GetName() << std::endl;

	Player* p = new Player("Peter");
	std::cout << p->GetName() << std::endl;
}

首先,创建两个类 Entity 和 Player,其中 Player 是 Entity 的子类。 Player 中新加了一个属性 m_name, 同时有一个跟 Entity 类中方法名相同的方法。

输出结果:

Entity
Peter

那这时,如果我们创建一个 Entity 的指针,然后把 Player 的指针 p 赋给它, 会发生什么呢?

int main()
{
	Entity* e = new Entity();
	std::cout << e->GetName() << std::endl;

	Player* p = new Player("Peter");
	std::cout << p->GetName() << std::endl;

	Entity* entity = p;
	std::cout << entity->GetName() << std::endl;
}

输出结果:

Entity
Peter
Entity

可见,entity 调用的是 Entity 中的方法。但是 p 确实是 Player 的指针,为什么呢?

为了说明,我们再增加一个函数 PrintName():

#include <iostream>
#include <string>

class Entity
{
public:
	std::string GetName() { return "Entity"; }
};

class Player : public Entity
{
private:
	std::string m_Name;
public:
	Player(const std::string& name) 
		: m_Name(name){}

	std::string GetName() { return m_Name; }
};

void PrintName(Entity* entiry)
{
	std::cout << entiry->GetName() << std::endl;
}

int main()
{
	Entity* e = new Entity();
	PrintName(e);

	Player* p = new Player("Peter");
	PrintName(p);
}

上述代码中,我们把 Player 的 指针 p 传给 PrintName() 并不会产生任何错误,这时因为实际上 p 也是 Entity 的实例,Player 是继承 Entity 的。这时会输出什么呢?

输出结果:

Entity
Entity

可以看到,e 和 p 调用的都是 Entity 中的方法。由此可见,实际上哪个 GetName() 方法被调用取决于当前实例的类型(type)。“Entity* entity = p” 中尽管 p 的类型是 Player, 但是 entity 的类型是 Entity。同理,”PrintName( p )” 中 p 也同样是被赋给了 Entity 的实例,所以调用的都是 Entity 中的方法。

那我们如何能让 PrintName() 方法知道我传递的是一个 Player 实例呢?

这时,虚函数的作用就来啦。

虚函数可以减少动态调度。实际上,c++ 的编译是由 V table 实现的。 V table 包含了基类所有虚函数的映射关系,所以我们能够在运行时找到正确的重写方法。 这里不详细说明 V table。其实也就是,如果想要重写父类的方法, 你需要把基类中的方法在基类中标记成虚函数。

标记成 virtual 函数的方式很简单,就是在基类的方法的前面加上关键字 “virtual”。 这个关键字实际上是告诉编译器,请给这个函数生成一个 V table, 然后如果这个函数被重写了,那么编译器就能找到正确的方法。

#include <iostream>
#include <string>

class Entity
{
public:
	virtual std::string GetName() { return "Entity"; }
};

class Player : public Entity
{
private:
	std::string m_Name;
public:
	Player(const std::string& name) 
		: m_Name(name){}

	std::string GetName() { return m_Name; }
};

void PrintName(Entity* entiry)
{
	std::cout << entiry->GetName() << std::endl;
}

int main()
{
	Entity* e = new Entity();
	PrintName(e);

	Player* p = new Player("Peter");
	PrintName(p);
}

输出结果:

Entity
Peter

请看,现在的输出结果就是我们想要的了。

class Player : public Entity
{
private:
	std::string m_Name;
public:
	Player(const std::string& name) 
		: m_Name(name){}

	std::string GetName() override { return m_Name; }
};

另外,可以在子类中重写的方法前加上 “override” 的关键字。这个关键字并不是必须的, 但是如果加上的话,除了可以增加可读性以外,在你的函数名与基类中函数名不一样的情况下会提醒你有错误,这样可以避免一些错误的发生。

不过实际上,virtual 函数会带来额外的两个运行时间的花销。原因在于virtual函数需要在内存中创建 V table, 然后在每次被调用的时候,还需要去 V table 里查找到正确的函数。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值