C：传递（双重）分配

Question

我在 C 中使用过这样的结构：

list->head = list->tail = NULL;

现在我考虑这是否真的意味着我想的那样。

这是什么意思？

1. list->head = NULL; list->tail = NULL;

或

1. list->head = list->tail; list->tail = NULL;

谢谢澄清

Answer 1

这些都不对。

由于简单赋值 = 运算符是从右到左关联的，因此您的表达式等同于：

list->head = (list->tail = NULL);

NULL 被分配给tail，然后具有空指针值的tail 被分配给head。

Answer 2

赋值运算符是从右到左结合的。

因此这个表达式语句

list->head = list->tail = NULL;

等价于

list->tail = NULL;
list->head = list->tail;

Answer 3

他们都不是。意思是

list->tail = NULL;
list->head = list->tail;

1 不正确，因为如果list->tail 的类型不是指针，则可能会产生不同的结果，因为该值将转换为赋值目标的类型。

2中两个语句的顺序不正确。

Answer 4

这是多重分配，因为您的第一个选项是正确的

list->head = list->tail = NULL;

这是一种流动的魔法。

最初，tail 设置为NULL，从右到左开始

list->tail = NULL;

那么 list->head = list->tail ;

现在tail 是NULL，所以head 也将分配一个NULL 值

Answer 5

赋值运算符= 的结合性是从右到左的。这意味着，如果一个语句中有多个 = 运算符，则首先计算最右边的运算符，然后计算它左边的运算符，并按此顺序，直到最后计算最左边的 = 运算符。

这意味着当你这样做时

list->head = list->tail = NULL;

最右边的赋值，即list->tail = NULL首先被评估。所以list->tail 将是NULL。

之后将评估list->head = list->tail。由于list->tail 现在是NULL（因为之前的评估——即list->tail = NULL），现在list->head 也是NULL。

根据您在问题中的表达方式，它就像

list->tail = NULL; list->head = list->tail;

Answer 6

对于所有不完整的答案，我必须澄清一下。

首先，表达式从右到左求值：

list->head = (list->tail = NULL);

标准将behaviour of the assignment operator定义为：

赋值运算符将值存储在左操作数指定的对象中。赋值表达式在赋值后具有左操作数的值，111) 但不是左值。赋值表达式的类型是左操作数在左值转换后的类型。更新左操作数的存储值的副作用是在左操作数和右操作数的值计算之后排序的。操作数的计算是无序的。

现在的问题是，标准留下了两种方法如何获得赋值的值。**

// variant 1 (read the left-hand side after writing it)
list->tail = NULL;
list->head = list->tail;

也就是说，list->tail 在获得它的值后被读取，并将该值分配给list->head。

// variant 2 (use temporary storage)
typeof(list->tail) temp = NULL;  // get the value/type of the RHS of the inner assignment
list->tail = temp;
list->head = temp;

（RHS：右侧，运算符右侧的术语）。感谢@chux，这两个任务也可以互换。

见footnote 111:

允许实现读取对象以确定值，但不是必需的，即使对象具有 volatile 限定类型。

---

变体在抽象机器方面表现相同 - 除非list->tail 是合格的volatile（更一般地说：除了最左边的对象之外的任何对象）。简而言之，volatile 告诉编译器对对象的访问有副作用。它通常用于外围硬件寄存器，例如USART。虽然它很少（如果经常被错误地）用于桌面应用程序，但通常用于操作系统内核驱动程序和裸机嵌入式系统。

对此类寄存器的写入和读取通常会将写入（外部）硬件的数据分别传递。读取会产生这种硬件寄存器的值。更糟糕的是，这些寄存器可以是只写的或只读的。对于只写，读取会产生与写入内容无关的不确定值。与此相关的是，对这些对象的访问必须非常小心地控制和排序。不会有意外的读取或写入。

因此，请考虑上面的代码。然后变体将生成对硬件的不同访问：

• 变体 1 将导致先写入，然后再进行读取。如果寄存器是 只写，读取产生不相关的数据。这可能不是我们想要的。
• 变体 2 只会写入，但会重用为第二个赋值写入的值。
• 变体 2 的写入执行顺序不确定，这是 volatile 左值的另一个问题。

请注意，使用哪种变体不是由用户决定的，而是由编译器决定的。它甚至可能因代码中的不同表达式而有所不同。

因此，一旦涉及到volatile，链式分配就不再适用。