Java循环后的数组：请解释a[i] = a[a[i]]的工作原理

嘿，这个问题问得挺实在——我见过不少开发者第一次碰到a[i] = a[a[i]]时有点摸不着头脑，尤其是在循环处理数组的场景（比如原地重排、找重复元素这类问题）里。咱们一步步拆解清楚它的逻辑，再拿具体例子说就通透了。

核心执行顺序：先右后左 #

Java里的赋值语句永远是先计算右侧表达式的结果，再将结果赋值给左侧的变量/数组元素，这个顺序是关键。对于a[i] = a[a[i]]，具体分两步走：

1. 获取右侧目标值：先读取当前a[i]的数值，把这个数值当作一个新的数组索引，然后取出数组中这个新索引对应的元素值；
2. 覆盖左侧原位置：把第一步拿到的数值，赋值回原来的a[i]位置，直接修改原数组的内容。

举个具体例子理解 #

假设我们有数组 int[] a = {2, 0, 1, 3}，现在循环执行到i=0的位置：

• 第一步：计算a[a[0]] → 先取a[0]的值是2，再取a[2]的值是1；
• 第二步：把1赋值给a[0]，数组就变成了 {1, 0, 1, 3}。

几个要注意的坑点 #

• 索引越界风险：如果a[i]的数值超出了数组的合法索引范围（比如数组长度是4，但a[i]是5），执行时会直接抛出ArrayIndexOutOfBoundsException，这是新手常踩的雷；
• 循环顺序影响结果：在循环中使用这个语句时，一定要注意处理顺序。如果提前修改了某个位置的元素，后续循环用到该位置作为索引时，拿到的会是修改后的值，可能导致逻辑出错。比如还是上面的数组，如果先处理i=2：
  • a[2]的值是1，a[1]的值是0，赋值后a[2]变成0，数组变为{2, 0, 0, 3}；
  • 再处理i=0时，a[0]是2，此时a[2]已经是0了，最终a[0]会被赋值为0，和之前的结果完全不同。
• 原地修改特性：因为数组是Java的引用类型，这个赋值操作直接修改原数组的内容，不会创建新数组，这也是它常用于“原地操作”场景的原因。

常见应用场景 #

这个语句大多出现在原地数组处理的算法里：

• 比如将数组元素归位到对应索引的位置（当元素值范围是0到数组长度-1时）；
• 或者在找重复元素的问题中，用这种方式标记已访问过的元素（不过有时候会结合取模等操作避免覆盖原始值）。

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