Java String类的hashCode()函数

1 ==和equals()

==比较两个对象是否指向同一个内存地址。

equals()方法判断两个对象的值是否相等。

2 String.equals()

String类对equals()方法重写如下：

public boolean equals(Object anObject) {
if (this == anObject) {
return true;
}
if (anObject instanceof String) {
String anotherString = (String) anObject;
int n = value.length;
if (n == anotherString.value.length) {
char v1[] = value;
char v2[] = anotherString.value;
int i = 0;
while (n-- != 0) {
if (v1[i] != v2[i])
return false;
i++;
}
return true;
}
}
return false;
}

String、StringBuffer及StringBuilder是两两不equals()的。如果需要，使用contentEquals()。

3 String.hashCode()

判断对象值是否相等时，会先判断其hashCode是否相等。如果hashCode不相等，则equals()方法返回false；不然，再进行比较。

jvm默认hashCode不相等，则对象值也不相等。其逆反命题是：若对象值相等，则其hashCode也相等。

重写equals()时，必须也重写hashCode()。并且需要保证，值相等的对象，有相同的hashCode。

public int hashCode() {
int h = hash;
if (h == 0 && value.length > 0) {
char val[] = value;

for (int i = 0; i < value.length; i++) {
h = 31 * h + val[i];
}
hash = h;
}
return h;
}

hash值的计算方式大概是这个样子：

hash(k) = mix(k) mod m

String类中：

mix(k) = 31 * k

这里魔法数字选择31的原因是：

* 这里hash是int型，则有m = 2^p。这里魔法数字为2的倍数时，除String对象的最后一位，其他位的信息均不能hash到奇数桶中。也就是说，String对象最后一位的分布决定了哈希函数的分布。由此可推断，魔法数字不该与m有公约数。

* 素数可以使得散列的分布更加均匀。

* 乘以31计算简单，只需一次移位一次减法操作。

* 31是大于26的素数中，最小的。越小，溢出的可能性就越低。

这里1、3、4的含义是自现的，而2，目前还没有明确的证明。

个人觉得，只要是奇数，都是可行的。