C++ 类和虚方法

Question

我有两个关于虚拟方法的问题。

第一：

class Parent
{
public:
    virtual void SHOW(int x = 5) { cout << "PARENT " << x << endl; }
};

class Child : public Parent
{
public:
    virtual void SHOW(int y = 10) { cout << "CHILD " << y << endl; }
};

int main()
{
    Child Y;

    Parent* P = &Y;
    P->SHOW();

    getch();  
    return 0;     
}

我认为 tt 应该是 CHILD 10 但结果是 CHILD 5

还有一个：

class Parent
{
public:
    virtual void SHOW() { cout << "PARENT" << endl; }
};

class Child : public Parent
{
private:
    virtual void SHOW() { cout << "CHILD" << endl; }
};

int main()
{
    Child Y;
    Parent* P = &Y;
    P->SHOW();

    getch();  
    return 0;     
}

它会在屏幕上显示 CHILD。不知道怎么从外部调用的私有方法？

谢谢。我正在学习英语所以.. :)

Answer 1

1) C++ 标准说

虚函数调用 (10.3) 在虚函数的声明中使用默认参数，由表示对象的指针或引用的静态类型确定。派生类中的覆盖函数不会从它覆盖的函数中获取默认参数。

§8.3.6/10

2) Overriding public virtual functions with private functions in C++

Answer 2

虚函数调用使用虚函数声明中的默认参数，由用于调用函数的指针的静态类型确定。在您的情况下，P 的静态类型是 Parent，尽管动态类型解析为 Child。这是根据 C++ 标准。

Answer 3

这是一个很好的例子，说明为什么最好将虚拟函数设为私有而将公共函数设为非虚拟。 Herb Sutter 曾将其称为Non-Virtual Interface Idiom (NVI)。

让我们将它应用到您的代码中。我还将函数名称“SHOW”更改为“show”，因为 C++ 中的全大写通常表示宏。此外，我将添加一个虚拟析构函数，因为新手正在阅读这些问题，他们不应该看到没有一个多态类。请注意，析构函数是 NVI 的一个例外。

我们开始吧：

class Parent
{
public:
    void show(int x = 5) { doShow(x); }
    virtual ~Parent() {}
private:
    virtual void doShow(int x) { cout << "PARENT " << x << endl; }
};

class Child : public Parent
{
private:
    virtual void doShow(int x) { cout << "CHILD " << x << endl; }
};

默认参数通常对使用类对象的代码很有用。然后该代码使用公共函数。

Parent *p = new Child;
p->show(); // here's where a default argument is a useful feature
delete p;

然而，继承类对完全不同的东西感兴趣，即基类的虚函数。事实证明，当您为子类编写代码时，您很少会觉得需要默认参数。

底线：

1. 不应混用默认参数和虚函数。在 Scott Meyers 著名的Effective C++ 书中有一个条目：“永远不要重新定义继承的默认参数值”。你应该读那本书。
2. 使用 NVI，您通常不会遇到这个问题，因为事实证明默认参数更多地用于公共函数，而使用 NVI，公共函数不是虚拟的。