CSDN博客

img floodzhu

静态型别和动态型别

发表于2001/12/30 9:23:00  1007人阅读

静态型别和动态型别

概念

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

特性

  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

0 0

相关博文

我的热门文章

img
取 消
img