本文旨在深入解析Java循环排序算法中一个常见的陷阱，即在原地交换元素时可能出现的索引计算错误。通过对比两种实现方式，清晰地阐述了直接使用表达式与使用临时变量的区别，并提供了正确的循环排序实现，帮助开发者避免类似错误，确保算法的正确性和效率。
循环排序（Cyclic Sort）是一种用于排序包含从 1 到 n 的 n 个数字的数组的算法。其核心思想是将每个元素放到其正确的位置上，即数字 i 应该放在数组的第 i-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] = temp; 中使用的 arr[i] - 1 实际上计算的是一个错误的索引。
立即学习“Java免费学习笔记（深入）”；
无论做任何事情，都要有一定的方式方法与处理步骤。计算机程序设计比日常生活中的事务处理更具有严谨性、规范性、可行性。为了使计算机有效地解决某些问题，须将处理步骤编排好，用计算机语言组成“序列”，让计算机自动识别并执行这个用计算机语言组成的“序列”，完成预定的任务。将处理问题的步骤编排好，用计算机语言组成序列，也就是常说的编写程序。在Pascal语言中，执行每条语句都是由计算机完成相应的操作。编写Pascal程序，是利用Pasca
正确的实现
为了避免上述问题，需要在交换之前，先将目标索引计算出来并存储在一个临时变量中。以下是正确的实现方式：
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] 应该在的正确位置的索引。即使 arr[i] 的值在交换过程中发生了改变，correct 的值仍然保持不变，确保了交换操作的正确性。
示例代码
以下是一个完整的示例，演示了如何使用正确的循环排序算法：
import java.util.Arrays;
public class CyclicSortExample {
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++;
}
}
}
public static void main(String[] args) {
int[] arr = {5, 4, 3, 2, 1};
cyclicSort(arr);
System.out.println(Arrays.toString(arr)); // 输出: [1, 2, 3, 4, 5]
}
}注意事项
- 循环排序算法适用于包含从 1 到 n 的 n 个数字的数组。如果数组中包含重复的数字或者不在这个范围内的数字，则算法可能无法正常工作。
- 循环排序是一种原地排序算法，即它不需要额外的空间来存储排序后的数组。
- 循环排序的时间复杂度为 O(n)，其中 n 是数组的长度。
总结
在实现循环排序算法时，务必注意在交换元素时，要使用临时变量来存储目标索引，以避免由于数组元素值的改变而导致的索引计算错误。理解并避免这个陷阱，可以确保算法的正确性和效率。
