该true行实际上是由语言规范保证的。从5.1.7节开始：
如果要装箱的值p为true，false，一个字节，\ u0000到\ u007f范围内的char或-128和127之间的int或short数字，则令r1和r2为任何两次装箱转换的结果的p。r1 == r2总是这样。
讨论继续进行，这表明尽管保证了第二行的输出，但第一行却没有保证（请参见下面引用的最后一段）：
理想情况下，将给定的原始值p装箱将始终产生相同的参考。实际上，使用现有的实现技术可能不可行。以上规则是一种务实的妥协。上面的最后一个子句要求始终将某些通用值装在无法区分的对象中。该实现可以懒惰地或急切地缓存它们。
对于其他值，此公式不允许对程序员方面的带框值的身份进行任何假设。这将允许（但不要求）共享部分或全部这些引用。
这样可以确保在最常见的情况下，这种行为将是理想的行为，而不会造成不必要的性能损失，尤其是在小型设备上。例如，较少内存限制的实现可能会缓存所有字符和短裤以及-32K-+ 32K范围内的整数和长整数。
602392714
清零编程群