C++ 编译器无法正确识别枚举

Question

谁能解释为什么以下代码无法编译（在 g++ (GCC) 3.2.3 20030502 (Red Hat Linux 3.2.3-49) 上）？

struct X {
public:
   enum State { A, B, C };

   X(State s) {}
};

int main()
{
   X(X::A);
}

我收到的消息是：

jjj.cpp: In function 'int main()':
jjj.cpp:10: 'XX::A' 不是 'struct X' 的静态成员
jjj.cpp:10: 没有匹配的函数可用于调用“X::X()”
jjj.cpp:1：候选者是：X::X(const X&)
jjj.cpp:5: X::X(X::State)`

这是错误的代码还是编译器错误？

尼尔+康拉德解决了这个问题。 请参阅下面对尼尔的回答的评论。

Answer 1

您忘记了定义中的变量名称：

int main()
{
   X my_x(X::A);
}

您的代码使编译器感到困惑，因为从语法上讲，它无法将其与函数声明区分开来（返回 X 并传递 X::A 作为参数）。 当有疑问时，C++ 编译器总是消除歧义并支持声明。

解决方案是在 X 周围引入多余的括号，因为编译器禁止在类型周围使用括号（而不是构造函数调用等）：

(X(X::A));

Answer 2

X(X::A);

被视为函数声明。 如果您确实想要此代码，请使用：

(X)(X::A);

Answer 3

只是为了让大家清楚地了解发生了什么。 看这个例子

int main() {
    float a = 0;
    {
        int(a); // no-op?
        a = 1;
    }
    cout << a;
}

它会输出什么？ 嗯，它会输出0。 上面的 int(a) 可以用两种不同的方式解析：

• 转换为 int 并丢弃结果
• 声明一个名为 a 的变量。 但请忽略标识符周围的括号。

当出现在语句中使用函数式强制转换并且看起来也像声明的情况时，编译器总是将其视为声明。 当它在语法上不能是声明时（编译器将查看整行来确定），它将被视为表达式。 因此，我们将分配给上面的内部 a，而将外部 a 保留为零。

现在，你的情况正是如此。 您试图（不小心）在名为 X 的类中声明一个名为 A 的标识符：

X (X::A); // parsed as X X::A;

然后编译器会继续抱怨未声明的默认构造函数，因为静态、正如它所假设的那样，是默认构造的。 但即使你有 X 的默认构造函数，它当然仍然是错误的，因为 A 都不是 X 的静态成员，也不能在块作用域中定义/声明 X 的静态成员。

您可以通过执行几项操作来使其不像看起来像一个声明。 首先，您可以将整个表达式加括号，这使其看起来不再像声明。 或者只是将要转换的类型括起来。 其他答案中已经提到了这两种消歧义：

(X(X::A)); (X)(X::A)

当您尝试实际声明一个对象时，存在类似但明显的歧义。 看这个例子：

int main() {
    float a = 0;
    int b(int(a)); // object or function?
}

因为 int(a) 既可以是名为 a 的参数的声明，也可以是 float 变量到 int 的显式转换（强制转换），编译器再次决定这是一个声明。 因此，我们碰巧声明了一个名为 b 的函数，它接受一个整数参数并返回一个整数。 根据上述消歧，有几种可能的方式来消除歧义：

int b((int(a))); int b((int)a);

Answer 4

一个对象声明为Bug。

X x(X::A);

您应该在代码中将

Answer 5

这两行代码中的任何一行都对我有用：

X obj(X::A);
X obj2 = X(X::A);

正如 Neil Butterworth 指出的那样，X(X::A) 被视为函数声明。 如果您确实想要一个匿名对象，(X)(X::A) 将构造一个 X 对象并立即删除它。

Answer 6

当然，您可以这样做：

int main()
{
    // code
    {
    X temp(X::A);
    }
    // more code
}

这会更具可读性并且基本上具有相同的效果。