静态型别和动态型别
静态型别和动态型别
概念
所谓静态型别，指的是变量声明的类型；而动态型别是变量实际指向的类型。
特性
静态型别静，一经确定再无更改；动态型别动，会根据实际指向而改变。
静态型别控制静态绑定，动态型别控制动态绑定。
例如：
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