C++学习笔记（15）——静态绑定与动态绑定

本博客（http://blog.csdn.net/livelylittlefish）贴出作者（三二一、小鱼）相关研究、学习内容所做的笔记，欢迎广大朋友指正！

静态绑定与动态绑定

静态绑定：编译时绑定，通过对象调用
动态绑定：运行时绑定，通过地址实现

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


}



运行结果：