为什么这些示例之一是未定义的行为而另一个不是？

Question

对this 回复的评论指出，不应使用以下代码，因为它表现出未定义的行为：

int old = (std::cin >> old, old);

here 的类似代码也遭到了极大的蔑视，尤其是因为它表现出未定义的行为。

另一方面，this 高度赞成的回复建议以下代码作为逗号运算符有用性的示例：

while (cin >> str, str != "STOP") {
    //process str
}

我假设如果这段代码表现出未定义的行为，它就不会被投票。

问题：如果第一个代码是未定义的行为（可能是因为使用从cin读取的结果而没有检查后者的状态），那么为什么第二个代码可以？

编辑：第一个例子的评论部分回答了这个问题。第二个示例没有显示str 是std::string 的一个实例，因此被初始化。因此，没有未定义的行为。

Answer 1

声明 int old = (std::cin >> old, old); 自 C++11 以来定义良好假设读取非空白字符。这是因为如果std::cin 在这种情况下失败，old 将设置为零。 表达式分隔符运算符,的使用也是合法的，因为它对表达式std::cin >> old和old进行排序。如果没有反空白字符，则 old 仍然不会被 std::cin >> old 更改，并且代码的行为是未定义的。

假设str 是std::string 类型，(cin >> str, str != "STOP") 总是 定义明确。如果cin >> str 失败，则保留str 的初始（可能是默认构造）值，然后, 再次对表达式进行排序。

Answer 2

两个答案都是错误的答案，但只有第一个可能表现出未定义的行为。

int old = (std::cin >> old, old);

当std::cin >> old 失败时，old 可以拥有它所拥有的价值。所以它可以保持未初始化的int，因此读取它是未定义的行为。

while (cin >> str, str != "STOP") {
    //process str
}

当cin >> str 失败时，str 具有其先前的值。假设 str 是 std::string 与聚合类型不同，它不可能有未初始化的状态。因此它将具有其先前的值，例如默认构造值"" 或先前读取的值"MOP"。从中读取并与"STOP" 进行比较绝不是未定义的行为。然而，cin >> str 很可能会在下一个循环中再次失败，因此 str 永远不会是 "STOP"，因此它将是无限循环，因此 && is likely better than comma there。

另外值得注意的是，当我们尝试结合第一个示例和第二个示例时，我们can get real crash：

std::string old = (std::cin >> old, old);

当流未设置为引发故障时，我们应该手动检查它们的状态（std::cin 并不特殊），因为它们可能会结束并失败。不幸的是，很多教程示例都没有这样做。因此，有些人似乎认为流操作适合使用逗号运算符插入到某些表达式的中间。

编辑：

我不确定它与 C++11 不同的评论。挖了，但在标准中找不到确认。使用 g++ 尝试此代码在出现错误时未读取零：

#include <iostream>
#include <sstream>

int main()
{
    std::stringstream in("42");

    int i = 0;
    std::cout << i << '\n'; // outputs 0
    in >> i;
    std::cout << i << '\n'; // outputs 42
    i = 666;
    in >> i;
    std::cout << i << '\n'; // outputs 666 
    // so it did leave value of i like it was 
}

Demo。还有std::cin does not seem special 以任何方式。当然，可能是 g++ 的实现不正确，或者仅在失败子集的情况下才需要失败的输入来设置 i，因此第一个示例仍然可能表现出未定义的行为。