G++ -Wshadow 不警告静态成员阴影

G++ -Wshadow doesn't warn about static member shadowing

我再一次因为愚蠢而浪费了一些时间,而编译器本可以识别这些愚蠢。这是有问题的源代码:

class f {
    static int mVar;
    int g(int x) { int mVar=3; return x+mVar; }
};
int f::mVar = 1;

问题是,我不小心在mVar前面添加了int。当我编译它时: g++ -c -Wall -Wextra -Wshadow shadowtest.cpp 我没有收到任何关于本地 mVar 隐藏静态成员 mVar.

的警告

但是如果我没有将成员变量声明为静态的,那么 g++ 会正确发出警告:

class f {
    int mVar;
    f(int rVar) : mVar(rVar) {};
    int g(int x) { int mVar=3; return x+mVar; }
};

g++ -c -Wall -Wextra -Wshadow shadowtest2.cpp 编译得到:

shadowtest2.cpp:5:24: warning: declaration of ‘mVar’ shadows a member of ‘f’ [-Wshadow]
     int g(int x) { int mVar=3; return x+mVar; }
                        ^
shadowtest2.cpp:3:9: note: shadowed declaration is here
     int mVar;
         ^

已使用 g++ 4.9.2 和 5.2.1 进行测试。

这是正确的行为还是错误?为什么?

编辑:我在这里提交了错误报告:https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68374

编辑 2018-02-12:在这些版本中不发出警告:

g++-4.9 (Debian 4.9.4-2) 4.9.4
g++-5 (Debian 5.4.1-4) 5.4.1 20161202
g++-5 (Debian 5.5.0-8) 5.5.0 20171010
g++-6 (Debian 6.3.0-18) 6.3.0 20170516
g++-6 (Debian 6.4.0-12) 6.4.0 20180123
g++-7 (Debian 7.2.0-16) 7.2.0
g++-7 (Debian 7.3.0-3) 7.3.0

但成功警告:

g++-8 (Debian 8-20180207-2) 8.0.1 20180207 (experimental) [trunk revision 257435]

根据 -Wshadow in the gcc documentation 的描述,这看起来可能是一个错误:

Warn whenever a local variable or type declaration shadows another variable, parameter, type, class member (in C++), or instance variable (in Objective-C) or whenever a built-in function is shadowed. Note that in C++, the compiler warns if a local variable shadows an explicit typedef, but not if it shadows a struct/class/enum.

特别是考虑到 clang 对这种情况的警告。这基本上是一个实施质量问题,因为这不是格式错误的代码。我会归档 a bug report。他们很可能会提供在这种情况下不警告的理由,或者他们最终会修复警告。

如果我们一直回到版本 4.5.4,gcc 似乎曾经警告过这种情况 see it live