c++推迟绑定

来源:互联网 发布:矩阵组织结构 职能组织 编辑:程序博客网 时间:2024/04/29 17:07
C++中基类和派生类遵循类型兼容原则:即可用派生类的对象去初始化基类的对象,可用派生类的对象去初始化基类的引用,可用派生类对象的地址去初始化基类对象指针。
C++中动态绑定条件发生需要满足2个条件:
1:只有指定为虚函数的成员函数才能进行动态绑定,成员函数默认为非虚函数,非虚函数不能进行动态绑定
2:必须通过基类类型的引用或指针进行函数调用
基类类型引用和指针的关键点在于静态类型和动态类型可能不同:
1:什么是静态类型?就我的理解来说,所谓的静态类型是指,当我们用上述引用或指针去调用非虚函数是,这是的引用和指针就是引种静态类型的,它对非虚函数的调用是在编译时就确定了
2:从静态类型的对立来看,所谓的动态类型也很明显,当这个引用或指针调用了虚函数时,它就是动态类型,它的行为要到程序运行时才能定义
当我们用派生类去初始化基类的引用或指针后,假如调用的是非虚函数,那么这时实际调用的函数是基类的函数;假如调用的是虚函数,那么这是调用的是派生类自己定义的虚函数

下面是具体的例子来说明静态类型和动态类型
class A{
    public:
       virtual void show(){cout<<"基类的show()"<<endl;}
       void get(){cout<<"基类的get()"<<endl;}
};
class B:public A{
       public:
       virtual void show(){cout<<“派生类的show()”<<endl;}
       void get(){cout<<"派生类的get()"<<endl;}
};
main:
   A a;
   B b;
   A &c=b;
   c.show();//show函数是虚函数,并且此时使用派生类的对象去初始化基类的引用,发生了动态绑定,调用的是实际类型B的show()----"派生类的show"
   c.get();//此时不满足动态绑定的条件,c是静态类型,结果是-------基类的get()
原创粉丝点击