静态绑定与动态绑定

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

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

C++的多态性

                       

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

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

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

                        

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

        

代码形式

对于虚函数

对于非虚函数

作用

绑定方式

作用

绑定方式

类名::函数()

调用指定类的指定函数

静态绑定

调用指定类的指定函数

静态绑定

对象名.函数()

调用指定对象的指定函数

静态绑定

调用指定对象的指定函数

静态绑定

引用变量.函数()

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

动态绑定

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

静态绑定

指针->函数()

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

动态绑定

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

静态绑定

                            

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

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

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

                        

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

               

               

例：编写程序观察虚函数和非虚函数的绑定行为：

                

          

代码如下：

             

/************************************************************************
* 动态绑定与静态绑定
************************************************************************/
#include <iostream.h>
class CBase
{
public:
    virtual int func() const    //虚函数
    {
        cout<<"CBase function! ";
        return 100;
    }
};
class CDerive : public CBase
{
public:
    int func() const        //在派生类中重新定义虚函数
    {
        cout<<"CDerive function! ";
        return 200;
    }
};

void 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对象）的函数
}

              

             

运行结果：