C++ 静态绑定与动态绑定------绝不重新定义继承而来的缺省参数
在了解静态绑定和动态绑定之前,先了解什么是对象的静态类型,什么是对象的动态类型。
- 对象的静态类型:对象在声明时采用的类型。是在编译器决定的。
- 对象的动态类型:目前所指对象的类型。是在运行期决定的。
动态类型可以更改,而静态类型不可更改。看一个示例
class Base
{
public:
void setData(int i=10)
{
cout <<" virtual int Base::setData()"<<endl;
}
virtual int getData()
{
cout <<" virtual int Base::getData()"<<endl;
}
private:
int m_value;
};
class Derive: public Base
{
public:
void setData(int i=20)
{
cout <<" virtual int Derive::setData()"<<endl;
}
virtual int getData()
{
cout <<" virtual int Derive::getData()"<<endl;
}
};
int _tmain(int argc, _TCHAR* argv[])
{
Derive *pd = new Derive;//pd的静态类型为Derive,动态类型也为Derive
Base *pb = pd; //pb的静态类型为Base,动态类型为Derive
return 0;
}
搞清楚了什么是对象的静态类型,什么是对象的动态类型。
下面来介绍下什么是静态绑定,什么是动态绑定。
- 静态绑定:绑定的对象是静态类型。某特性依赖于对象的静态类型,发生在编译期。
- 动态绑定:绑定的对象是动态类型。有特性依赖于对象的动态类型,发生在运行期。
只有虚函数才使用的是动态绑定,其他的全部是静态绑定。
我们用pb,pd分别调用非虚函数,
Derive *pd = new Derive;
Base *pb = pd;
pb->setData();
pd->setData();
输出:
因为setData是静态绑定的,也就是编译器会在编译期根据对象的静态类型来选择函数。 pb的静态类型是Base,pd的静态类型是Derive。
我们用pd,pb分别调用虚函数
因为getData是虚函数,所以是动态绑定的。动态类型都是Derive*。
分别调用了基类的函数和派生类的函数。注:这样的设计特别不好,派生类与基类之间发生了名称遮掩。只是为了静态绑定和动态绑定才这么写的。如果派生类和基类是is-a关系,任何情况下都不要继承一个non-virtual函数。
注:指针和引用的动态类型与静态类型可能会不一致,但是对象的静态类型与动态类型是一致的。Derive d. d.setData() d.getData()调用的都是派生类的成员函数。
当虚函数有缺省参数的时候,情况变得有点复杂。因为缺省参数采用的是静态绑定。
class Base
{
public:
virtual void getData(int i=10)
{
cout <<" virtual int Base::getData()" << i <<endl;
}
};
class Derive: public Base
{
public:
virtual void getData(int i = 20)
{
cout <<" virtual int Derive::getData()" << i <<endl;
}
};
int _tmain(int argc, _TCHAR* argv[])
{
Derive *pd = new Derive;
Base *pb = pd;
pb->getData();
pd->getData();
return 0;
}
输出:
虽然调用的都是缺省参数,由于缺省参数采用的是静态绑定。因此才会得到这样的结果。为了防止这样的情况出现:effective c++专门指出了一条:绝不重新定义继承而来的缺省参数。为了避免这样的结果,有一种方法就是使用NVI(non-virtual interface) :在基类中声明一个共有的非虚函数并给出缺省参数(因为是静态绑定),在其中调用私有的虚函数,这样在调用派生类方法时。由于共有非虚函数采取的是静态绑定,且派生类肯定继承了非虚函数。因此调用该函数时,默认的参数即可一直。