一尘不染

为什么String类不可变,即使它具有一个称为“哈希”的非最终字段

java

我正在阅读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如何变得不可变?


阅读 175

收藏
2020-12-03

共1个答案

一尘不染

备注说明了为什么这不是最终的:

//缓存字符串的哈希码

这是一个缓存。如果您不拨打电话hashCode,则不会设置其值。它可能是在字符串创建期间设置的,但是对于您可能不需要的功能(哈希代码),这意味着更长的创建时间。另一方面,每次要求哈希值计算时都是浪费的,因为字符串是
不可变的 ,并且哈希码永远不会改变。

存在非最终字段的事实在一定程度上与您引用的定义矛盾,但是在这里它不是对象接口的一部分。这只是一个内部实现细节,它对字符串(作为字符容器)的可变性没有影响。

编辑-
由于受欢迎的需求,请回答我:尽管hash不是直接属于公共接口,但它可能会影响该接口的行为,并hashCode返回其值。现在,由于hashCode不同步,hash如果有多个线程同时使用该方法,则可以设置一次以上。然而,它被设置为的值hash始终是一个稳定的计算,其仅依赖于最终字段(的结果valueoffsetcount)。因此,每次对哈希的计算都会得出完全相同的结果。对于外部用户,这就像是hash一次计算-
就像每次计算一样,就像hashCode要求它始终为给定值返回相同的结果。最重要的hash是,即使不是最终结论,外部查看者也永远看不到它的可变性,因此该类可以被认为是不可变的。

2020-12-03