Virtual函数(动态绑定)

c

面向对象中有一个重要的概念就是动态绑定。有了它，我们就能使用父类接口来接受子类对象，从而实现多态的目的。

 

那么，在C++中如何支持这一机制呢？这就是virtual函数的意义了。开始学C++时，我也对virtual函数感到奇怪。因为父类中定义的函数（除了private的），在子类中使用是天经地义的事。有没有virtual关键字，又有什么区别呢？其实，这个区别就在于程序中是否要使用动态绑定。如果要使用动态绑定的话，那么父类就必须声明该方法为virtual的，以便子类overriding该方法后可以通过动态绑定区分父类与子类对象的不同实现。如果没有使用virutal定义的话，那么即使程序中使用父类指针接受子类对象，也无法定位到子类的方法上。考虑下面程序：

 

class SuperClass{
public:
 virtual void println()

    {cout<<"SuperClass::println()"<<endl;}
 void print()

    {cout<<"SuperClass::print()"<<endl;}
};

class SubClass: public SuperClass{
public:
 virtual void println()

    {cout<<"SubClass::println()"<<endl;}
 void print()

    {cout<<"SubClass::print()"<<endl;}
};

int main(int argc, char* argv[]) {
 SuperClass* super = new SuperClass();
 SubClass* sub = new SubClass();
 
 SuperClass* p = sub;
 p->print();
 p->println();

 return 0;
}

打印的结果是：

SuperClass::print()
SubClass::println()

 

可以看到，没有使用virtual定义的函数就没有被动态定位到子类对象身上。