我正在阅读Joshua Bloch撰写的Effective Java项目15 。在第15项中,谈到“最小化可变性”时,他提到了使对象不可变的五个规则。其中之一是使所有字段最终确定。这是规则:
将所有字段都设为最终字段 :这可以通过系统强制地表达您的意图。同样,如果对新创建实例的引用从一个线程传递到另一个线程而没有同步,则必须确保正确的行为,如在内存模型中阐明的那样[JLS,17.5; Goetz06 16]。
我知道String类是不可变类的一个示例。通过源代码,我看到它实际上有一个不是final的哈希实例。
//Cache the hash code for the string private int hash; // Default to 0
那么String如何变得不可变?
备注说明了为什么这不是最终的:
//缓存字符串的哈希码
这是一个缓存。如果您不拨打电话hashCode,则不会设置其值。它可能是在字符串创建期间设置的,但是对于您可能不需要的功能(哈希代码),这意味着更长的创建时间。另一方面,每次要求哈希值计算时都是浪费的,因为字符串是 不可变的 ,并且哈希码永远不会改变。
hashCode
存在非最终字段的事实在一定程度上与您引用的定义矛盾,但是在这里它不是对象接口的一部分。这只是一个内部实现细节,它对字符串(作为字符容器)的可变性没有影响。
编辑- 由于受欢迎的需求,请回答我:尽管hash不是直接属于公共接口,但它可能会影响该接口的行为,并hashCode返回其值。现在,由于hashCode不同步,hash如果有多个线程同时使用该方法,则可以设置一次以上。然而,它被设置为的值hash始终是一个稳定的计算,其仅依赖于最终字段(的结果value,offset和count)。因此,每次对哈希的计算都会得出完全相同的结果。对于外部用户,这就像是hash一次计算- 就像每次计算一样,就像hashCode要求它始终为给定值返回相同的结果。最重要的hash是,即使不是最终结论,外部查看者也永远看不到它的可变性,因此该类可以被认为是不可变的。
hash
value
offset
count