for 循环增量规则中的 & 符号

Question

今天做K&R第1-19题时，我的for循环出现了一个奇怪的错误（我解决了）。我发帖是想问为什么会这样

K&R 1-19: 编写一个函数 reverse(s) 来反转字符串 s 。用它来编写一个程序，一次反转其输入一行。我的解决方案：

#include <stdio.h>

int function1 (char []);
void reverse (char [], char[], int);

int main() {

    char a[1000];
    char b[1000];
    int i;

    i = function1(a);
    reverse (b,a,i);

    printf("%s",b);
    putchar('\n');

    return 0;
}

int function1 (char a[]) {
    int i;
    int p;

    for (i=0; (i<1000-1) && (p=getchar())!=EOF && (p !='\n'); ++i) {
        a[i]=p;
    }

    if (p == '\n') {
        a[i]=p;
        ++i;    
    }

    a[i]='[=10=]';
    return i;
}

 void reverse (char a[], char b[], int c) {
    int i;
    int x;
    i=0;    


    /*It appears that in the for declaration you must use , instead of && */    

    for (x=c-1; x>=0; (++i) && (x=x-1)) {
        a[i] = b[x]; 
    }
    a[i+1]='[=10=]';
}

我的代码成功完成了任务（最后有一些乱码，但我会解决的）。但是，我注意到在 for 循环的增量部分发生了一些奇怪的事情：

假设我输入：

hi my name is john

我会得到：

nhoj si eman ym ih

这是正确的回答。但是，如果我反转增量部分：

for (x=c-1; x>=0; (x=x-1) && (++i)) {

奇怪的是，我的输出足够了：

nhoj si eman ym h

第二个字符 (i) 丢失。为什么会这样？

Answer 1

C 中的逻辑运算符（&& 和 ||）执行所谓的短路。这意味着如果他们可以确定第一个操作数的结果，他们将不会计算第二个操作数。

即，如果 && 的第一个操作数在逻辑上为假，则不会计算第二个操作数，因为无论如何整个表达式在逻辑上都是假的。

在你的例子中 ++i 总是非零的，所以如果你把它作为第一个操作数到 &&，那么 (x=x-1) 必须被评估。

如果把(x=x-1)放在最前面，那么当x变为零时，就不会对++i求值了。

无论如何，在 for 语句的第三部分执行多个操作的常用习惯是使用逗号运算符：

for (x=c-1; x>=0; (x=x-1), (++i))

这确保每个操作数都按照指定的顺序从左到右求值。

Answer 2

运算符 && 和 || 短路操作。（如果在评估第一个操作数后结果已知，则不要评估第二个操作数）

当你反转表达式的参数（而不是赋值，递增是有条件的）程序流改变并改变结果。

相关常见问题解答：Is it safe to assume that the right-hand side of the && and || operators won't be evaluated if the left-hand side determines the outcome?

for 循环增量规则中的 & 符号

Ampersand in for loop increment rules

c

logical-operators