数组索引后自增与赋值代码解读：k=0时C/CC索引求解

嘿，我来帮你把这段让人头大的紧凑代码拆明白！你困惑的点太正常了——这种把好几个操作揉在一行的写法，确实很容易绕晕人。

先搞懂核心语句p=w[T[k]]++的执行顺序 #

这行代码是把数组索引、赋值、自增三个操作打包在一起了，得按运算符优先级一步步拆解：

• 第一步：计算T[k]，拿到当前循环k对应的T数组元素
• 第二步：用这个元素的值作为索引，取出w数组对应位置的元素：w[T[k]]
• 第三步：把这个取出的值赋值给变量p
• 第四步：对w[T[k]]执行后置自增操作（划重点：后置++是先返回当前值，再把原位置的数值加1）

一步步验证k=0时的执行过程 #

已知初始值：

• w = [0, 3, 6, 8]
• T = [2, 0, 3, 2, 1, 0, 1, 3, 0, 1]

当k=0时：

1. 取T[0]，得到值2
2. 用2作为索引取w[2]，得到值6
3. 把6赋值给p，此时p=6
4. 对w[2]执行后置自增，w[2]从6变成7
5. 接下来执行C[p] = Y1[k] → 也就是C[6] = Y1[0]
6. 最后执行CC[p] = Y2[k] → CC[6] = Y2[0]

你之前的推导完全是正确的！

轻松阅读这类紧凑代码的小技巧 #

这类写法常见于性能敏感的场景（比如计数排序这类算法实现），想要快速读懂可以试试这几个方法：

• 拆分复合语句：把一行里的多个操作拆成单独的语句，比如把p=w[T[k]]++拆成：

  int idx = T[k];
  p = w[idx];
  w[idx] += 1;
  

  拆分后逻辑立刻清晰很多
• 手动标注变量变化：像你自己做的那样，把每一步的变量、数组值变化写下来，尤其是被修改的数组（比如这里的w）
• 牢记自增运算符特性：后置++是「先用后加」，前置++是「先加后用」，这是这类紧凑代码最容易踩坑的地方

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