另一个序列点查询：*p++ = getchar() 是如何工作的？

Question

§5.1.2.4.16

示例 7 表达式的分组并不能完全确定它的求值。在以下片段中：

#include <stdio.h>
int sum;
char *p;
/*
...
*/
sum = sum * 10 - '0' + (*p++ = getchar());

表达式语句被分组，就像它被写成一样

sum = (((sum * 10) - '0') + ((*(p++)) = (getchar())));

但是 p 的实际增量可以发生在前一个序列点和下一个序列点（ ; ）之间的任何时间，并且对 getchar 的调用可以在需要其返回值之前的任何时间发生。

所以基本上我将其理解为 未指定的行为 - *p = getchar(); p++; 或 p++; *p = getchar()。注意;暗示了一个序列点，但整个表达式中没有其他序列点。

所以这个语法是没用的。而且，对于指针赋值，++ 和 -- 几乎是没用的。 对吗？

Answer 1

*p = getchar(); p++; 或 p++; p* = getchar() [sic]

其实没有。要么：

*p = getchar(); p++

或

old_p = p++; *old_p = getchar()

在您的解释中，您可以写信至*p 或*(p + 1)，这是不正确的。在这两种解释中，您都写入p 最初指向的位置，而不管编译器何时决定放置更改p 的指令。如果它决定将它放在写入*p 之前，那么它必须确保它保留旧值以便以后写入 (*old_p)。

后缀-- 和++ 运算符实际上是相当不错的快捷方式。举个例子：

size_t strlen(const char *str)
{
    size_t len = 0;
    while (str[len++]);
    return len - 1;
}

这是strlen 的一个非常简洁的实现，使用后缀++。

---

来自 C11，6.5.2.4.2（强调我的）：

后缀++运算符的结果是操作数的值。作为一个副作用， 操作数对象的值递增（即相应类型的值 1 为 添加到它）。参见关于加法运算符和复合赋值的讨论 有关约束、类型和转换以及操作对 指针。 结果的值计算在副作用之前排序 更新操作数的存储值。关于不确定序列 函数调用，postfix++的操作是单次求值。对象上的后缀 ++ 原子类型是具有 memory_order_seq_cst 的读-修改-写操作 内存顺序语义。

Answer 2

词法分组无关紧要。重要的是p++ 的价值。

该语句与以下两个语句相同：

sum = sum * 10 - '0' + (*p = getchar());
++p;

Answer 3

sum = (((sum * 10) - '0') + ((*(p++)) = (getchar())));

等价于

*p = getchar();
sum = ( ((sum * 10) - '0') + *p );
p++;

它被减少到 1 行。而且它不是没用的，因为以这种方式编写代码可以减少代码的大小和复杂性

sum = (((sum * 10) - '0') + ((*(++p)) = (getchar())));

等价于

p++;
*p = getchar();
sum = ( ((sum * 10) - '0') + *p );

Answer 4

使用 -- 和 ++ 进行指针赋值实际上并不是没用的。考虑一个要读取 10 个字符并在末尾添加转义字符的循环：

int i, sum;
char * p;
p = (char*) malloc(11 * sizeof(char));

for (i = 0; i < 10; i++){
   sum = sum * 10 - '0' + (*p++ = getchar());
}
*p = '\0';