《Effective Java》将不可变类定义如下:
An immutable class is simply a class whose instances cannot be modified. All of the information contained in each instance is provided when it is created and is fixed for the lifetime of the object.
翻译过来就是:
不可变类只是其实例不能被修改的类,每个实例中包含的所有信息都必须在创建该实例的时候就提供,并在对象的整个生命周期内固定不变。
要创建不可变类,只要遵循下面几条规则:
不要提供任何会修改对象状态的方法。 保证类不会被拓展(一般声明为final即可)。 使所有的域都是 private final的。 确保对于任何可变组件的互斥访问(可以理解如果中存在可变对象的域,得确保客户端无法获得其引用,并且不要使用客户端提供的对象来初始化这样的域)。Java出于安全性等因素考虑将某些类如:String、基本类型的包装类、BigInteger、BigDecimal设计成为不可变类。
Java中的这些不可变类真的不能改变吗?我们不妨看下面的例子:
import java.lang.reflect.Field; public class ChangeDemo { public static void change(String str) { if (null == str) return; try { Field f = String.class.getDeclaredField("value"); f.setAccessible(true); char[] value_str = (char[]) f.get(str); value_str[0] = 'h'; } catch (Exception e) { e.printStackTrace(); } } public static void change(Integer num) { if (null == num) return; try { Field f = Integer.class.getDeclaredField("value"); f.setAccessible(true); int value = (int) f.get(num); f.set(num, value * 10); } catch (Exception e) { e.printStackTrace(); } } public static void main(String[] args) { String a = "cat"; System.out.println("before:a=" + a); change(a); System.out.println("after :a=" + a); Integer num = 12; System.out.println("before:num=" + num); change(num); System.out.println("after :num=" + num); } }输出:
before:a=cat after :a=hat before:num=12 after :num=120
我们看到String、Integer这些不可变类都被改变了。但是不推荐大家这么干,这样会带来极大的安全隐患。
例如:
import java.lang.reflect.Field; public class ChangeDemo { public static void change(String str) { if (null == str) return; try { Field f = String.class.getDeclaredField("value"); f.setAccessible(true); char[] value_str = (char[]) f.get(str); value_str[0] = 'h'; } catch (Exception e) { e.printStackTrace(); } } public static void main(String[] args) { String a = "cat"; String b = "cat"; System.out.println("before:a=" + a + ",b=" + b); change(a); System.out.println("after :a=" + a + ",b=" + b); } }运行结果如下:
before:a=cat,b=cat after :a=hat,b=hat
我们惊奇地发现虽然我们只希望改变a的值,但是b的值居然也被改变了。了解Java运行时内存结构的朋友应该知道,main方法中的a,b本身保存在main方法对应的栈帧的局部变量表中,它们是方法区常量池中"cat"的引用,change方法中的局部变量通过引用使用暴力反射改变了常量池中“cat”的内容,这直接导致了“cat”所有的引用的都带来了安全隐患。
当然,这个例子比较明显,那下面的例子您能够看出问题吗?
import java.lang.reflect.Field; public class UnsafeChangeDemo { public static void main(String[] args) throws Exception { Integer a = 1; Integer b = 2; System.out.println("before:a = " + a + ", b = " + b); swap(a, b); System.out.println(" after :a = " + a + ", b = " + b); } public static void swap(Integer a, Integer b) throws Exception { Field valueField = Integer.class.getDeclaredField("value"); valueField.setAccessible(true); int aValue = (int) valueField.get(a); int bValue = (int) valueField.get(b); valueField.set(a, bValue); valueField.set(b, aValue); } }咋一看,这很简单啊,不过就是通过暴力反射修交换Integer的值而言啊,真的这么简单吗?请看运行结果
before:a = 1, b = 2 after :a = 2, b = 2
嗯?有没有搞错,怎么交换后a,b全部变成2了?问题在哪里? 我们来分析一下: 我们都知道,JDK1.5后提供了自动装拆箱的功能,其中Integer的自动装箱是通过调用Integer.valueOf(int)方法来实现的,我们不妨看一下源码:
public static Integer valueOf(int i) { assert IntegerCache.high >= 127; if (i >= IntegerCache.low && i <= IntegerCache.high) return IntegerCache.cache[i + (-IntegerCache.low)];//即为 IntegerCache.cache[i + 128 ]; return new Integer(i); }在swap方法中,先通过Field的 get(Object)方法获取了a,b的值,然后通set(Object,Object)方法交叉赋值以达到交换a,b的目的。 但是set方法的参数是两个Object,所以这里将会触发自动装箱,了解Integer的朋友都知道(如果不清楚可以参考博主的博客Java基本数据类型及其封装器的一些千丝万缕的纠葛 )Integer内部默认提供了一个缓存数组static final Integer cache[256];来缓存-128~127的Integer对象。所以swap方法其中语句其实是这样的:
public static void swap(Integer a, Integer b) throws Exception { Field valueField = Integer.class.getDeclaredField("value"); valueField.setAccessible(true); int aValue = (int) valueField.get(a);//1 int bValue = (int) valueField.get(b);//2 // 自动装箱 valueField.set(a, Integer.valueOf(2) ); //即 valueField.set(a, IntegerCache.cache[130] ); valueField.set(a, bValue); // 自动装箱 valueField.set(b, Integer.valueOf(1)); //即valueField.set(b, IntegerCache.cache[129] ); valueField.set(b, aValue); }调用valueField.set(a, bValue);方法,将2赋给了a,由于a是IntegerCache.cache[129]的一个引用,所以实际上是将2赋值给了IntegerCache.cache[129]。因此经过这个方法调用后,a由1变成了2,同时,IntegerCache.cache[129]也由1变成了2 !! 在调用valueField.set(b, aValue)时,本希望将1赋给b,但由于自动装箱,其实上是将IntegerCache.cache[129] 的值赋值给b,然而IntegerCache.cache[129] 的值已经由1变成了2,所以,b仍然等于2!!!交换失败!! 好吧,一图胜千言,程序的运行时内存结构图如下:
完整的解析如下:
public static void main(String[] args) throws Exception { Integer a = 1;// 自动装箱 Integer.valueOf(1); //即 IntegerCache.cache[129] Integer b = 2;// 自动装箱 Integer.valueOf(2); //即 IntegerCache.cache[130] swap(a, b); System.out.println(a + "," + b); } public static void swap(Integer a, Integer b) throws Exception { Field valueField = Integer.class.getDeclaredField("value"); valueField.setAccessible(true); int aValue = (int) valueField.get(a);//1 int bValue = (int) valueField.get(b);//2 // 自动装箱 valueField.set(a, Integer.valueOf(2) ); // 即 valueField.set(a, IntegerCache.cache[130]); valueField.set(a, bValue); //a 的值被修改为 2 实际上是 IntegerCache.cache[129]的值被修改为 2 // 再次自动装箱 valueField.set(b, Integer.valueOf(1)); // 即valueField.set(b, IntegerCache.cache[129] ); valueField.set(b, aValue); //注意,这里的 IntegerCache.cache[129] 已经被修改为 2了!! //所以 valueField.set(b, aValue); 相当于是 valueField.set(b, new Integer(2)); //所以最后a,b都为2!! }我的天,是不是感觉很绕呢?所以不到万不得已,一定不要通过暴力反射来修改不可变类的状态!!