加深对动态绑定的理解

#include <iostream>
using namespace std;
class base
{
    public:
        virtual void fun()
        {
            cout<<"base"<<endl;
        }
};
class son:public base
{
    public:
        void fun()
        {
            cout<<"son"<<endl;
        }
        void sonfun2()
        {
            cout<<"fun2"<<endl;
        }

};
void dis(base &s)
{
    s.fun();
}
int main()
{
    base *a =new son;
    a->sonfun2();
    return 0;

}

编译错误：main.cpp:31:8: error: 'class base' has no member named 'sonfun2

c++ primer 第四版 p498：

    对象，引用或指针的静态类型决定了对象能够完成的行为，甚至当静态类型和动态类型可能不相同的时候，就像使用基类类型的引用或指针可能会发生的，静态类型仍然决定者可以使用什么成员。

就像上面的代码指向son对象的base指针（或引用），只能访问对象的基类部分，而在基类中没有定义sonfun2()所以不能访问。

c++primer 第四版 对触发动态绑定的要求  p479

   c++的函数调时默认不使用动态绑定，要想触发动态绑定，必须满足2个条件，：第一，只有指定为虚函数的成员函数才能进行动态绑定，成员函数默认为非虚函数，非虚函数不能进行动态绑定。第二，必须通过基类类型的引用或指针进行函数调用。（对象不可以，会发生切割，详见effectic++）。

再来看看为什么有的时候要用虚析构函数吧。

#include <iostream>
using namespace std;
class base
{
    public:
        virtual void fun()
        {
            cout<<"base"<<endl;
        }
        base(){}
        ~base()
        {
            cout<<"this is base"<<endl;
        }
};
class son: public base
{
    public:
        void fun()
        {
            cout<<"son"<<endl;
        }
        void sonfun2()
        {
            cout<<"fun2"<<endl;
        }
        int ss;
        son():base(),ss(5){}     //调用基类构造函数初始化基类部分
        ~son()
        {
            cout<<"this is son"<<endl;
        }

};
void dis(base &s)
{
    s.fun();
}
int main()
{
    base *a =new son;
    delete a;
    return 0;

}

输出的是基类的部分的，证明调用的是基类的析构函数（因为，指针类型是基类，析构函数非虚，只能调用基类自己的析构函数）。这时son的ss成员没有释放，造成了内存泄露。

将析构函数声明为虚：

#include <iostream>
using namespace std;
class base
{
    public:
        virtual void fun()
        {
            cout<<"base"<<endl;
        }
        base(){}
        virtual ~base()
        {
            cout<<"this is base"<<endl;
        }
};
class son: public base
{
    public:
        void fun()
        {
            cout<<"son"<<endl;
        }
        void sonfun2()
        {
            cout<<"fun2"<<endl;
        }
        int ss;
        son():base(),ss(5){}     //调用基类构造函数初始化基类部分
        ~son()
        {
            cout<<"this is son"<<endl;
        }

};
void dis(base &s)
{
    s.fun();
}
int main()
{
    base *a =new son;
    delete a;
    return 0;

}

输出两行显示，son的再是base的 （调用派生类的析构函数时先调用派生类自己的析构函数，再调用基类的析构函数）。

以上内容如有错误，不恰当之处，，欢迎批评指正。