动态绑定和静态绑定

1.静态类型和动态类型

---

　　为了支持c++的多态性，才用了动态绑定和静态绑定。理解他们的区别有助于更好的理解多态性，以及在编程的过程中避免犯错误。

　　对象的静态类型：对象在声明时的类型，是在编译期确定的。

　　对象的动态类型：当前所指向对象的类型，是在运行期决定的。对象的动态类型可以更改，但是静态类型无法更改（即声明后的类型就不能再改了）。

　　总之，静态类型就是一个变量声明时的类型，动态类型就是变量（对象）当前指向的类型。

GameObject *pgo = new SpaceShip // pgo 静态类型是 GameObject*， 动态类型是 SpaceShip*
Asterioid *pa = new Asterioid;  // pa 的静态类型是 Asterioid *, 动态类型也是 Asterioid *
pgo = pa;                       // pgo 静态类型总指向 GameObject *, 动态类型指向 Asterioid *
GameObject &rgo = *pa;          // rgo 的静态类型是 GameObject, 动态类型是 Asterioid

2.静态绑定和动态绑定

---

　　静态绑定：绑定的是对象的静态类型，某特性（比如函数）依赖于对象的静态类型，发生在编译期。

　　动态绑定：绑定的是对象的动态类型，某特性（比如函数）依赖于对象的动态类型，发生在运行期。

　　指针、引用都可以实现动态绑定。只有虚函数才使用的是动态绑定，其他的全部是静态绑定。

　　示例：

　　　　虽然pD和pB都指向同一个对象。因为函数DoSomething是一个no-virtual函数，它是静态绑定的，也就是编译器会在编译期根据对象的静态类型来选择函数。pD的静态类型是D*，那么编译器在处理pD->DoSomething()的时候会将它指向D::DoSomething()。同理，pB的静态类型是B*，那pB->DoSomething()调用的就是B::DoSomething()。

　　　　因为vfun是一个虚函数，它动态绑定的，也就是说它绑定的是对象的动态类型，pB和pD虽然静态类型不同，但是他们同时指向一个对象，他们的动态类型是相同的，都是D*，所以，他们的调用的是同一个函数：D::vfun()。

class B
{
    void DoSomething();
    virtual void vfun();
}

class C : public B
{
    void DoSomething();//首先说明一下，这个子类重新定义了父类的no-virtual函数，这是一个不好的设计，会导致名称遮掩；这里只是为了说明动态绑定和静态绑定才这样使用。
    virtual void vfun();
}

class D : public B
{
    void DoSomething();
    virtual void vfun();
}

D* pD = new D();
B* pB = pD;

pD->DoSomething();		//调用D::DoSomething()
pB->DoSomething();		//调用B::DoSomething()

pD->vfun();				//调用D::vfun()
pB->vfun();				//调用D::vfun()

3.虚函数的缺省参数

---

　　由于虚函数的缺省参数是静态绑定的，而虚函数是动态绑定的，所以会出现用基类指针调用派生类的重写函数时（多态），导致使用了基类的缺省参数，所以重写时绝不重新定义继承而来的缺省参数。