c - 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]='\0';
    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]='\0';
}

我的代码成功地完成了任务(最后有一些垃圾字符，但我会解决的)。但是，我注意到在 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))

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