c - 在指针赋值中使用指向内容

Question

我一直认为，在读取赋值中的正确表达式后缺少序列点会导致如下示例产生未定义的行为:

void f(void)
{
   int *p;
   /*...*/
   p = (int [2]){*p};
   /*...*/
}
// p is assigned the address of the first element of an array of two ints, the
// first having the value previously pointed to by p and the second, zero. The
// expressions in this compound literal need not be constant. The unnamed object
// has automatic storage duration.

但是，这是 C11 标准委员会草案中“6.5.2.5 复合文字”下的示例 2，版本标识为 n1570，据我所知这是最终草案(我无权访问最终版本版本)。

那么，我的问题是:标准中是否有某些内容可以提供这种已定义和指定的行为？

编辑

我想准确地阐述我所看到的问题，以回应已经出现的一些讨论。

我们有两个条件可以明确声明赋值具有未定义的行为，根据 dbush 给出的答案中引用的标准 6.5p2:

1) 标量对象的副作用相对于另一侧是无序的对同一标量对象的影响。

2) 标量对象的副作用相对于值是无序的使用相同标量对象的值进行计算。

第 1 项的示例是“i =++i + 1”。在这种情况下，副作用由于++i 将值 i+1 写入 i 相对于将 RHS 分配给 LHS 的副作用是无序的。每边的值计算和 RHS 到 LHS 的分配之间有一个序列点，如下面 Jens Gustedt 的回答中给出的 6.5.16.1 中所述。但是，由于++i 对 i 的修改不受该序列点的约束，否则行为会被定义。

在我上面给出的例子中，我们有类似的情况。有一个值计算，它涉及创建一个数组并将该数组转换为指向其第一个元素的指针。将值写入该数组的一部分也有一个副作用，*p 到第一个元素。

所以，我看不出我们在修改的标准中有什么保证数组的其他未初始化的第一个元素将被排序在将数组地址写入 p 之前。这个修改(写*p到第一个元素)和writing的修改有什么区别i+1 到 i?

换句话说，假设一个实现将示例中感兴趣的语句视为三个任务:1，为复合文字对象分配空间；第二:将指向所述空间的指针分配给p； 3rd: 将 *p 写入新分配空间中的第一个元素。 RHS 和 LHS 的值计算将在分配之前排序，因为计算 RHS 的值只需要地址。这个假设的实现在哪些方面不符合标准？

Answer 1

需要看6.5.16.1中赋值运算符的定义

The side effect of updating the stored value of the left operand is sequenced after the value computations of the left and right operands. The evaluations of the operands are unsequenced.

所以在这里你清楚地看到，首先它以任意顺序甚至同时计算两边的表达式，然后将右边的值存储到左边指定的对象中。

此外，您应该知道作业的左轴和右轴的评估方式不同。引用有点太长了，所以这里是一个总结

• 对于 LHS，评估留下“左值”，即对象，例如p，未受影响。特别是它不看的内容对象。

• 对于 RHS，存在“左值转换”，即对于在那里找到的任何对象(例如 *p)，该对象的内容是已加载。

• 如果 RHS 包含数组类型的左值，则此数组将转换为指向其第一个元素的指针。这就是您的复合文字正在发生的事情。

编辑:您添加了另一个问题

What about this modification (writing *p to the first element) is different from the modification of writing i+1 to i?

区别仅在于分配的 LHS 中的 i 因此必须更新。复合文字中的数组不在 LHS 中，因此与更新无关。