首先看一段代码:
public void test1() {
String a = "a" + "b" + 1;
String b = "ab1";
System.out.println(a == b);
System.out.println(a.equals(b));
}
返回的结果为
Ture
Ture
要理解这个问题,需要了解以下内容:
- 关于==是做什么的?
- equals呢?
- a和b在内存中是怎样的?
- 编译时的优化方案。
关于“==”
在Java中,当==匹配时候,其实就是对比两个内存单元的内容是否一样。
- 如果是如下类型,则直接比较它们的值:
- byte
- boolean
- short
- char
- int
- long
- float
- double
- 如果是引用类型,则比较引用的值,即对象的逻辑地址。就是比较两个对象的地址值是否一样。
关于“equals()”
equals()方法是在Object类中被定义的,如果不去重写equals()方法,则默认是对比对象的地址。
String重写了equals()方法。
public boolean equals(Object anObject) {
if (this == anObject) {
return true;
}
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;
}
equals()的代码逻辑:
- 判断传入的对象和当前对象是否为同一对象,如果是就直接返回true。
- 判断传入的对象的类型是否为String,若不是,则返回false,如果null也不成立!
- 判断传入的String与当前String长度是否一致,若不一致则返回false。
- 循环对比两个字符串的char[]数组,逐个对比字符是否一致,若存在不一致的情况,则返回false。
- 循环结束没有找到不匹配的,则返回true.
a和b的内存情况是怎样的
回到代码,其中等号说明a和b是指向同一块内存空间的,就像两个人拿到同一公司的Offer一样。
编译时的优化
当编译器在编译代码:String a=”a”+”b”+1;时,会将其编译为:String a=”ab1”;为何?因为都是“常量”,编译器认为这3个常量叠加会得到固定的值,无需运行时再进行计算,所以会做此优化。
以下为几个例子:
public void test2() {
String a = "a";//a是局部变量,是可变的,不进行优化
final String c = "a";//c在运行时是不可变的,所以在编译时即可进行优化
String b = a + "b";
String d = c + "b";//编译时优化为“ab”
String e = getA() + "b";//getA()是一个递归,不清楚递归的深度,无法确定是否会变化,因此不进行优化。
String compare = "ab";
System.out.println(b == compare);//返回false
System.out.println(d == compare);//返回true
System.out.println(e == compare);//返回false
}
public String getA() {
return "a";
}
public void test3() {
String a = "a";
String b = a + "b";//a为局部变量,编译时不会进行优化
String c = "ab";
String d = new String(b);//new String()方法会创建新的对象,不同的地址
System.out.println(b == c);//返回false
System.out.println(c == d);//返回false
System.out.println(c == d.intern());//返回true
System.out.println(b.intern() == d.intern());//返回true
}
关于intern():当调用该方法时,JVM会在常量池中通过equals()方法查找是否存在等值的String,如果存在,则返回这个对象的地址,如果不存在,则创建等值的字符串,并返回新创建的地址。