在 C++ 中使用逗号运算符时的未定义行为

Question

我正在尝试学习如何在 C++ 中评估表达式。所以尝试和阅读不同的例子。下面是我无法理解它是否会产生未定义行为的代码。代码来自here。所以我想既然他们用过，这一定不是UB。但我有疑问。

#include <iostream>
int main()
{
    int n = 1;
    //std::cout << n << " " << ++n << std::endl;//this is undefined behavior i am sure
    int m = (++n, std::cout << "n = " << n << '\n', ++n, 2*n);//will this also produce UB because here also we have cout in the same manner as above?
    std::cout << "m = " << (++m, m) << '\n';
}

正如您在上面的代码中看到的，我确信声明：

cout << n << " " << ++n << endl;

产生未定义的行为。 我的问题是：

1. 但是在逗号运算符中使用的相同语句会产生 UB（如上面的代码所示）吗？也就是说，下面给出的语句会产生 UB。

int m = (++n, std::cout << "n = " << n << '\n', ++n, 2*n);

1. 我们如何解释上述语句的行为在前序、未排序等方面发生了什么。

PS：我知道从 C++11 开始，我们使用序列之前等而不是序列点，所以我为什么要根据当前标准进行解释。

Answer 1

来自cppreference的同一页面：

在逗号表达式E1, E2 中，表达式 E1 被求值，其结果被丢弃（尽管如果它具有类类型，它直到包含完整表达式的末尾才会被销毁），及其副作用在表达式 E2 开始计算之前完成（请注意，用户定义的 operator, 不能保证排序）（直到 C++17）。

由于代码中的逗号操作符是内置的，++n、std::cout << "n = " << n << '\n' 和其他表达式之间的顺序是明确定义的。没有未定义的行为。

因为您可能已经阅读了以上内容，所以这里是wording from the standard：

一对用逗号分隔的表达式从左到右计算；左表达式是丢弃值表达式。 左表达式在右表达式之前排序（[intro.execution]）。