关于hashcode 的一些问题

这几天用了很多Hashtable，以前用也没有发现问题，今天碰到一些意外，让我花了些时间去弄清楚一些基本的也是核心的概念
先举一个例子：
StringBuffer buffer = new StringBuffer();
buffer.append("some");
String a = buffer.toString();
String b = "some";
现在有三个式子，结果在后面用注释的形式标出：
a.equals(b);//true
a==b;//false
a.hashCode()==b.hashCode();//true
第一个式子太容易理解了，就不说了
第二个式子我想了一会儿，起初我认为，既然String都是放在堆中的字符串常量，那么显然的，既然a和b都是同样的字符串some，他们应当指向堆中的同一个常量才对，也就是说它们的reference应当相同。但我发现不是这样的，他们并不是指向同一个常量，至少==的结果是false。我没有找到相关的解释，那么a到底指向的是什么东西呢，可以肯定的是应该不是放在堆里面的字符串常量，或者就是堆里面允许有两个同样的字符串常量。但是对于第二种解释，为什么"ab"=="ab"却是true呢？看来只可能是第一种解释，也就是说不是所有的String都是放在堆中的常量。然而，查看StringBuffer的toString()源代码，返回的是一个new String()。这样结果是可以解释了，但是为什么堆中允许放两个不同的同一字面的字符串常量呢，不明白
第三个式子是偶然发现的，我本想把它们打出来看看到底是不是指向同一个东东，然后发现他们的hashCode居然是一样的，那只有一种解释，就是我原先的理解是错误的。我原以为hashCode是object的唯一标识，现在发现可能不是的，因为hashCode只要求相同的object有相同的hashCode，并没有要求不同的object有不同的hashCode，基本功没打好，吃了亏了。这就明显了，我查了String类中的hashCode()的源代码，被重构过了，现在只是一个映射函数而已，也就是说只要字面上相同，他们的hashCode就相同，而不管reference。或者说对于String而言，hashCode()和equals()的作用是相同的。那么仅剩下==能够用来判断两个String是否指向同一个对象而不论他们的字面是否一样
再一个是关于Hashtable，我看了它判断key是否相同的源代码，判断条件是：hashCode()相同 && 满足equals()。这两个方法都是可以重构的，所以Hashtable没有用==，给了程序员实现自己的Hashtable的好的途径，的确Sun想得很严密
小结一下，如果想判断是否两个对象引用指向同一个实体，唯一的正确途径是使用==，因为只有它不会被重构，要慎用hashCode