c - 请解释以下 C 程序的输出？

Question

请详细说明以下程序中(a+=3,5,a)的计算方式。

#include <stdio.h>
int main()
{
    int a=1,b=2,c=3;
    printf("%d\n",a+=(a+=3,5,a));
}

Answer 1

正在考虑的代码是，当现代化并给出一些缺失的空格时:

#include <stdio.h>
int main(void)
{
    int a = 1, b = 2, c = 3;
    printf("%d\n", a += (a += 3, 5, a));
    return 0;
}

我最初的 react 是“dup of Why are these constructs undefined behaviour”，尽管这主要是关于在此类问题中更常见的 ++ 和 -- 运算符。

再看一眼，就会发现 (a += 3, 5, a) 中有一个逗号运算符，这些运算符强加了序列点。就其本身而言，这么多的表达方式都很好。如果用在b += (a += 3, 5, a)中就没有问题。问题的文本仅询问 (a += 3, 5, a)。

当然，, 5 没有任何用处。当它被消除时，使用 (a += 3, a) 的唯一原因是在加法和 a 之间放置一个序列点。但是，我无法想到在任何情况下您都可以合法地需要该序列点。

更复杂的问题是 a += (a += 3, 5, a) 的 LHS 计算是否与 RHS 正确排序。这是未定义的行为，因为尽管 RHS 表达式中存在序列点，但整个表达式的 LHS 和 RHS 的计算之间没有序列点。

请记住，复合赋值运算符 += 的行为或多或少如下:

a += x;
a = a + x;

不同之处在于 LHS 上的表达式(本例中为 a)仅计算一次。在这种情况下，没有问题。如果代码更复杂，这个细节很重要:

array[index++].member[subindex++] += 23;

现在至关重要的是 LHS 仅评估一次!

摘要

问题中的代码是棘手的代码，因为它具有未定义的行为，所以应该在生产代码中避免使用。

我想知道为什么 b 和 c 出现在问题中；它们是未使用的变量。这么少的代码却带来如此多的困惑!

<小时/>

经验法则:避免在单个表达式中使用多个递增、递减和复合赋值运算符。

高级经验法则(仅适用于专家):不要对单个表达式中的同一变量应用多个递增、递减或复合赋值运算符。

如果您足够了解何时可以安全地违反规则 (?:)，那么您不一定需要遵循经验规则。在此之前，请避免过度使用这些运算符。