条款37：绝不重新定义继承而来的缺省参数值

/*条款37：绝不重新定义继承而来的缺省参数值*/
/*静态绑定就是在程序中被声明时所采用的类型*/
#include<iostream>
using namespace std;
/*class Shape {
public:
	enum ShapeColor{Red,Green,Blue};
	virtual void draw(ShapeColor color = Red)const = 0;
};
class Rectangle :public Shape {
public:
	virtual void draw(ShapeColor color = Green)const {
//virtual void draw(ShapeColor color = Red)const{
//如果定义与基类相同的缺省参数，会产生相依性问题，如果基类缺省值改变，子类也必须改变
		cout << "Rectangle::draw" << endl;
	}
	//这里赋予不同缺省参数值 too bad!!
};
class Circle :public Shape {
public:
	virtual void draw(ShapeColor color)const {
		cout << "Circle::draw" << endl;
	}
	//如果调用此函数时，一定要指定参数，因为静态绑定这个函数并不从其基类中继承缺省参数值，但以指针或引用调用，可以不指定参数值，因为动态绑定下这个函数会从其基类继承缺省参数值

};*/

//  第24行问题的解决方法  NVI手法
class Shape {
public:
	enum ShapeColor{Red,Green,Blue};
	void draw(ShapeColor color = Red)const {//变为非虚
		doDraw(color);//调用虚函数
	}
private:
	virtual void doDraw(ShapeColor color)const = 0;
};
class Rectangle :public Shape {
public:
	//..
private:
	virtual void doDraw(ShapeColor color)const {}//这里无须指定缺省参数值，而且缺省参数总为Red ，更改基类缺省无需更改子类缺省

};
class Circle :public Shape {
public:
	virtual void doDraw(ShapeColor color)const {
		cout << "Circle::draw" << endl;
	}
	//如果调用此函数时，一定要指定参数，因为静态绑定这个函数并不从其基类中继承缺省参数值，但以指针或引用调用，可以不指定参数值，因为动态绑定下这个函数会从其基类继承缺省参数值

};
int main() {
/*	Shape*ps;                //静态类型为Shape*  无动态类型 因未有指向
	Shape*pc = new Circle;  //静态类型为Shape*   动态类型为Circle*
	Shape*pr = new Rectangle;//静态类型为Shape*  动态类型为Rectangle*
	// ps,pc,pr都被声明为P t s类型，无论它们指向什么，它们的静态类型都是Shape*
	//动态类型指“目前所指对象的类型”，也就是说动态类型可以表现出一个对象将会有什么行为
	//动态类型可以在程序执行过程中改变（通常是由赋值动作）
	ps = pc;  //ps 如今的动态类型是Circle*
	ps = pr;//ps 如今的动态类型是Rectangle*
	//所以虚函数系动态绑定而来，意思是调用一个虚函数时，究竟调用哪一份函数实现代码，取决于发出调用的那个对象的动态类型
	pc->draw(Shape::Red); //调用Circle::draw(Shape::Red)
	pr->draw(Shape::Red);//调用Rectangle::draw(Shape::Red)
	//花样来了 virtual函数是动态绑定，但缺省参数值却是静态绑定
	pr->draw();//Rectangle::draw.... Shape 与Rec的声明各出一半力
	//这种乖张的方式动作是因为效率问题，如果缺省参数是动态绑定，编译器须有某种办法在运行期为虚函数决定适当的参数缺省值，比编译期决定更慢更复杂，
	*/
	//-----------------------
	system("pause");
	return 0;
}