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

Shouldn#39;t a compiler raise a warning for member variables of base struct shadowed in derived class(es)?(编译器是否应该对在派生类中隐藏的基结构的成员变量发出警告？)

问题描述

我意外地跟踪了基结构派生的类中具有私有成员的(基)结构的某些成员变量。

结构库{
Int a；
) 派生的类：公共基础{
私有：
Int a；
...

在我的情况下，这是一个错误，导致了一个偷偷摸摸的错误(幸运的是在测试时被发现)。
由于我认为故意跟踪成员是非常罕见的(如果根本不被认为是糟糕的做法)，我想知道为什么编译器没有发出至少一个警告(好的，不是错误，因为跟踪是法律允许的)。

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

推荐答案

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

假设您有一个类库，其中一个类如下：

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必须做额外的工作来解决冲突。但重要的是，隐藏没有在现有代码中产生任何新的问题。)

在一天结束时，跟踪是好是坏取决于您引入冲突名称的顺序。这不是编译器所能理解的。

这篇关于编译器是否应该对在派生类中隐藏的基结构的成员变量发出警告？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！