c++ - 不命名类型错误是由于现有的枚举，但为什么呢？

Question

我刚收到这个错误:“错误:‘Symbol’没有命名类型”

我发现了一些其他 StackOverflow 问题谈论循环依赖，但这里不是这种情况。事实上，我可以通过将其放在源文件的顶部来重现它:

class Symbol{int dummy;};
//class Symbol{int again;};
Symbol global_symbol;

这会在第 3 行给出“错误:‘Symbol’没有命名类型”。如果我取消注释第二行，我仍然会得到同样的错误，但就在它之前我现在得到:“错误:‘类符号’的重新定义”!!

经过更多的探索之后，第 3 方库似乎有一个 enum，其中定义了 Symbol。该库和我自己的代码都没有使用命名空间，因此将我的代码移动到命名空间内已经在我的待办事项列表中，我接下来会这样做，希望问题会消失。

但让我感到困惑的是，为什么我没有在 class Symbol{} 行收到错误？如果它与枚举冲突，以至于我永远无法实例化该类，为什么它不提示？我觉得我要么缺少 g++ 的标志，要么我的 C++ 知识存在差距。我做好准备等待有人告诉我这是一个功能而不是错误。

(顺便说一句，我正在使用 g++ -c -std=gnu++0x -Wall -g -Werror ... 和 g++ 4.8.1)

Answer 1

您看到的是一种名称隐藏:变量或函数Symbol 的声明优先于class Symbol ([basic.scope.hiding] §3.3.10/2)。在 C++ 允许一个声明在同一范围内隐藏另一个声明的情况下，总是有一个 elaborated-type-specifier 仍然引用隐藏的声明。它们之所以这样命名，是因为只有一种类型(class 或 enum)可能以这种方式被隐藏； typedef 和模板不能。声明的顺序并不重要。

在这种情况下，当变量或函数在范围内时，您可以使用 class Symbol 来引用类:

class Symbol global_symbol;