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) ：在基类中声明一个共有的非虚函数并给出缺省参数（因为是静态绑定），在其中调用私有的虚函数，这样在调用派生类方法时。由于共有非虚函数采取的是静态绑定，且派生类肯定继承了非虚函数。因此调用该函数时，默认的参数即可一直。

来自为知笔记(Wiz)