虚函数与默认实参

#include <iostream>

using namespace std;
/*
2013.9.5
C++Primer P482
"虚函数也可以有默认实参。如果有用在给定调用中的默认实参值，该值将在编译时确定。如果一个调用省略了具有默认值的实参，
则所用的值由调用该函数的类型定义，与对象的动态类型无关。通过基类的引用或指针调用虚函数时，默认实参为在基类虚函数声明
中指定的值，如果通过派生类的指针或引用调用虚函数，则默认实参是在派生类的版本中声明的值。"

"在同一虚函数的基类版本和派生类版本中使用不同的默认实参几乎一定会引起麻烦。"

*/
enum ShapeColor {RED, GREEN, BLUE};

//一个用于描述几何形状的class
class Shape
{
public:
    //所有形状都必须提供一个函数，用来绘出它们自己
    virtual void draw(ShapeColor color = RED)const = 0;
};
class Rectangle: public Shape
{
    //z注意不同的缺省参数值--真糟糕
public:
    virtual void draw(ShapeColor color = GREEN)const
    {
        cout << "Rectangle::draw called" << color << endl;
    }
};
class Circle: public Shape
{
public:
    virtual void draw(ShapeColor color)const
    {
        cout << "Circle::draw called" << color << endl;
    }
};
int main()
{
    Shape* ps;                 //静态型别为Shape*
    Shape* pc = new Circle;    //静态型别为Shape*
    Shape* pr = new Rectangle; //静态型别为Shape*

    ps = pc;                   //ps动态型别目前是Circle*
    ps = pr;                   //ps动态型别目前是Rectangle*

    pr->draw();                //调用Rectangle::draw(RED)!缺省参数来自Shape class 而不来自Rectangle class?
                               //Rectangle::draw()函数的缺省参数值应该是GREEN,但由于pr的静态类型别是Shape*
                               //所以调用的缺省实参值来自Shape class,而不是Rectangle class
    return 0;
}