静态型别和动态型别

静态型别和动态型别

概念

所谓静态型别，指的是变量声明的类型；而动态型别是变量实际指向的类型。

特性

1. 静态型别静，一经确定再无更改；动态型别动，会根据实际指向而改变。
2. 静态型别控制静态绑定，动态型别控制动态绑定。

例如：

class B;

class D:public B;

B * pB;    //静态型别是B，动态型别未知

B b;    //静态型别是B，动态型别是B

D * pD;    //静态型别是D，动态型别未知

D d;    //静态型别是D，动态型别是D

/* 至此，上面各变量的静态型别已经固定了，b和d的动态型别也固定了；而指针变量的动态型别可能变化。*/

pB = &b;    //pB动态型别为B

pB = &d;    //pB动态型别为D

pD = (D *)&b;    //pD动态型别为B

pD = &d;    //pD动态型别为D

b = d;    //b的静态型别是B，动态型别是B

除了虚函数是动态绑定之外，其余的均为静态绑定（如：缺省参数<包括虚函数的缺省参数！>）。

测试用例

#include <iostream.h>class B{public:    void f()    {        cout<<"Bf"<<endl;    }    virtual void v(char c='B')    {        cout<<"Bv-"<<c<<endl;    }};class D:public B{public:    void f()//error！这种做法叫做隐藏，不提倡！    {        cout<<"Df"<<endl;    }    virtual void v(char c='D')//error! 不允许重载缺省值，否则程序执行出乎意料，见输出结果    {        cout<<"Dv-"<<c<<endl;    }};void main(){    B b,*pB;    D d,*pD;    pB = &d;    pB->f();    pB->v();    pD = (D *)&b;    pD->f();    pD->v();}

输出如下：

Bf
Dv-B
Df
Bv-D