创建了几个对象的问题

 

由以下的问题引出了另外有关创建对象的问题：

String s = new String("xyz");创建了几个String Object? 

两个对象，一个是“xyx”,一个是指向“xyx”的引用对象s。 

 

以下这三道题出自于http://zangweiren.iteye.com/blog/209895?page=4#comments讨论，为了以后方便看，借用整理了一下：

 

 

/**
   字符串测试题1
   @author Eastsun
*/
public class StrTest1 {
    static String s1 ="Hello,";
    static String s2 ="World";
    
    public static void main(String[] args){
        String s3 = s1 + s2;
        String s4 ="Hello,World";
        System.out.println(s3==s4);
    }
}

/**
   字符串测试题2
   @author Eastsun
*/
public class StrTest2 {
    final static String s1 ="Hello,";
    final static String s2 ="World";
    
    public static void main(String[] args){
        String s3 = s1 + s2;
        String s4 ="Hello,World";
        System.out.println(s3==s4);
    }
}

/**
   字符串测试题3
   @author Eastsun
*/
public class StrTest3 {
    final static String s1;
    final static String s2;
    static {
        s1 ="Hello,";
        s2 ="World";
    }
    
    public static void main(String[] args){
        String s3 = s1 + s2;
        String s4 ="Hello,World";
        System.out.println(s3==s4);
    }
}

 

 

解答分析

第一题： 

s1和s2都是变量，因此它们通过“+”运算得出的s3的值在编译期无法确定，只能在运行时确定。因为在运算出s3的值之前，s1和s2的值都有可能被其他类的方法改变，因此s3是运行时新建的对象，和s4不是一个，因此输出false。 

 

第二题： 

s1和s2都是以确定的常量，因此s3的值在编译期已经确定，它只能是“Hello,World”，因此s3的定义等同于： 

String s3="Hello,World";  

故s3和s4是同一个对象，程序输出结果为true。 

 

第三题： 

s1和s2虽然被定义为常量（只能被赋值一次），但是它们都没有马上被赋值。在运算出s3的值之前，他们何时被赋值，以及被赋予什么样的值，都是个变数。因此s1和s2在被赋值之前，性质类似于一个变量。参照第一题的理论，输出结果应为false。

这个题目实际是有关堆和栈的问题。

有关堆和栈的问题以下是从别处摘来的一段：

JVM中的6个存储结构：

1.寄存器：最快的存储区, 由编译器根据需求进行分配,我们在程序中无法控制.

2. 栈：存放基本类型的变量数据和对象的引用，但对象本身不存放在栈中，而是存放在堆（new 出来的对象）或者常量池中（字符串常量对象存放在常量池中。）

3. 堆：存放所有new出来的对象。

4. 静态域：存放静态成员（static定义的）

5. 常量池：存放字符串常量和基本类型常量（public static final）。

6. 非RAM存储：硬盘等永久存储空间

这里我们主要关心栈，堆和常量池，对于栈和常量池中的对象可以共享，对于堆中的对象不可以共享。栈中的数据大小和生命周期是可以确定的，当没有引用指向数据时，这个数据就会消失。堆中的对象的由垃圾回收器负责回收，因此大小和生命周期不需要确定，具有很大的灵活性。

对于字符串：其对象的引用都是存储在栈中的，如果是编译期已经创建好(直接用双引号定义的)的就存储在常量池中，如果是运行期（new出来的）才能确定的就存储在堆中。对于equals相等的字符串，在常量池中永远只有一份，在堆中有多份。equals比较的是值是否相同，而==比较的是对象是否相同。

另外http://gao-20022002.iteye.com/blog/208788详细的介绍了堆和栈，可以参考参考。