再次复习：静态绑定与动态绑定

复习：静态绑定与动态绑定

来源《Effective c++》

静态绑定，又称前期绑定，early binding；动态绑定，又称后期绑定，late binding。

对象的所谓静态类型（static type），就是它在程序中被声明时所采用的类型。

考虑以下class继承体系

class Shape{
public:
	enum ShapeColor{Red,Green,Blue};
	virtual void draw(ShapeColor color = red)const =0;
	...
}

class Rectangle:public Shape{
public:
	virtual void draw(ShapeColor color) const;
	...
}

class Circle:public Shape{
public:
	virtual void draw(ShapeColor color) const;
}

现考虑这些指针

Shape* ps;//静态类型为shape*
Shape* pc = new Circle;//静态类型为shape*
Shape* pr = new Rectangle;//静态类型为shape*

本例中，ps，pc，pr都被声明为pointer-to-shape类型，所以他们都以它为 静态类型。

【注】不论她们真正指向什么，它们的静态类型都是Shape*

对象的所谓动态类型（dynamic type）则是指**“目前对象所指的类型”**，也就是说，动态类型可以表现出一个对象将会有什么行为。pc动态类型是circle*，pr是Rectangle*，ps没有动态欸行，因为它尚未指向任何对象。

动态类型一如其名称，可以在程序执行过程中改变（通常是经由赋值动作）

ps = pc;//ps的动态类型如今是circle*
ps = pr;//.................rectangle*

virtual函数系动态绑定而来，意思是调用一个virtual函数时，究竟调用哪一份函数执行代码，取决于发出调用的那个对象的动态类型。

pc->draw(Shape::Red);//调用Circle::draw(Shape::red)
pr->draw(Shape::red);//调用Rectangle::draw(Shape::red)