转载请注明出处: jiq•钦's technical Blog - 季义钦
String的不可变性
Java规定String是不可变的(immutable),其实这个不可变具备两层含义:
1 内容不可变
任何看起来修改它们的操作,实际上都是重新new出一个对象。
String s = new String("111");
String newS = s;
newS = "dsfsd";
System.out.println(s); //111
如果不能做到内容不可变,在两个引用同时指向一个内存的时候,修改其中一个也会影响到另外一个。
2 实现方式不可变
使用String类型变量时,其不能表现出其它行为,这就是为什么String类需要用final关键字来进行修饰的原因,设想一下String不用final修饰,则其可以被继承并重写方法:
/**
* 模拟非final的String
* @author jiyiqin
*
*/
class MyString{
public char value[] = new char[10];
MyStringtoLowerCase(MyString s)
{
System.out.println("将s转换为小写,但不改变原有s");
char newValue[] = new char[s.value.length];
for(int i = 0; i < s.value.length; i++)
newValue[i]= LowerUtils.Lower(s.value[i]);
MyStringnewString = newMyString();
newString.value = newValue;
return newString;
}
}
/**
* 继承MyString,将其toLowerCase重写
* @author jiyiqin
*
*/
class OverrideString extends MyString{
MyStringtoLowerCase(MyString s)
{
System.out.println("直接修改传递进来的s的内存,将s转换为小写");
for(int i = 0; i < s.value.length; i++)
s.value[i] = LowerUtils.Lower(s.value[i]);
return s;
}
}
public classFinalStringTest {
/**
* 测试函数,java设计String是不可变的
* 所以必须将String修饰为final,否则其
* 一旦被继承,类似下面这种调用时,若传递
* 进来的参数是其被继承的子类,调用的就是
* 被重写的方法,这个重写的方法可能会破坏
* String的不可变特性。
* @param s
* @return
*/
static MyStringLowerCusString(MyString s)//多态
{
return s.toLowerCase(s);
}
public static void main(String[] args) {
OverrideStringss = newOverrideString();
LowerCusString(ss);//传入重写后的字符串类
LowerUtils.testFinalClass();
}
}
可以看到LowerCusString方法想要的是MyString对象,但是其子类可以传递进来使用,调用之后发现传递进来的对象s的内容被修改了,表现出和父类不同的行为!!!
同样地,应用程序可以编写新的String类,修改hasCode方法,让内容相同的String对象返回的hashCode不同,这样HashMap在使用String类型变量作为Key的时候,发现相同内容的Key竟然哈希到不同的位置。
除了实现方法不可修改这个原因,将String修饰为final还有一个好处就是效率。
String其他特性
除了上面讲的不可变性,String还其具备以下特性:
特性1:编译时和运行时区别
u 编译时能确定的String对象都放入常量池
u 运行时才能确定或者new出的String对象都放入堆
特性2:hasCode唯一性
两个内容相同的String对象hashCode返回值一定相同
下面通过一个例子总结一下这两个特性:
final String tmp = "ji"; //常量池、编译时确定
String tmp2 = "ji"; //常量池、编译时确定
String s1 = "jiyiqin"; //常量池、编译时确定
String s2 = "jiyiqin"; //常量池、编译时确定
String s3 = "ji" + "yiqin"; //常量池、编译时确定
String s4 = tmp + "yiqin"; //常量池、编译时确定(final一旦初始化就不可变)
String s5 = tmp2 + "yiqin";//堆、运行时确定
String s6 = new String("jiyiqin");//堆、运行时确定
System.out.println(s1.hashCode());
System.out.println(s2.hashCode());
System.out.println(s3.hashCode());
System.out.println(s4.hashCode());
System.out.println(s5.hashCode());
System.out.println(s6.hashCode()); //全部相同
System.out.println(s1 == s2); //true,指向常量池中相同内存
System.out.println(s1 == s3); //true,指向常量池中相同内存
System.out.println(s1 == s4); //true,指向常量池中相同内存
System.out.println(s1 == s5); //false,一个指向堆一个指向常量池
System.out.println(s1 == s6); //false,一个指向堆一个指向常量池
System.out.println(s5 == s6); //false,指向堆中不同内存区域
Double、Long、Integer
对于String的不可变性(包括内容不可变和实现方式不可变),以及hashCode唯一性,Double、Long、Integer也是一样的。不同的是它们没有运行时和编译时的区别,都是在堆上分配内存。