基本上，我刚刚阅读了阵列的javadoc：https://docs.oracle.com/javase/8/docs/api/java/util/Arrays.html
它说：
此课程中包含的方法的文档包括 简要描述了实现。这样的描述应该是 被视为实施说明，而不是部分 规格。实施者应该随意替换其他人 算法，只要遵守规范本身。 （对于 例如，sort（Object []）使用的算法不必是a MergeSort，但它确实必须稳定。）
基本上它说这个doc只是实现说明。但它提到实施无论如何应该遵守规范。特别是，阵列的排序应该是稳定的。所以我很好奇，他们正在谈论的是什么规范（是JLS吗？）以及在哪里说数组的排序应该是稳定的还是与之相关的？