是“int i = x++, j = x++;”吗？合法的？

Question

我认为标题已经说得很清楚了。我对此并不完全确定，而且我无法通过谷歌找到一个好的答案（唉，我还没有致力于标准符的艺术），所以我问：

int i = x++, j = x++;

这是定义的吗？ 我非常确定 i = x++, j = x++; 作为普通语句将是未定义的行为 是逗号运算符，它是序列点并且是合法的，但是没有来源非常清楚初始化程序是否以分号结束或一旦开始声明下一个变量，并且由于这不是正在使用的逗号运算符，所以我找不到明确的答案。因此，要么 a) 逗号结束初始化程序，是一个序列点，并且有效，要么 b) 无效。是哪一个？

为了排除这种情况，我知道我应该简化这个令人头疼的问题，并将其写为：

int i = x++;
int j = x++;

并保证它已定义。我出于好奇而询问更多。

Answer 1

初始化程序的末尾是一个序列点，因此标题中的示例是合法的。

逗号运算符也是一个序列点，因此您的“正常语句”也是合法且定义良好的。

维基百科文章有 C 和 C++ 序列点的列表。

跟进下面的评论，这里展示了逗号运算符的强大功能，保留在 FreeBSD 的 stdio.h 中（在 ifndef __GNUC__ 下）：

/*
 * This has been tuned to generate reasonable code on the vax using pcc.
 */
#define __sputc(c, p) \
        (--(p)->_w < 0 ? \
                (p)->_w >= (p)->_lbfsize ? \
                        (*(p)->_p = (c)), *(p)->_p != '\n' ? \
                                (int)*(p)->_p++ : \
                                __swbuf('\n', p) : \
                        __swbuf((int)(c), p) : \
                (*(p)->_p = (c), (int)*(p)->_p++))
#endif

Answer 2

这是一个棘手的问题。
如果你写了：

int i = 0, j = 0, x = 10;
i = x++, j = x++;

我说过：它是未定义的。 （各种 C 和 C++ 标准保持未定义）

但在初始化程序中我不确定；D ofc 我得出的结论是它也未定义，但谁知道......

Angelo