C++继承和函数重写

Question

在 C++ 中，基类的成员函数是否会被其同名派生类函数覆盖，即使其原型（参数的数量、类型和常量）不同？我想这是一个愚蠢的问题，因为许多网站都说函数原型应该相同才能发生这种情况；但为什么下面的代码不能编译？我相信这是一个非常简单的继承案例。

#include <iostream>
using std::cout;
using std::endl;

class A {};
class B {};

class X
{
public:
    void spray(A&)
    {
        cout << "Class A" << endl;
    }
};

class Y : public X
{
public:
    void spray(B&)
    {
        cout << "Class B" << endl;
    }
};

int main()
{
    A a;
    B b;
    Y y;

    y.spray(a);
    y.spray(b);

    return 0;
}

GCC 抛出

error: no matching function for call to `Y::spray(A&)'
note: candidates are: void Y::spray(B&)

Answer 1

用于描述这一点的术语是“隐藏”，而不是“覆盖”。默认情况下，派生类的成员将使任何具有相同名称的基类成员不可访问，无论它们是否具有相同的签名。如果要访问基类成员，可以使用 using 声明将它们拉入派生类。在本例中，将以下内容添加到 Y 类：

using X::spray;

Answer 2

这就是所谓的“隐藏”：Y::spray 隐藏 X::spray。
添加 using 指令：

class Y : public X
{
public:
   using X::spray;
   // ...
};

Answer 3

类是作用域，类作用域嵌套在其父级中。对于其他嵌套作用域（命名空间、块），您具有完全相同的行为。

发生的情况是，当名称查找搜索名称的定义时，它会在当前名称空间中查找，然后在 englobing 名称空间中查找，依此类推，直到找到一个定义；然后搜索停止（这没有考虑参数相关名称查找引入的复杂性——规则的一部分允许使用在其参数之一的命名空间中定义的函数）。