C++中的动态绑定

首先说明一下C++中的静态绑定和动态绑定

1. 静态绑定：在编译时刻，根据变量的静态类型（变量声明为基类还是派生类）来决定调用哪个函数，用基类声明的，就调用基类的方法，用派生类声明的就调用派生类的方法。
2. 动态绑定：在运行时刻，根据变量实际指向的对象类型（该变量指向基类还是派生类）来决定调用哪个函数。

C++中对普通函数时采用静态绑定的，对虚函数是采用动态绑定的。可以看下面的例子。

另外C++对虚函数有几点限制：

1. 只有类的成员才可以是虚函数
2. 静态成员函数不能是虚函数
3. 构造函数不能是虚函数
4. 析构函数可以（往往）是虚函数

#include <iostream>
using namespace std;

class A{
    int m;
public:
    void fun1(){            //普通函数，采用静态绑定
        cout<<"class a fun1"<<endl;
    }
    virtual void fun2(){    //虚函数，采用动态绑定
        cout<<"class a fun2"<<endl;
    }
};

class B:public A{
    int n;
public:
    void fun1(){
        cout<<"class b fun1"<<endl;
    }
    virtual void fun2(){
        cout<<"class b fun2"<<endl;
    }
};

void f1(A& a){
    a.fun1();
}

void f2(A& a){
    a.fun2();
}

int main(int argc, char * argv[]) {

    A a;
    B b;

    f1(a);
    f1(b);

    cout<<"----"<<endl;

    f2(a);
    f2(b);

    return 0;
}

打印结果为：