c++ - 编译器不应该对派生类中隐藏的基结构的成员变量发出警告吗？

Question

我不小心用基结构派生的类中的私有(private)成员隐藏了(基)结构的一些成员变量。

struct Base {
int a;
}

class Derived : public Base {
private:
int a;
...

在我的案例中这是一个错误，导致了一个偷偷摸摸的错误(幸运的是在测试时被发现)。
因为我认为故意隐藏成员的情况非常罕见(如果根本不被视为不良做法)，我想知道为什么编译器至少不发出警告(好吧，不是错误，因为隐藏是法律允许的)？

我使用的编译器是Microsoft Visual C++ 2015，警告级别4)。
我想知道其他编译器(即 GCC)是否针对这种情况提供了特定的警告？

Answer 1

阴影是好是坏取决于您引入冲突名称的顺序。

假设你有一个类库，其中一个类是这样的:

struct Base {
    int a;
};

后来，正在使用你的类库的客户A这样写:

class DerivedA : public Base {
private:
    int a;
};

在这种情况下，阴影可能是无意的。客户不小心隐藏了 Base::a。

但是，假设您还有客户 B，他这样写:

class DerivedB : public Base {
private:
    int b;
};

到目前为止一切顺利。现在你建立你的库，所以它使用 Base 对象，使用你的库的客户 B 建立一个同时使用 Base 和 DerivedB 对象。

几周后，您意识到要获得新功能，您需要向 Base 添加一个新成员。

struct Base {
    int a;
    int b; // new member variable
};

这会给您的图书馆带来问题吗？它会给客户 B 带来问题吗？

不，它不会产生任何问题。

所有使用 Base 的代码都将继续使用 Base，并且它可以使用 b 成员来获得新奇的 b 功能。即使 DerivedB 对象被传递给需要 Base 的函数，Derived 隐藏 b 这一事实对 Base 没有影响。使用 Base 的函数可以说 b 并且它将访问 Base 成员变量。

与此同时，客户 B 的所有使用 DerivedB 的代码将继续使用 DerivedB，并且当该代码显示为 b 时，它会得到 DerivedB::b，就像之前一样。哇，阴影化险为夷!

(当然，如果客户 B 想开始利用新的 b 功能，那么客户 B 必须做额外的工作来解决冲突。但重要的是，跟踪没有'在现有代码中制造任何新问题。)

归根结底，阴影的好坏取决于您引入冲突名称的顺序。这不是编译器能够洞悉的事情。