本文深入探讨了Java中循环排序算法失效的常见原因。通过对比两种看似相似的代码实现，揭示了在原地修改数组时，直接使用计算表达式作为索引可能导致的问题。文章详细解释了为什么引入临时变量可以有效解决该问题，并提供了清晰的代码示例和分析，帮助读者理解循环排序的正确实现方式。

循环排序是一种原地排序算法，尤其适用于包含从1到N（或0到N-1）的数字的数组。其核心思想是将每个元素放到其正确的位置上。然而，在实现过程中，一些看似微小的错误可能会导致算法失效。

让我们先来看一段可能会出现问题的代码示例：

static void cyclicSort(int[] arr) {
    int i = 0;
    while (i < arr.length) {
        if (arr[i] != arr[arr[i] - 1]) {
            int temp = arr[i];
            arr[i] = arr[arr[i] - 1];
            arr[arr[i] - 1] = temp;
        } else {
            i++;
        }
    }
}

这段代码尝试将 arr[i] 放到 arr[arr[i] - 1] 的位置上，如果两者不相等，则进行交换。然而，问题在于，在执行 arr[i] = arr[arr[i] - 1]; 之后，arr[i] 的值发生了改变。这意味着下一行代码 arr[arr[i] - 1] = temp; 中，arr[i] - 1 实际上计算的是一个 新的 索引，而不是我们最初想要访问的索引。

立即学习“Java免费学习笔记（深入）”；

为了解决这个问题，我们需要引入一个临时变量来保存正确的索引值：

static void cyclicSort(int[] arr) {
    int i = 0;
    while (i < arr.length) {
        int correct = arr[i] - 1;
        if (arr[i] != arr[correct]) {
            int temp = arr[i];
            arr[i] = arr[correct];
            arr[correct] = temp;
        } else {
            i++;
        }
    }
}

在这个改进后的版本中，correct 变量在交换之前就保存了 arr[i] - 1 的值。即使 arr[i] 的值在交换过程中发生了改变，correct 的值仍然保持不变，确保我们访问的是正确的索引。

总结与注意事项：

• 原地修改数组的陷阱： 在原地修改数组时，要特别注意修改操作对后续索引计算的影响。如果索引依赖于数组元素的值，并且数组元素的值在后续操作中会被修改，那么必须使用临时变量来保存原始索引。
• 代码可读性： 即使不考虑潜在的错误，使用临时变量也能提高代码的可读性。它使代码的意图更加清晰，更容易理解。
• 适用范围： 循环排序算法特别适用于数组元素是1到N（或0到N-1）的整数，并且没有重复元素的情况。对于其他类型的数组，可能需要使用其他排序算法。

通过理解这个细微的差别，我们可以避免在实现循环排序算法时出现类似的错误，并编写出更健壮、更易于维护的代码。