静态型别和动态型别

概念

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

特性

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