为什么差分数组和原数组可以一一对应，且和首值大小无关？