静态绑定与动态绑定

 静态绑定：编译时绑定，通过对象调用
动态绑定：运行时绑定，通过地址实现
                       
C++的多态性
                       
 静态多态性：函数多态性——函数重载
                           模板多态性——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对象）的函数}          
             
运行结果：