String知多少——Java特种兵上的例子

package tezhongbing;

import org.junit.Assert;

import org.junit.Test;

/**

* 编译器优化一定是在编译阶段能确定优化后不会影响整体功能，类似于final引用，这个引用只能被赋值一次，但是它无法确定赋值的内容是什么。

* 只有在编译阶段能确定这个final引用赋值的内容，编译器才有可能进行编译时优化，

* 而在编译阶段能确定的内容只能来自于常量池中，例如int、long、String等常量，

* 也就是不包含new String()、new Integer()这样的操作，因为这是运行时决定的，

* 也不包含方法的返回值。因为运行时它可能返回不同的值，带着这个基本思想，对于编译时的优化理解就基本不会出错了。

* @author sunniwell

*

*/

public class StringTest {

/**

* a虽然是由三个常量值+起来的，但它的值仍然是确定的、可预测的，所以虚拟机在编译阶段就进行了优化a=ab1

*/

@Test

public void test1(){

String a = "a"+"b"+1;

String b = "ab1";

Assert.assertTrue(a == b);

}

private String getA(){return "a";}

/**

* 变量b是由变量a和常量"b"+起来的，虽然变量a指向的是个常量"a"，但它的引用还是可能发生改变，所以变量b的表达式不能被优化为一个常量。

* 变量c因为有了final修饰符，编译器就认为它是不可变的，所以d的值就是可预测的，因此会对d进行优化。

* 变量e是由一个函数和常量+起来的，编译器并不会去看函数内部做了什么，所以也不会被优化。

*/

@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";

Assert.assertFalse(b==compare);

Assert.assertTrue(d==compare);

Assert.assertFalse(e==compare);

}

/**

* 常量池在java用于保存在编译期已确定的，已编译的class文件中的一份数据。

* 它包括了关于类，方法，接口等中的常量，也包括字符串常量，是JVM的一块特殊的内存空间。

* 它里面的常量是全局唯一的。

* 当调用intern()方法时，JVM会在常量池中通过equals方法查找是否存在等值的String。

*

*/

@Test

public void test3(){

String a = "a";

String b = a+"b";

String c = "ab";

String d = new String(b);

Assert.assertFalse(b==c);

Assert.assertFalse(c==d);

Assert.assertTrue(c==d.intern());

Assert.assertTrue(b.intern()==d.intern());

}

}