C++学习（6）——静态绑定与动态绑定

静态绑定与动态绑定 

                       

                       

静态绑定：编译时绑定，通过对象调用

动态绑定：运行时绑定，通过地址实现

                        

C++的多态性

                       

 静态多态性：函数多态性——函数重载

                           模板多态性——C++模板（类模板、函数模板）

 动态多态性：虚函数（只有用地址才能实现动态多态性）

                        

只有采用“指针->函数()”或“引用变量.函数()”的方式调用C++类中的虚函数才会执行动态绑定。对于C++中的非虚函数，因为其不具备动态绑定的特征，所以不管采用什么样的方式调用，都不会执行动态绑定。

              

     C++语言成员函数的调用和绑定方式总结

        

代码形式

对于虚函数

对于非虚函数

作用

绑定方式

作用

绑定方式

类名::函数()

调用指定类的指定函数

静态绑定

调用指定类的指定函数

静态绑定

对象名.函数()

调用指定对象的指定函数

静态绑定

调用指定对象的指定函数

静态绑定

引用变量.函数()

调用被引用对象所属类的指定函数

动态绑定

调用引用变量所属类的指定函数

静态绑定

指针->函数()

调用被引用对象所属类的指定函数

动态绑定

调用指针变量所属类的指定函数

静态绑定

                            

注：被引用对象所属类 是 指针 或 引用 指向的对象的实际类型；

    引用变量所属类、指针变量所属类 是 定义 引用变量、指针变量的类型；

    以上两种类型可能相同，也可能不同。

                        

    从上表可以看出，执行动态绑定的只有通过地址，即只有通过指针或引用变量才能实现，而且还必须是虚函数。从概念上来说，虚函数机制只有在应用于地址时才有效，因为地址在编译阶段提供的类型信息不完全。

#include<iostream>#include<stdio.h>using namespace std;class CBase{public:    virtual int func() const    //虚函数    {        cout<<"CBase function! "<< endl;        return 100;    }};class CDerive : public CBase{public:    int func() const        //在派生类中重新定义虚函数    {        cout<<"CDerive function! "<< endl;        return 200;    }};int main(){    CDerive obj1;    CBase* p1=&obj1;    CBase& p2=obj1;    CBase obj2;    obj1.func();    //静态绑定：调用对象本身（派生类CDerive对象）的 func 函数    p1->func();    //动态绑定：调用被引用对象所属类（派生类CDerive）的 func 函数    p2.func();    //动态绑定：调用被引用对象所属类（派生类CDerive）的 func 函数    obj2.func();    //静态绑定：调用对象本身（基类CBase对象）的函数    return 0;}