Java 常量池理解与总结(转摘)

最新推荐文章于 2021-02-25 22:48:26 发布

_吹雪_

最新推荐文章于 2021-02-25 22:48:26 发布

阅读量343

点赞数

分类专栏： JDK

本文链接：https://blog.csdn.net/John8169/article/details/60464415

版权

JDK 专栏收录该内容

16 篇文章 0 订阅

订阅专栏

1.相关概念

1.1 什么是常量

用final修饰的成员变量表示常量，值一旦给定就无法改变！

final修饰的变量有三种：静态变量、实例变量和局部变量，分别表示三种类型的常量。

1.2 Class文件中的常量池

在Class文件结构中，最头的4个字节用于存储魔数Magic Number，用于确定一个文件是否能被JVM接受，再接着4个字节用于存储版本号，前2个字节存储次版本号，后2个存储主版本号，再接着是用于存放常量的常量池，由于常量的数量是不固定的，所以常量池的入口放置一个U2类型的数据(constant_pool_count)存储常量池容量计数值。

常量池(constant pool)专门用于管理在编译时被确定并被保存在已编译的.class文件中的一些数据，它包括关于类、方法、接口中的常量，还包括字符串常量。

常量池主要用于存放两大类常量：字面量(Literal)和符号引用量(Symbolic References)，字面量相当于Java语言层面常量的概念，如文本字符串，声明为final的常量值等，符号引用则属于编译原理方面的概念，包括了如下三种类型的常量：类和接口的全限定名、字段名称和描述符、方法名称和描述符。

1.3 方法区中的运行时常量池

运行时常量池是方法区的一部分。

class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池，用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。

运行时常量池相对于class文件常量池的另外一个重要特征是具备动态性，Java语言并不要求常量一定只有编译期才能产生，也就是并非预置入class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可能将新的常量放入池中，这种特性被开发人员利用比较多的就是String类的intern()方法。

我们可以得出三个非常重要的结论：

必须要关注编译期的行为，才能更好的理解常量池。

运行时常量池中的常量，基本来源于各个class文件中的常量池。

程序运行时，除非手动向常量池中添加常量(比如调用intern方法)，否则jvm不会自动添加常量到常量池。

1.4 常量池的好处

常量池是为了避免频繁的创建和销毁对象而影响系统性能，其实现了对象的共享。

例如字符串常量池，在编译阶段就把所有的字符串文字放到一个常量池中。

a.节省内存空间：常量池中所有相同的字符串常量被合并，只占用一个空间。

b.节省运行时间：比较字符串时，==比equals()快。对于两个引用变量，只用==判断引用是否相等，也就可以判断实际值是否相等。

1.5 双等号==的含义

Java 程序中测试两个变量是否相等有两种方式：一种是利用==预算符，另一种是利用 equals 方法。

当使用==来判断两个变量是否相等时，如果两个变量是基本类型变量，且都是数值类型（不一定要求数据类型严格相同），则只要两个两边的值相等，就将返回 true(65、65.0f和‘A’相等)。即基本数据类型之间应用双等号，比较的是他们的数值。

但对于两个引用类型变量，它们必须指向同一个对象时，==判断才会返回 true。==不可用于比较类型上没有父子关系的两个对象。

复合数据类型(类)之间应用双等号，比较的是他们在内存中的存放地址。

2. 8种基本类型的包装类和常量池

2.1 java中基本类型的包装类的大部分都实现了常量池技术，

即Byte,Short,Integer,Long,Character,Boolean；

Integer i1 = 40;
Integer i2 = 40;
System.out.println(i1==i2);//输出TRUE

这5种包装类默认创建了数值[-128，127]的相应类型的缓存数据，但是超出此范围仍然会去创建新的对象。

//Integer 缓存代码 ：
public static Integer valueOf(int i) {
     assert IntegerCache.high >= 127;
     if (i >= IntegerCache.low && i <= IntegerCache.high)
         return IntegerCache.cache[i + (-IntegerCache.low)];
     return new Integer(i);
 }
Integer i1 = 400;
Integer i2 = 400;
System.out.println(i1==i2);//输出false

2.2 两种浮点数类型的包装类Float,Double并没有实现常量池技术。

Double i1=1.2;
Double i2=1.2;
System.out.println(i1==i2);//输出false

2.3 应用常量池的场景

a. Integer i1=40；Java在编译的时候会直接将代码封装成Integer i1=Integer.valueOf(40);，从而使用常量池中的对象。

b. Integer i1 = new Integer(40);这种情况下会创建新的对象。

Integer i1 = 40;
Integer i2 = new Integer(40);
System.out.println(i1==i2);//输出false 注意与2.1比较

2.4 Integer比较更丰富的一个例子

Integer i1 = 40;
Integer i2 = 40;
Integer i3 = 0;
Integer i4 = new Integer(40);
Integer i5 = new Integer(40);
Integer i6 = new Integer(0);

System.out.println("i1=i2 " + (i1 == i2));
System.out.println("i1=i2+i3 " + (i1 == i2 + i3));
System.out.println("i1=i4 " + (i1 == i4));
System.out.println("i4=i5 " + (i4 == i5));
System.out.println("i4=i5+i6 " + (i4 == i5 + i6));
System.out.println("40=i5+i6 " + (40 == i5 + i6));

i1=i2 true
i1=i2+i3 true
i1=i4 false
i4=i5 false
i4=i5+i6 true
40=i5+i6 true

解释：语句i4 == i5 + i6，因为+这个操作符不适用于Integer对象，首先i5和i6进行自动拆箱操作，进行数值相加，即i4 == 40。然后Integer对象无法与数值进行直接比较，所以i4自动拆箱转为int值40，最终这条语句转为40 == 40进行数值比较。

3. String类和常量池

3.1 String对象创建方式

String str1 = "abcd";
String str2 = new String("abcd");
System.out.println(str1==str2);//false

这两种不同的创建方法是有差别的，第一种方式是在常量池中拿对象，第二种方式是直接在堆内存空间创建一个新的对象。

只要使用new方法，便需要创建新的对象。

3.2 连接表达式 +

a. 只有使用引号包含文本的方式创建的String对象之间使用“+”连接产生的新对象才会被加入字符串池中。

b. 对于所有包含new方式新建对象（包括null）的“+”连接表达式，它所产生的新对象都不会被加入字符串池中。

也即对String类型情况如下：编译时确定的数据在常量池中，运行时生成的数据在堆内存中。

case 1:

String str1 = "str";
String str2 = "ing";

String str3 = "str" + "ing";
String str4 = str1 + str2;
System.out.println(str3 == str4);//false

String str5 = "string";
System.out.println(str3 == str5);//true

case 2:

public class StringCompareTest {
  public static void main(String[] args) {
    //s1 直接引用常量池中的"疯狂Java"
    String s1 = "疯狂Java";
    String s2 = "疯狂";
    String s3 = "Java";
    //s4后面的字符串值可以在编译时期确定下来
    //s4直接引用常量池中的"疯狂Java"
    String s4 = "疯狂" + "Java";
    //s5后面的字符串值可以在编译时期确定下来
    //s5直接引用常量池中的"疯狂Java"
    String s5 = "疯" + "狂" + "Java";
    //s6后面的字符串值不能在编译时期确定下来
    //s6不能引用常量池中的"疯狂Java"
    String s6 = s2 + s3;
    //使用new 调用构造器将会创建一个新的 String 对象
    //s7引用堆内存中新创建的 String 对象
    String s7 = new String("疯狂Java");
    //输出 true
    System.out.println(s1 == s4);
    //输出 true
    System.out.println(s1 == s5);
    //输出 false
    System.out.println(s1 == s6);
    //暑促 false
    System.out.println(s1 == s7);
  }
}

特例1

public static final String A = "ab"; // 常量A
public static final String B = "cd"; // 常量B
public static void main(String[] args) {
  String s = A + B;  // 将两个常量用+连接对s进行初始化 
  String t = "abcd";   
  if (s == t) {   
      System.out.println("s等于t，它们是同一个对象");   
  } else {   
      System.out.println("s不等于t，它们不是同一个对象");   
  }   
}

s等于t，它们是同一个对象

A和B都是常量，值是固定的，因此s的值也是固定的，它在类被编译时就已经确定了。也就是说：String s=A+B; 等同于：String s="ab"+"cd";

特例2

public static final String A; // 常量A
public static final String B;    // 常量B
static {   
  A = "ab";   
  B = "cd";   
}   
public static void main(String[] args) {   
    // 将两个常量用+连接对s进行初始化   
    String s = A + B;   
    String t = "abcd";   
    if (s == t) {   
        System.out.println("s等于t，它们是同一个对象");   
    } else {   
        System.out.println("s不等于t，它们不是同一个对象");   
    }   
}

s不等于t，它们不是同一个对象

A和B虽然被定义为常量，但是它们都没有马上被赋值。在运算出s的值之前，他们何时被赋值，以及被赋予什么样的值，都是个变数。因此A和B在被赋值之前，性质类似于一个变量。那么s就不能在编译期被确定，而只能在运行时被创建了。

2.3 String s1 = new String("hello"); 创建了几个对象？

当 Java 程序直接使用形如“hello”的字符串直接量（包括刻可以在编译时就计算出来的字符串值）时，JVM将会使用常量池来管理这些字符串；当使用 new String("hello")时，JVM 会先使用常量池来管理 “hello” 直接量，再调用 String 类的构造器来创建一个新的 String 对象，新创建的 String 对象被保存在堆内存中。

换句话说， new String("hello")一共产生了两个对象。

参考：

http://www.jianshu.com/p/c7f47de2ee80

http://www.cnblogs.com/iyangyuan/p/4631696.html

_吹雪_

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
Java 常量池理解与总结(转摘)

1.相关概念 1.1 什么是常量用final修饰的成员变量表示常量，值一旦给定就无法改变！final修饰的变量有三种：静态变量、实例变量和局部变量，分别表示三种类型的常量。 1.2 Class文件中的常量池在Class文件结构中，最头的4个字节用于存储魔数Magic Number，用于确定一个文件是否能被JVM接受，再接着4个字节用于存储版本号，前2个字节存储次版本号，...
复制链接

扫一扫