c++ virtual function again

当决定调用哪个函数时，
如果是虚函数，那么取决于指针所指向的对象的类型。
如果是非虚函数，那么取决于指针的类型

ISO/IEC 14882:2003 page 174

[Note: the interpretation of the call of a virtual function depends on the type of the object for which it is
called (the dynamic type), whereas the interpretation of a call of a nonvirtual member function depends
only on the type of the pointer or reference denoting that object (the static type) (5.2.2). ]

当用父类指针（引用）指向子类对象时判断调用哪个函数总结起来就是：

先看指针（或引用）是什么类型的，再看调用的函数是否是虚函数。
如果是虚函数再看是否被子类override，如果override了，那么调用的是子类中的函数。
如果不是虚函数，那么就在指针（引用）所指的类中查找对应的函数，调用的是父类中的函数。

22:49 2008-10-29 补充:

了解了上面的内容后，就能明白为什么要将基类的析构函数声明为虚函数。
因为，如果父类析构函数不是虚函数。而此时你有一个指向子类对象的父类指针，那么当你delete这个指针的时候，父类的析构函数被调用，但是子类的析构函数没有被调用！就是情况C。如果父类的析构函数声明为虚函数那么子类的析构函数也会是虚函数。这样二者的虚函数都会被调用，也就可以避免潜在的资源未释放的问题。

这也是Effective C++第七款的意思：Declare destructor virtual in polymorphic base class

 

注：

1. 这边要注意的是在基类与派生类的函数定义和声明中，如果存在const关键字，要特别小心，比如：

基类：virtual resip::Data firstMsgKey(const resip::Data& key);

派生类：virtual resip::Data firstMsgKey(resip::Data& key);

形参中少了一个const，这时，就不去调用派生类的函数了，每次都是调用基类的函数