首先逆序对的存在形式由三种: 都在左边、都在右边、一左一右
根据归并排序的性质,在不断的拆分后,可以使得三种形式都归结为一左一右式。 那么为什么是mid - i + 1呢? 因为当遍历到右边某个数n时,i之前的数必定比n小,必然不会形成逆序对,而mid到j之间的数也小于n,自然也不会形成逆序对,只有i到mid之间的数大于n,会形成逆序对,而这部分的长度即为mid - i + 1。 更直观的表示形式如下图: