循环语句警告的冒泡排序算法

Question

我看到了一段冒泡排序代码，最初我认为代码是错误的。但是在编译和运行之后，它让我惊讶地发现它实际上是有效的。我想知道为什么第一个for循环中的第二条语句不是条件而是赋值。另外，为什么这段代码不会进入无限循环?

PS:它将生成一个警告:"建议将赋值作为真值使用的括号[-Wparentheses]"抱怨第一个for循环。令人惊讶的是这不是一个错误。

#include <iostream>
void bubblesort(int A[], int n)
{
    for (bool sorted = false; sorted = !sorted; n--)
    {
        for (int i = 1; i < n; ++i)
        {
            if (A[i-1] > A[i])
            {
                int tmp = 0;
                tmp = A[i];
                A[i] = A[i-1];
                A[i-1] = tmp;
                sorted = false;
            }
        }
    }
}
int main()
{
    int a[5] = {1,4,5,2,3};
    bubblesort(a, 5);
    for (unsigned int i = 0; i < 5; ++i)
    {
        std::cout << a[i] << std::endl;
    }
    return 0;
}

Answer 1

赋值操作的结果是左操作数，所以条件

sorted = !sorted

使用sorted作为赋值后的条件。警告是给你一个通知，使用赋值作为条件有时不是你所期望的。你可以使用

(sorted = !sorted) == true

Answer 2

这是C和c++的一个奇特之处，它们允许在语句中间进行赋值。通常这是一个错误(=而不是==)，所以一个好的编译器会警告你。

该表达式的值与赋值相同。

在这种情况下，这是一个非常棘手的优化;如果该值为假，则重置为真并继续循环，如果该值为真，则变为假并满足循环终止条件。我绝不会在需要维护的代码中使用这个

Answer 3

对代码的解释。基本上，如果sorted在条件之前是true ，则循环将停止。

第一个循环:sorted是true

在第二个for循环中，它基本上检查数组是否已排序。如果没有排序->False，循环继续。如果是，排序为->True，停止执行。

Answer 4

比较通常如下:

sorted != sorted

当然，这没有任何意义。但是，您可以使用以下内容:

sorted = !sorted

通过这样做，您只是否定了排序的条件，这意味着假定未排序的数组已排序。然后，如果遍历整个数组而不进行任何交换，则将赋值的左侧作为条件(在本例中为true)。