14

为了简单描述问题，请看下面的代码：

int main()
{
    int a=123;
    ({if (a) a=0;});
    return 0;
}

我从 [-Wsequence-point] 收到了这个警告

Line 4: warning: operation on 'a' may be undefined

我的 g++ 版本是 4.4.5

谁能解释这个简单的问题，我将不胜感激。

顺便说一句，你可以在这个中文网站的#7中找到我的原始程序和原始问题（不是必需的）

UPD1：

虽然将代码更改为({if(a) a=0; a;})可以避免警告，但我认识到问题的真正原因可能不是The last thing in the compound statement should be an expression followed by a semicolon.

因为纪录片也说了If you use some other kind of statement last within the braces, the construct has type void, and thus effectively no value。

一个例子可以显示它：

int main()
{
    int a=123, b;
    ({;});
    ({if (a) b=0;});
    return 0;
}

这段代码没有警告！所以我认为真正的原因是关于序列点。

请帮忙！

UPD2：

很抱歉@AndyProwl 不接受他在 UPD1 之前接受的答案。按照他的建议，我可能会问一个新问题（UPD1 是一个与原始问题不同的新问题）。我会再次接受他的回答，因为无论如何它肯定会避免警告。:)

如果我决定提出新问题，我将更新此问题以添加链接。

4

1 回答 1

5

根据 C++ 语法，表达式（也许除了 lambda 表达式，但那是另一回事）不能包含语句 - 包括块语句。因此，我会说你的代码格式错误，如果 GCC 编译它，这意味着这是一个（奇怪的）编译器扩展。

您应该查阅编译器的参考资料，以找出它被赋予（或没有被赋予，如错误消息所暗示的那样）给它的语义。

编辑：

正如 Shafik Yaghmour 在评论中指出的那样，这似乎是一个 GNU 扩展。根据文档，这个“语句表达式”的值应该是块中最后一条语句的值，应该是一个表达式语句：

复合语句中的最后一件事应该是一个后跟分号的表达式；此子表达式的值用作整个构造的值。（如果在大括号中最后使用某种其他类型的语句，则该构造的类型为 void，因此实际上没有任何值。）

由于您示例中的块不包含作为最后一条语句的表达式语句，因此 GCC 不知道如何评估该“语句表达式”（不要与“表达式语句”混淆 - 这应该是语句表达式中最后出现的内容） .

因此，为了防止 GCC 抱怨，您应该执行以下操作：

({if (a) a=0; a;});
//            ^^

但老实说，我不明白为什么人们会在 C++ 中需要这个东西。

于 2013-05-30T14:55:26.267 回答