静态型别和动态型别

静态型别和动态型别

概念

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

特性

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