while 循环中的后递增

Question

下面的代码让我有点困惑：

char * strcpy(char * p, const char * q) {
  while (*p++=*q++);
  //return
}

这是 strcpy 函数的精简实现。从这段代码中，我们看到指针 p 和 q 递增然后取消引用，并且 q 被分配给 p 直到已达到 \0 字符。

我希望有人解释一下 while 循环的第一次迭代。

Answer 1

由于 ++ 位于变量之后，因此在计算表达式之后之前，它们不会递增。这就是为什么它是后自增运算符；预增量带有前缀 (++p)。 *++p 将写入第二个位置，*p++ 将写入第一个位置。

Answer 2

不，增量发生在分配之后。

如果是*(++p)，则指针p将递增，然后赋值。

Answer 3

p++ 是后递增指针p。因此，在 p 递增之前，p 的当前值由引用运算符 * 进行操作。

如果 while 循环编写如下，那么您的推理是正确的：

while (*++p=*++q);

在这种情况下，增量将在取消引用之前发生。

Answer 4

表达式x++ 和++x 都有结果（值）和副作用。

表达式x++的结果是x的当前值。 副作用是x的内容增加1。

表达式++x的结果是x的当前值加1。副作用与上面相同。

请注意，副作用不必在表达式求值后立即应用；它只需在下一个序列点之前应用。例如，给定代码，

x = 1;
y = 2;
z = ++x + y++;

不能保证在计算表达式 y++ 之前，甚至在 ++x 结果之前修改 x 的内容+ y++ 被分配给 z（= 和 + 运算符都不会引入序列点）。 表达式 ++x 的计算结果为 2，但变量 x 可能直到 z< 之后才包含值 2 /code> 已被分配。

重要的是要记住，像 x++ + x++ 这样的表达式的行为是语言标准明确未定义的；没有（好的）方法来预测表达式的结果是什么，或者 x 被求值后将包含什么值。

后缀运算符比一元运算符具有更高的优先级，因此像 *p++ 这样的表达式会被解析为 *(p++) （即，您正在应用 * code> 运算符到表达式 p++ 的结果）。同样，表达式 p++ 的结果是 p 的当前值，因此 while (*p++=*q++); 不会跳过第一个元素。

请注意，自动递增/递减运算符的操作数必须是左值（本质上是引用内存位置的表达式，以便可以读取或修改内存）。表达式 x++ 或 ++x 的结果不是左值，因此您不能编写类似 ++x++ 的内容 或 (x++)++ 或 ++(++x)。您可以编写类似 ++(*p++) 的内容（p++ 不是左值，但 *p++ 是），尽管这可能会让任何阅读你的代码的人打你一巴掌。

Answer 5

表达式 (*q++) 的右侧将在 *p++ 之前求值，并且两者仅在赋值后才会递增。

从右向左阅读该语句并记住后递增（q++ 而不是 ++q）发生在该行中的所有其他内容都解决之后。

*q --> dereference q
=  --> assign the value
*p --> to p

两者都增加。

执行此操作，直到 qp 取 q 的元素 = 0，即到达 null 终止符。

Answer 6

q++ 的值为 q
++q 的值为 q+1

Answer 7

这是 strcpy 函数的剥离实现。从这段代码中，我们看到指针 p 和 q 增加，然后取消引用，并且 q 被分配给 p 直到到达 \0 字符。

情况恰恰相反。 *p 处的值设置为 *q，然后两个指针都会递增。

当您有 int foo = bar++ 时，增量会在 foo 设置后发生。要首先发生它，您需要执行 int foo = ++bar

Answer 8

while 循环的条件是执行后递增。等效地：

while (true) {
    char* old_p = p;
    const char* old_q = q;

    ++p; // or p++;
    ++q; // or q++;

    *old_p = *old_q;
    if (*old_p == '\0')
        break;
}