首先JAVA提供的自动装箱和拆箱功能是语法糖的一种(Syntactic Sugar)。语法糖是Peter J.Landin发明的一个术语——对语言本身的功能并没有影响,只是更方便程序员使用,是一个提高编程效率的“小把戏”。
Integer x = 3;// 这句代码实际是下面的形式
Integer x = Integer.valueOf(3);
随之而来的就是可能出现的bug:
public static void main(String[] args)
{
Integer a = 200;
Integer b = 200;
Integer c = 400;
Long d = 400L;
System.out.println(a == b);// false print1
System.out.println(c == (a + b));// true print2
System.out.println(c.equals(a + b));// true print3
System.out.println(d == (a + b));// true print4
System.out.println(d.equals(a + b));// false print5
System.out.println(d.equals((long)(a + b)));// true print6
}
注意a、b、c、d都是对象,而不是基本值类型!先看print1,为什么这里会打印false?这里比较的是a和b两个对象之间的引用是否相等,而不是判断这两个Integer对象所携带的int值是否相等(在这里JAVA不会自动拆箱)。所以如果要判定这两个Integer对象值是否相等,必须使用equals()方法进行判断。不过有个例外的地方,如果这里给a和b赋的值是在-128和127之间(包含边界),那么这里会打印true而不是false——JAVA会将值-128到127之间的Integer放到常量池中,所以实际a引用和b引用指向的是同一个对象,所以会打印true。
再看print2,为什么这里就会打印true呢?首先右端是一个算术表达式,JAVA在遇到算术表达式的时候就会对包装类Integer拆箱,这里比较的是值,所以能达到我们的意图,会打印true。print3是调用的包装类上的equals()方法判定是否相等,在当前代码下和print2是等价的。
然后看print4,和print2同理。接着看print5为什么这里调用equals()不能达到和print3同样的效果呢?而为什么在print6中,将(a+b)强制转换成long类型就能打印出true呢?借用Linus Benedict Torvalds的一句话“Talk is cheap, show me the code!”,让我们看看JAVA源代码:
/**
* Compares this object to the specified object. The result is
* {@code true} if and only if the argument is not
* {@code null} and is a {@code Long} object that
* contains the same {@code long} value as this object.
*
* @param obj the object to compare with.
* @return {@code true} if the objects are the same;
* {@code false} otherwise.
*/
public boolean equals(Object obj) {
if (obj instanceof Long) {
return value == ((Long)obj).longValue();
}
return false;
}
这是包装类Long的equals()方法。看源代码我们就知道原因所在了,首先a+b会被拆箱计算成一个int值(即a和b的和)x,这个x(int类型的)传递给Long.equals()方法,而equals()方法接受的参数是一个Object对象,这里JAVA会根据x的基本值类型执行对应的装箱操作(int-->Integer,long-->Long)。所以equals()接收的实际是一个Integer对象。方法内部首先就会判断这个对象的类型:如果是Long类型对象才判断这两个对象携带的long值是否相等,否则直接返回false。这就是为什么print5会打印false,而print6会打印true((long)(a + b)强之转换之后,JAVA会将和装箱为Long对象)。这就说明了JAVA的包装类在使用equals()方法判断的时候并不会像基本值类型那样会处理数据类型转换。其实这也是容易理解的——我们要明确包装类是一种语法糖而不是真正的值类型,包装类首先是一个对象,它携带了对应基本值类型的值而已。所以说自动装箱和拆箱功能是一柄双刃剑——虽然语法糖给我们编写代码带来了很多便利,但是我们不能滥用这样的语法糖,语法糖也会蒙蔽我们的双眼,这些“小把戏”会隐藏真实的世界。
在我们享受自动装箱和拆箱带来的便利的同时,我们应当注意它会带来的一些潜在问题。总之,且行且珍惜吧。
Integer x = 3;// 这句代码实际是下面的形式
Integer x = Integer.valueOf(3);
随之而来的就是可能出现的bug:
public static void main(String[] args)
{
Integer a = 200;
Integer b = 200;
Integer c = 400;
Long d = 400L;
System.out.println(a == b);// false print1
System.out.println(c == (a + b));// true print2
System.out.println(c.equals(a + b));// true print3
System.out.println(d == (a + b));// true print4
System.out.println(d.equals(a + b));// false print5
System.out.println(d.equals((long)(a + b)));// true print6
}
注意a、b、c、d都是对象,而不是基本值类型!先看print1,为什么这里会打印false?这里比较的是a和b两个对象之间的引用是否相等,而不是判断这两个Integer对象所携带的int值是否相等(在这里JAVA不会自动拆箱)。所以如果要判定这两个Integer对象值是否相等,必须使用equals()方法进行判断。不过有个例外的地方,如果这里给a和b赋的值是在-128和127之间(包含边界),那么这里会打印true而不是false——JAVA会将值-128到127之间的Integer放到常量池中,所以实际a引用和b引用指向的是同一个对象,所以会打印true。
再看print2,为什么这里就会打印true呢?首先右端是一个算术表达式,JAVA在遇到算术表达式的时候就会对包装类Integer拆箱,这里比较的是值,所以能达到我们的意图,会打印true。print3是调用的包装类上的equals()方法判定是否相等,在当前代码下和print2是等价的。
然后看print4,和print2同理。接着看print5为什么这里调用equals()不能达到和print3同样的效果呢?而为什么在print6中,将(a+b)强制转换成long类型就能打印出true呢?借用Linus Benedict Torvalds的一句话“Talk is cheap, show me the code!”,让我们看看JAVA源代码:
/**
* Compares this object to the specified object. The result is
* {@code true} if and only if the argument is not
* {@code null} and is a {@code Long} object that
* contains the same {@code long} value as this object.
*
* @param obj the object to compare with.
* @return {@code true} if the objects are the same;
* {@code false} otherwise.
*/
public boolean equals(Object obj) {
if (obj instanceof Long) {
return value == ((Long)obj).longValue();
}
return false;
}
这是包装类Long的equals()方法。看源代码我们就知道原因所在了,首先a+b会被拆箱计算成一个int值(即a和b的和)x,这个x(int类型的)传递给Long.equals()方法,而equals()方法接受的参数是一个Object对象,这里JAVA会根据x的基本值类型执行对应的装箱操作(int-->Integer,long-->Long)。所以equals()接收的实际是一个Integer对象。方法内部首先就会判断这个对象的类型:如果是Long类型对象才判断这两个对象携带的long值是否相等,否则直接返回false。这就是为什么print5会打印false,而print6会打印true((long)(a + b)强之转换之后,JAVA会将和装箱为Long对象)。这就说明了JAVA的包装类在使用equals()方法判断的时候并不会像基本值类型那样会处理数据类型转换。其实这也是容易理解的——我们要明确包装类是一种语法糖而不是真正的值类型,包装类首先是一个对象,它携带了对应基本值类型的值而已。所以说自动装箱和拆箱功能是一柄双刃剑——虽然语法糖给我们编写代码带来了很多便利,但是我们不能滥用这样的语法糖,语法糖也会蒙蔽我们的双眼,这些“小把戏”会隐藏真实的世界。
在我们享受自动装箱和拆箱带来的便利的同时,我们应当注意它会带来的一些潜在问题。总之,且行且珍惜吧。