C++ 重载函数的缺省参数

内容来自《Exceptional C++》

今天读这本书，学到一个以前不知道的细节。我们都知道派生类里重载基类虚函数，是实现多态的基本手段，对派生类对象调用重写过的虚函数，会执行重载的函数。

这次的问题是，如果基类派生类都指定了虚函数的缺省参数，调用时也没给出参数，那么编译器会使用哪一个参数呢？

自己简单编写了一个程序测试一下

#include <iostream>
using namespace std;

class Base{
public:
    int val;

    Base(int v = 0): val(v) {}
    virtual void func(int x = 1){
        cout << x << endl;
    }
};

class Derived: public Base{
public:
    virtual void func(int x = 2){
        cout << x << endl;
    }
};

int main(){
    Base *p = new Derived;
    p->func();

    return 0;
}

基类的缺省值是1，派生类是2；用多态的方式调用派生类虚函数。结果为1

所以编译器在函数缺省函数这方面竟然不能动态地检查？

《Exceptional C++》的解释是，对于预设参数（缺省参数），将按照静态类型来决定，这里就是按照Base类型决定。所以这里发生的事情是，编译器按照Base类中的func函数，检查缺省参数的使用情况；但是被唤起的函数，由于虚函数表的机制，是Derived类的func函数。

那按照这样来说，如果我在基类func函数中不设置缺省参数，那么就应该无法通过编译，因为编译器检查到的函数没有缺省值，必须提供参数。试了一下，确实如此。

书中对此给出的编程风格建议是，不要改变虚函数的默认参数值。

（当然，或者干脆不要设置默认值）