C++ Virtual Functions
Virtual这个关键字在多态中扮演一个绝对重要的角色,只要member functions声明的前面加上virtual的关键字,他就会成为 Virtual member functions。任何一个class如果拥有virtual functions,就可以得到C++编译器的虚拟机制(virtual mechanism)的服务。这个class的所有derived classes,也都会继承这些virtual functions。derived class决定重新定义virtual functions(而不再沿用base class的定义),这个动作称为override(改写),这时候我们需要在derived class中重新声明virtual functions并重新定义代码。重新声明时不需要特别再加上virtual字眼,可以说是“一代为virtual,世代为virtual"。不过,我建议不厌其烦地在derived classes中为每一个你想要重新定义的virtual functions都加上virtual关键字,这对于代码的可读性有帮助。
Virtual functions的妙用,在Inheritance(继承)和Polymorphism(多态)情况下才会发挥得淋漓尽致,以下我们以一个简单的例子来展示一下virtual functions带来的影响:
1 #include <iostream> 2 3 using namespace std; 4 5 class CShape 6 { 7 public: 8 virtual void display(){cout<<"CShape"<<endl;}; 9 10 protected: 11 int m_color; 12 }; 13 14 class CRect:public CShape 15 { 16 public: 17 void display(){cout <<"CRect"<<endl;}; 18 19 }; 20 21 22 int main() 23 { 24 CShape* pShape1=new CShape; 25 pShape1->display();//输出CShape 26 CShape* pShape2=new CRect;//polymorphic 27 pShape2->display();//输出CRect; 28 29 return 0; 30 }
执行结果很妙,我们以相同的类型指针(CShape)呼叫相同的函数(至少表面上看相同),但结果却是:
显然所唤起的virtual function因为指标真正指向的object不同而不同。正是如此,以base type pointer指向derived type object,就是所谓的polymorphism(多型),搭配virtual functions,可以有非常大威力,但请注意,这个威力唯有透过指针的形式才得以呈现。拥有virtual functions的class,我们就给予它一个特别的名称:polymorphic class。