C++ 多态性和默认参数

Question

我有这些类(class):

class Base
{
    public:
        virtual void foo(int x = 0)
        {
            printf("X = %d", x);
        }
};

class Derived : public Base
{
    public:
        virtual void foo(int x = 1)
        {
            printf("X = %d", x);
        }
};

当我有:

Base* bar = new Derived();
bar->foo();

我的输出是“X = 0”，即使 foo 是从 Derived 调用的，但是当我有:

Derived* bar = new Derived();
bar->foo();

我的输出是“X = 1”。这种行为是否正确？ (从声明类型中选择默认参数值，而不是从实际对象类型中选择)。这会破坏 C++ 多态性吗？

如果有人在不指定实际函数参数的情况下使用虚函数并使用函数的默认参数，会导致很多问题。

Answer 1

即使你覆盖了一个函数，默认参数也会被保留!而这种行为是正确的。让我从 C++ 标准中搜索引用。

C++ 标准的 §8.3.6/10 [默认参数] 说，

A virtual function call (10.3) uses the default arguments in the declaration of the virtual function determined by the static type of the pointer or reference denoting the object. An overriding function in a derived class does not acquire default arguments from the function it overrides.

标准本身的例子

struct A {
     virtual void f(int a = 7);
};
struct B : public A {
     void f(int a);
};
void m()
{
    B* pb = new B;
    A* pa = pb;
    pa->f(); //OK, calls pa->B::f(7)
    pb->f(); //error: wrong number of arguments for B::f()
}

此外，它不仅被保留，而且每次调用函数时都会计算它:

§8.3.6/9 说，

Default arguments are evaluated each time the function is called