1 问题引入及分析

请看下面的代码清单1

@Test
    public void test01() {
        String a = "a" + "b" + 1;  
        String b = "ab1";  
        System.out.println(a == b);
    }

上述这段代码来源自谢宇编著的书籍《Java特种兵》上册。

代码清单1中的输出是

true

这是个考察Java基本功的问题，类似的问题还有很多，如清单2：

public static String getA() { return "a"; }  
    
    @Test
    public void test2(){  
        String a = "a";  
        final String c = "a";  
          
        String b = a + "b";  
        String d = c + "b";  
        String e = getA() + "b";  
          
        String compare = "ab";  
        System.out.println(b == compare);  
        System.out.println(d == compare);  
        System.out.println(e == compare);  
    }

结果：

false
true
false

要理解这个问题，首先需要搞清楚这些：

关于“==”是做什么的？
a和b在内存中是什么样的？
编译时的优化方案

1.1 关于“==”

“==”是用于匹配内存单元上的内容，在Java语言中，当使用“==”匹配时，其实就是对比两个内存单元的内容是否一样。

如果是原始类型byte、boolean、short、char、int、long、float、double，就是直接比较它们的值。

如果是引用（Reference），比较的就是引用的值，“引用的值”可以被认为是对象的逻辑地址。

如果两个引用发生“==”操作，就是比较相应的两个对象的地址值是否一样。
换一句话说，如果两个引用所保存的对象是同一个对象，则返回true，否则返回false。如果a、b两个引用都指向null，则也是返回true。

1.2 编译时的优化

在代码清单1中，a引用是通过“+”赋值的，b引用是通过直接赋值的，那么为什么a和b两个引用会指向同一个内存单元？这就是JVM的“编译时优化”。
当编译器在编译代码 String a = "a" + "b" + 1 时，会将其编译成 String a = "ab1" ，因为都是“常量”，编译器认为这3个常量叠加会得到固定的值，无需运行时再进行计算，所以就会这样优化。

类似的还有 int i = 2 * 3 + 1，并不是在实际运行时再计算i的值，而是在编译时直接变成了i=7。

而在代码清单2中，b与compare比较时，由于compare是个常量，而b不是常量，原因是b = a + "b"，a并不是一个常量，a中的值可以修改，因此编译器不会进行优化。
变量c有一个final修饰符，从定义上约束了c是不允许改变的，因此编译器会进行优化。
变量e的值来自一个方法，虽然方法内返回一个常量的引用，但是编译器并不会去看方法内部做了什么，所以编译器不会进行优化。

常量时会进行“编译时优化”

1.3 关于“equals()”

首先来看看Object中的equals()方法的实现：

public boolean equals(Object obj)  
{  
     //调用equal的对象的地址和参数对象的地址是否相等  
     return (this == obj);  
}

从源码中可以看出，Object类中equals()方法是使用“==”来匹配的，也就是说，如果不去重写equals()方法，那么默认的equals()操作就是对比对象的地址。

equals()方法的存在就是希望子类去重写这个方法的，而在String类中，就重写了equals()方法：

public boolean equals(Object anObject) {  
        // 如果是同一个对象  
        if (this == anObject) {  
            return true;  
        }  
        // 如果传递进来的参数是String类的实例  
        if (anObject instanceof String) {  
            String anotherString = (String) anObject;  
            int n = count;// 字符串长度  
            if (n == anotherString.count) // 如果长度相等就进行比较  
            {  
                char v1[] = value;// 取每一个位置的字符  
                char v2[] = anotherString.value;  
                int i = offset;  
                int j = anotherString.offset;  
                while (n-- != 0) // 对于每一位置逐一比较  
                {  
                    if (v1[i++] != v2[j++])  
                        return false;  
                }  
                return true;  
            }  
        }  
        return false;  
    }

在JDK 1.6中，String.equals()的代码逻辑大致是这样的：

1. 判定传入的对象和当前对象是否为同一个对象，如果是就直接返回true；

2. 判定传入的对象类型是否为String，若不是则返回false；

3. 判定传入的String与当前String的长度是否一致，如不一致就返回false；

4. 循环对比两个字符串的char[]数组，逐个比较字符是否一致，如果不一致就直接返回false；

5. 循环结束都没有找到不匹配的，最后返回true。

覆写equals时的相关准则

自反性：对于任何非空引用值 x，x.equals(x) 都应返回 true。

对称性：对于任何非空引用值 x 和 y，当且仅当 y.equals(x) 返回 true 时，x.equals(y) 才应返回 true。

传递性：对于任何非空引用值 x、y 和 z，如果 x.equals(y) 返回 true，并且 y.equals(z) 返回 true，那么 x.equals(z) 应返回 true。

一致性：对于任何非空引用值 x 和 y，多次调用 x.equals(y) 始终返回 true 或始终返回 false，前提是对象上 equals 比较中所用的信息没有被修改。

非空性：对于任何非空引用值 x，x.equals(null) 都应返回 false

参考：面试官爱问的equals与hashCode

2 先前的总结

java中的数据类型，可分为两类： 
1.基本数据类型，也称原始数据类型。byte,short,char,int,long,float,double,boolean 
  他们之间的比较，应用双等号（==）,比较的是他们的值。 
2.复合数据类型(类) 
  当他们用（==）进行比较的时候，比较的是他们在内存中的存放地址，所以，除非是同一个new出来的对象，他们的比较后的结果为true，否则比较后结果为false。
 JAVA当中所有的类都是继承于Object这个基类的，在Object中的基类中定义了一个equals的方法，这个方法的初始行为是比较对象的内存地 址，但在一些类库当中这个方法被覆盖掉了，如String,Integer,Date在这些类当中equals有其自身的实现，而不再是比较类在堆内存中的存放地址了。

（注意这里说的，String类本身在实现equals()方法时候就覆盖了自身的equals，文章的末尾有其源码的实现）
  对于复合数据类型之间进行equals比较，在没有覆写equals方法的情况下，他们之间的比较还是基于他们在内存中的存放位置的地址值的，因为Object的equals方法也是用双等号（==）进行比较的，所以比较后的结果跟双等号（==）的结果相同。（对于普通的类还是按照这个标准的）

public class TestString {
      public static void main(String[] args) {
          String s1 = "Monday";
          String s2 = "Monday";
          if (s1 == s2) {  
            System.out.println("s1 == s2");
          }else {
            System.out.println("s1 != s2");
          }
     }
}

编译并运行程序，输出：

s1 == s2

说明：s1 与 s2 引用同一个 String 对象 -- "Monday"!
2.再稍微改动一下程序，会有更奇怪的发现：

@Test
    public void test04(){
        String s1 = "Monday";
        String s2 = new String("Monday");
        
        if (s1 == s2) {
            System.out.println("s1 == s2");
        }else {
            System.out.println("s1 != s2");
        }
        
        if (s1.equals(s2)) {
            System.out.println("s1 equals s2");
        } else {
            System.out.println("s1 not equals s2");
        }
    }

输出：

s1 != s2
s1 equals s2

说明s1 和s2 分别引用的是两个不同的对象。但是由于String 类覆写了equals(),所以实际比较的是字符串的内容。

3. 字符串缓冲池（这个概念可以参考认识java中的堆和栈）
原来，程序在运行的时候会创建一个字符串缓冲池。当使用 s2 = "Monday" 这样的表达是创建字符串的时候，程序首先会在这个String缓冲池中寻找相同值的对象，在第一个程序中，s1先被放到了池中，所以在s2被创建的时候，程序找到了具有相同值的 s1，将s2引用s1所引用的对象"Monday"

第二段程序中，使用了 new 操作符，他明白的告诉程序："我要一个新的！不要旧的！"于是一个新的"Monday"Sting对象被创建在内存中。他们的值相同，但是位置不同，一个在池中游泳一个在岸边休息。哎呀，真是资源浪费，明明是一样的非要分开做什么呢？（这就是为啥==不一致的原因，如果不是string类型重写equals的话，这个两个对象的equals结果也会不等）

4.再次更改程序：

@Test
    public void test05(){
        String s1 = "Monday";
        String s2 = new String("Monday");
        s2 = s2.intern(); //intern()方法操作过程
        
        if (s1 == s2) {
            System.out.println("s1 == s2");
        }else {
            System.out.println("s1 != s2");
        }
        
        if (s1.equals(s2)) {
            System.out.println("s1 equals s2");
        } else {
            System.out.println("s1 not equals s2");
        }
    }

s1 == s2
s1 equals s2

原来，（java.lang.String的intern()方法"abc".intern()方法的返回值还是字符串"abc"，表面上看起来好像这个方法没什么用处。但实际上，它做了个小动作：检查字符串池里是否存在"abc"这么一个字符串，如果存在，就返回池里的字符串；如果不存在，该方法会把"abc"添加到字符串池中，然后再返回它的引用。）

hashcode和equals之间的关系

（转）从一道面试题彻底搞懂hashCode与equals的作用与区别及应当注意的细节