java - 除了 Javadoc 之外，JDK 类是否有任何进一步的规范？

Question

除了 Javadoc 之外，JDK 类是否有任何进一步的规范？如果有，在哪里？

例如，考虑Collections.unmodifiableMap。 Its Javadoc没有说任何关于线程安全的事情；因此，仅从 Javadoc 出发，我不能假设在不采取我自​​己的一些特殊步骤来获得线程安全的情况下将生成的映射公开给其他线程是安全的。但是恕我直言，任何现实的实现都会将内部映射存储在 final 字段中，因此在 Java 5 和更高版本中，只要内部映射是(“发生” -before”结果映射的任何访问与之前对内部映射的任何修改之间的关系)。例如，这就是 OpenJDK 实现所做的。

那么，我怎样才能确定我是否可以便携地假设给定的行为？

Answer 1

Javadoc 是规范。也就是说，编写好的规范非常困难，需要在不遗漏有用的东西和不过度使用(以及破坏 future 发展实现的能力)之间取得平衡。

如果我不得不猜测，我会说这被排除在规范之外的原因(除了可能的疏忽)是任何线程安全都是有条件的而不是基础集合(a)不被发布并且(b ) 在创建不可修改的 View 后不会被修改，这也必须仔细指定。