C++中的动态绑定

C++中的动态绑定

C++中基类和派生类遵循类型兼容原则:即可用派生类的对象去初始化基类的对象，可用派生类的对象去初始化基类的引用可用派生类对象的地址去初始化基类对象指针。

C++中动态绑定条件发生需要满足2个条件:

1:只有指定为虚函数的成员函数才能进行动态绑定，成员函数默认为非虚函数，非虚函数不能进行动态绑定

2:必须通过基类类型的引用或指针进行函数调用

基类类型引用和指针的关键点在于静态类型和动态类型可能不同:

1:什么是静态类型?就我的理解来说，所谓的静态类型是指，当我们用上述引用或指针去调用非虚函数是，这是的引用和指针就是引种静态类型的，它对非虚函数的调用是在编译时就确定了

2:从静态类型的对立来看，所谓的动态类型也很明显，当这个引用或指针调用了虚函数时，它就是动态类型，它的行为要到程序运行时才能定义

(以上关于两种类型的解释仅仅是我自己的理解)

当我们用派生类去初始化基类的引用或指针后，加入调用的是非虚函数，那么这时实际调用的函数是基类的函数；加入调用的是虚函数，那么这是调用的是派生类自己定义的虚函数

下面是具体的例子来说明静态类型和动态类型

class A{

    public:

       virtual void show(){cout<<"j基类的show()"<

       void get(){cout<<"基类的get()"<

};

class B:public A{

       public:

      virtual void show(){cout<<“派生类的show()”<

      void get(){cout<<"派生类的get()"<

};

main：

   A a;

   B b;

   A &c=b;

   c.show();//show函数是虚函数，并且此时使用派生类的对象去初始化基类的引用，发生了动态绑定，调用的是实际类　　　　　　　　型B的show()----"派生类的show"

   c.get();//此时不满足动态绑定的条件，c是静态类型，结果是-------基类的get()