解析C++中while结合cout与&&逆序打印数组的运行原理

• 题目要求：程序首先读取整数N，再读取N个空格分隔的整数存入数组，最终将这N个整数逆序打印输出
• 参考实现代码：

#include <iostream>
int main() {
    int N,i=0;
    std::cin>>N;
    int *A = new int[N];
    while(std::cin>>A[i++]);
    // 已完成输入读取，所有整数存入动态分配的数组

    // 以下语句实现数组逆序打印
    while(std::cout<<A[--N]<<' ' && N);
    delete[] A;
    return 0;
}

1. 逆序打印的实现逻辑 #

理解这行代码首先要明确两个C++基础规则：

• 流插入运算符<<为左结合，执行顺序从左到右，运算结束后返回流对象本身
• 逻辑与运算符&&遵循短路求值规则，严格从左到右判断操作数，左操作数为假时不会执行右操作数

每次进入循环时首先执行--N：读入N个元素完成后，变量N的初始值就是数组长度（数组合法下标范围为0 ~ N-1），前置自减会先将N减1，刚好指向当前未打印的最靠后的元素下标。随后执行std::cout << A[--N]输出当前下标对应的元素，再执行<< ' '在元素后输出一个空格。
每轮循环都从数组尾部向前移动一个下标输出元素，自然实现了逆序打印的效果。

2. 循环终止判断逻辑 #

循环的终止条件完全由&&连接的两个操作数的布尔值决定：

• 左操作数是std::cout<<A[--N]<<' '的返回值，也就是std::cout流对象。流对象在布尔上下文下会检查自身状态：如果输出过程出现错误（比如输出流被关闭），会返回false直接终止循环，正常运行场景下这个值始终为true。
• 当左操作数为true时，程序会检查右操作数N的值：C++中整数在布尔上下文下，非0值转换为true，0转换为false。

以N=3（数组存储3个元素，下标为0、1、2）为例，实际执行流程为：

1. 第一轮循环：--N计算得2，输出A[2]和空格，N=2为非0值，条件为真，继续循环
2. 第二轮循环：--N计算得1，输出A[1]和空格，N=1为非0值，条件为真，继续循环
3. 第三轮循环：--N计算得0，输出A[0]和空格，N=0转换为false，整个条件为假，循环终止
   整个流程刚好打印完全部3个元素，不会出现下标为-1的越界访问问题。

3. ' ' && N的作用与布尔运算规则 #

这里是非常典型的运算符优先级误解：流插入运算符<<的优先级高于逻辑与运算符&&，因此表达式的实际分组逻辑为：

( (std::cout << A[--N] << ' ') )  &&  N

代码中根本不存在' ' && N这个子表达式：

• ' '是<<的操作数，作用就是在每个输出的整数后打印一个空格作为分隔符，它本身不会直接参与逻辑与运算。
• &&右侧的N是循环的终止判断标记，用来确认是否已经打印到数组下标为0的第一个元素，打印完成后立刻退出循环。

补充说明：如果真的将' '放在布尔上下文参与运算，它的ASCII值为32（非0值），会被转换为布尔值true，但在这段代码中完全没有发生这个过程。

内容的提问来源于stack exchange，提问作者Kian Varu