对于按升序实现的稳定插入排序，移动元素的条件通常应为 a[j] >= key，这样能够保证相等元素的相对顺序不变。 while (j >= 0 && a[j] >= key) { a[j + 1] = a[j]; j--; }