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 里查找到正确的函数。