背景:学习辉哥总结的基础知识,从头来,直面短板。

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

要理解这个问题,首先需要搞清楚这些:

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

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的作用与区别及应当注意的细节 

最新文章

  1. 企业shell面试题:获取51CTO博客列表倒序排序考试题
  2. Application package 'AndroidManifest.xml' must have a minimum of 2 segments.
  3. jquery.base64.js简单使用
  4. c语言描述简单的线性表,获取元素,删除元素,
  5. 类名 对象名 =new 类名();
  6. 在WP8上搭建cocos2d-x开发环境
  7. DailyWallpaper - V1.01 released
  8. Vijos 1114 FBI树
  9. d3 之值域映射
  10. 第十二篇、高度自适应的textView
  11. 看大数据时代下的IT架构(1)业界消息队列对比
  12. Global.asax
  13. web进修之—Hibernate 继承映射(5)
  14. mysql体系结构和sql查询执行过程简析
  15. go test :Wrong test signature
  16. git自定义项目钩子和全局钩子
  17. day7 字符集转换
  18. HTML5 在canvas中绘制复杂形状
  19. Spring事务传播属性和隔离
  20. JavaEE笔记(九)

热门文章

  1. React.js 开发参见问题 Q&A
  2. Openstack部署踩坑
  3. 高级程序设计JavaScript
  4. 【ML】ICLR2016_Delving Deeper into Convolutional Networks
  5. <构建之法>13——17章的读后感
  6. git学习笔记——廖雪峰git教程
  7. 【论文笔记】Domain Adaptation via Transfer Component Analysis
  8. Maven2查看源码
  9. Java控制台常用命令
  10. html css類和css()