接下来的一段话是我从一位博客大佬那里copy来的：
对象的静态类型：对象在声明时采用的类型。是在编译期确定的。 对象的动态类型：目前所指对象的类型。是在运行期决定的。对象的动态类型可以更改，但是静态类型无法更改。 静态绑定：绑定的是对象的静态类型，某特性（比如函数）依赖于对象的静态类型，发生在编译期。 动态绑定：绑定的是对象的动态类型，某特性（比如函数）依赖于对象的动态类型，发生在运行期。在此贴上大佬的文章： (http://blog.csdn.net/chgaowei/article/details/6427731) 下面用c++primer第五版p550的代码说明一下：
#include <iostream> using namespace std; class Base{ public: virtual int fcn(); }; class D1:public Base{ public: //隐藏了基类的fcn，这个fcn不是虚函数 //D1继承了Base::fcn()的定义 int fcn(int); //形参列表与Base中的fcn不一致 virtual void f2(); //是一个新的虚函数，在Base中不存在 }; class D2:public D1{ public: int fcn(); //是一个非虚函数，隐藏了D1::fcn(int) int fcn(int); //覆盖了Base的虚函数fcn void f2(); //覆盖了D1的虚函数f2 }; int main(){ Base bobj;D1 dlobj;D2 d2obj; Base *bp1=&bobj,*bp2=&d1obj,*bp3=&d2obj; bp1->fcn(); //虚调用，将在运行时调用Base::fcn bp2->fcn(); //虚调用，将在运行时调用Base::fcn,因为D1中并没有fcn，编译器在Base中找到符合条件的fcn，于是调用Base的fcn bp3->fcn(); //虚调用，将在运行时调用D2::fcn，D2中存在fcn() return 0; }除了这些动态绑定，还有静态绑定，静态绑定是对于非虚函数的调用。调用的函数与对象的静态类型有关，最后一句也是摘自大佬的一句话：只有虚函数才使用的是动态绑定，其他的全部是静态绑定。目前我还没有发现不适用这句话的，如果有错误，希望你可以指出来。
//—————————————————— 此处是我第二次增加的内容，内容是关于动态绑定中虚表和虚指针的状态和过程的图解和代码
#include<iostream> using namespace std; class base { public: virtual void print() { cout << "base::print()" << endl; } virtual void goo() { cout << "base::goo()" << endl; } }; class devired :public base { public: virtual void print() { cout << "devired::print()" << endl; } virtual void go() { cout << "devired::go()" << endl; } }; int main(void) { devired b; typedef void(*Fun)(void); Fun pfun = NULL; for (int i = 0; i < 3; i++) { pfun = (Fun)*((int*)*(int*)(&b)+i); pfun(); } system("pause"); }结果是： devired::print() base::goo() devired::go() 可见devired::print()覆盖了base的print()这样也就实现了为什么能够多态了，用到的就是向上规则。还需要强调的是虚表是这几个类共享的。 下面摘自侯捷老师译注的《深度探索c++对象模型》: 注：代码是简易的，并没有完全实现的，另外图表不好画，就直接贴上了侯捷老师书上的截图
#include<iostream> using namespace std; class point { public: virtual ~point() { cout << "~point()" << endl; } virtual point& mult(float) = 0; float x()const { return _x; } virtual float y()const { return 0; } virtual float z()const { return 0; } protected: point(float x = 0.0) {}; float _x; }; class point2 :public point { protected: float _y; public: point2(float x = 0.0, float y = 0.0):point(x),_y(y){} ~point2() { cout << "~point2()" << endl; } point2& mult(float); float y()const { return _y; } }; class point3 :public point2 { protected: float _z; public: point3(float x=0.0,float y=0.0,float z=0.0):point2(x,y),_z(z){} ~point3() { cout << "~point3()" << endl; } point3&mult(float); float z()const { return _z; } }; void main(void) { }