首先,String是final修饰的、immutable对象,它以一个个字符的方式存储在字符数组中。
其次,String类型创建对象有两种方式:①通过字面量赋值:会先去常量池中查找是否存在相同的字符串,若存在,栈中引用直接指定该字符串;若不存在,在常量池中进行缓存,再将栈中引用指向它。②通过new关键字:每次new出来的都是一个新的对象,在堆中开辟空间进行存储。
又因为,在JDK1.7的HotSpot中,已经把原本放在永久代的字符串常量池移出,JDK8元空间彻底取代永久代,此时字符串常量池还在堆,所以String变量是以字符数组的形式储在堆。
证明,str1和str2,指向的是同一个字符数组:
String str1="ab"; String str2=new String("ab"); Field field=str2.getClass().getDeclaredField("value"); field.setAccessible(true); char[] sum=(char[]) field.get(str2); sum[0]='w'; System.out.println(str1);//wb System.out.println(str2);//wb
test直接演示String对象的创建位置:
package test.string.equal; public class Main { /** * 创建了三个对象,"helloworld对象创建在常量池中",每次new String()都会创建一个对象在堆内存中。 */ void test() {
String s1="helloworld"; String s2= new String("helloworld"); String s3= new String("helloworld"); } /** * 程序只创建一个字符串对象“Java”,存放在常量池中,所以s1==s2 为true */ void test1(){ String s1="Java"; String s2="Java"; System.out.println(s1==s2); } /** 第一个new String("Java"):创建了两个对象,Java创建于常量池中,String对象创建于堆内存中。 * 第二个new String("Java"):由于常量池中有Java对象,所以只需创建一个对象,String对象创建于堆内存中。 * s1与s2分别指向String对象堆内存,所以s1==s2 为false */ void test2() { String s1=new String("Java"); String s2= new String("Java"); System.out.println(s1==s2); } /** 常量的值在编译的时候就确定了,"hello"、"world"都是常量,因此s2的值在编译的时候也确定了, * s2指向常量池中的"hello world",所以s1==s2为true * */ void test3() { String s1="hello world"; String s2="hello "+"world"; System.out.println(s1==s2); } /** s4由两个String变量相加得到,不能再编译时就确定下来,不能直接引用常量池中的"helloworld"对象,而是在堆内存中创建一个新的String对象并由s4指向 * 所以s1==s4为false * */ void test4() { String s1="helloworld"; String s2="hello"; String s3="world"; String s4=s2+s3; System.out.println(s1==s4); } /** s2与s3被final修饰为宏变量,不可更改,编译器在程序使用该变量的地方直接使用该变量的值进行替代,所以s4的值在编译的时候就为"helloworld" * 指向常量池中的"helloworld"对象 * 所以s1==s4为true * */ void test5() { String s1="helloworld"; final String s2="hello"; final String s3="world"; String s4=s2+s3; System.out.println(s1==s4); } public static void main(String[] args) { Main o = new Main(); o.test1(); o.test2(); o.test3(); o.test4(); o.test5(); } }