为何两个布尔表达式的数组顺序比较结果不同？

你混淆了全称判断和存在判断的逻辑，这两个函数的行为完全不是简单的布尔表达式反转，核心差异在于遍历的完整性：

第一个正确函数的逻辑 #

这个函数的目标是验证「所有位置的元素都相等」：

• 遍历数组的每一个元素，只要发现任意一对元素不相等，立刻返回false（因为已经不符合“全部相等”的条件）
• 只有当遍历完所有3个元素，都没找到不相等的情况，才返回true

对应你的示例，当遍历到i=1时，a[1]=0和b[1]=3不相等，函数直接返回false，最终输出正确的结果。

第二个错误函数的逻辑 #

这个函数的逻辑变成了验证「至少有一个位置的元素相等」：

• 遍历数组的第一个元素，发现a[0]=2和b[0]=2相等，立刻返回true，完全不会继续检查后面的元素
• 只有当所有3个元素都不相等时，才会返回false

在你的示例中，函数在第一次循环就触发了返回，根本没机会发现后面的元素不相等，所以错误地返回了true。

如何用“相等”的逻辑实现正确的数组比较 #

如果你想通过判断元素相等的逻辑来写，不能一找到相等就返回，而是要确认所有元素都相等。正确的写法可以是：

bool compare_arr(int *a, int *b)
{
    // 默认假设数组相等
    bool all_equal = true;
    for (int i = 0; i < 3; i++)
    {
        if (a[i] != b[i])
        {
            // 只要有一个不等，就标记为不相等
            all_equal = false;
            // 提前退出循环，没必要继续遍历
            break;
        }
    }
    return all_equal;
}

或者保持你第一个函数的写法，它已经是最简洁高效的实现——因为一旦发现不相等就能立刻终止判断，不需要遍历全部元素。

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