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

Question

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

结构基{
一个;
}

派生类：公共基础{
私人：
一个;
...

在我的情况下这是一个错误，导致了一个鬼鬼祟祟的错误（幸运的是在测试时发现）。
由于我认为故意遮蔽成员真的很少见（如果根本不认为是不好的做法），我想知道为什么编译器至少没有发出警告（好吧，不是错误，因为法律允许遮蔽）？

我使用的编译器是 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 必须做额外的工作来解决冲突。但重要的是，阴影并没有创造任何新的现有代码中的问题。）

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