算法细节问题

归并算法中有这样一段代码，不太明白

tmp[k++]=a[p1++]，后查阅得知

a[i++]=a[i]  但是i已经自增了

即tmp[k]=a[p1],但是tmp和p1都加一，即数组往后移了一位