C/C++中负数参与逻辑与运算输出结果差异问题咨询

问题核心原因说明 #

1. C++代码2、3和C代码结果差异的本质：运算符优先级 #

C++中<<输出运算符的优先级高于&&逻辑与运算符，所以你写的cout << -1 && 1实际执行逻辑是(cout << -1) && 1，而非你预期的cout << (-1 && 1)：

• 第一步先执行cout << -1，向控制台输出-1，执行完成后返回cout对象
• 第二步将cout对象转换为布尔值（有效输出对应true），和1做逻辑与运算得到结果1，但这个结果没有被传递给cout输出，所以你最终只能看到前面输出的-1。同理cout << 1 && -1只会输出1。
  而C代码中printf("%d\n", -1 && 1)的逗号分隔符优先级低于&&，所以会先计算-1 && 1的结果：C/C规定逻辑与只要两个操作数都非0（正负都算非0），结果就为1，所以两次printf输出都是1。
  如果要让C代码输出逻辑与的结果，只要加括号调整优先级即可：cout << (-1 && 1);，输出结果会和C代码一致。

2. 代码1的输出是短路求值的正常表现 #

逐行拆解代码1执行逻辑：

• 初始值：a=1, b=1
• 执行c = a || --b：逻辑或||规则是左操作数为真时直接返回真，不执行右操作数。这里a=1为真，所以--b不会执行，c赋值为1，此时a还是1、b还是1。
• 执行d = a-- && --b：逻辑与&&规则是左操作数为真时才执行右操作数，左操作数为假直接返回假。a--是后缀自减，返回自减前的值1（真），所以继续执行--b，b从1变为0；此时&&两个操作数为1和0，结果为0，d赋值为0；之后a完成自减变为0。
• 最终输出0 0 1 0符合预期，和位运算无关。

3. 逻辑运算符通用规则说明 #

C和C++的&&、||逻辑运算符规则完全统一，不存在实现差异：

• 所有非0整数（正负都算）判定为真，0判定为假
• 逻辑与结果只有1（双真）和0（至少一个假）两种，逻辑或结果只有1（至少一个真）和0（双假）两种
• 都遵守短路求值规则：||左真不执行右，&&左假不执行右
  你观测到的差异完全是C++<<运算符优先级导致的计算顺序问题，和逻辑运算符本身的实现无关。

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