文档章节

java编译器对string常量表达式的处理和优化

stefanzhlg
 stefanzhlg
发布于 2015/03/17 13:43
字数 1080
阅读 100
收藏 5

首先把问题摆出来,先看这个代码 

String a = "ab"; 
String b = "a" + "b"; 
System.out.println((a == b));

打印结果会是什么?类似这样的问题,有人考过我,我也拿来考过别人(蛮好玩的,大家也可以拿来问人玩),一般答案会是以下几种: 

1.true 
    "a" + "b" 的结果就是"ab",这样a,b都是"ab"了,内容一样所以"相等",结果true 
    一般java新人如是答。 

2.false 

    "a" + "a"会生成新的对象"aa",但是这个对象和String a = "ab";不同,(a == b)是比较对象引用,因此不相等,结果false ,对java的String有一定了解的通常这样回答。 

3.true 
    String a = "ab";创建了新的对象"ab"; 再执行String b = "a" + "b";结果b="ab",这里没有创建新的对象,而是从JVM字符串常量池中获取之前已经存在的"ab"对象。因此a,b具有对同一个string对象 的引用,两个引用相等,结果true. 
    能回答出这个答案的,基本已经是高手了,对java中的string机制比较了解。 
    很遗憾,这个答案,是不够准确的。或者说,根本没有运行时计算b = "a" + "b";这个操作.实际上运行时只有String b = "ab"; 
    3的观点适合解释以下情况: 

    String a = "ab"; 
    String b = "ab"; 
    System.out.println((a == b));

    如果String b = "a" + "b";是在运行期执行,则3的观点是无法解释的。运行期的两个string相加,会产生新的对象的。(本文后面对此有解释) 

4.true 
    下面是我的回答:编译优化+ 3的处理方式 = 最后的true 

    String b = "a" + "b";//编译器将这个"a" + "b"作为常量表达式,在编译时进行优化,直接取结果"ab",这样这个问题退化 
    String a = "ab"; 
    String b = "ab"; 
    System.out.println((a == b));

    然后根据3的解释,得到结果true 
    这里有一个疑问就是String不是基本类型,像 

    int secondsOfDay = 24 * 60 * 60;

    这样的表达式是常量表达式,编译器在编译时直接计算容易理解,而"a" + "b" 这样的表达式,string是对象不是基本类型,编译器会把它当成常量表达式来优化吗? 
    下面简单证明我的推断,首先编译这个类: 

public class Test { 
    private String a = "aa"; 
}

       复制class文件备用,然后修改为 

public class Test { 
    private String a = "a" + "a"; 
}

    再次编译,用ue之类的文本编辑器打开,察看二进制内容,可以发现,两个class文件完全一致,连一个字节都不差. 
    ok,真相大白了.根本不存在运行期的处理String b = "a" + "b";这样的代码的问题,编译时就直接优化掉了。 

下面进一步探讨,什么样的string + 表达式会被编译器当成常量表达式? 
String b = "a" + "b"; 
这个String + String被正式是ok的,那么string + 基本类型呢? 

String a = "a1"; 
String b = "a" + 1;	
System.out.println((a == b));  //result = true 

String a = "atrue"; 
String b = "a" + true; 
System.out.println((a == b));  //result = true 

String a = "a3.4"; 
String b = "a" + 3.4; 
System.out.println((a == b));  //result = true

可见编译器对string + 基本类型是当成常量表达式直接求值来优化的。 
再注意看这里的string都是"**"这样的,我们换成变量来试试: 

String a = "ab"; 
String bb = "b"; 
String b = "a" + bb; 
System.out.println((a == b));   //result = false

这个好理解,"a" + bb中的bb是变量,不能进行优化。这里很很好的解释了为什么3的观点不正确,如果String+String的操作是在运行时进行的,则会产生新的对象,而不是直接从jvm的string池中获取。 
再修改一下,把bb作为常量变量: 

String a = "ab"; 
final String bb = "b"; 
String b = "a" + bb; 
System.out.println((a == b));   //result = true

竟然又是true,编译器的优化好厉害啊,呵呵,考虑下面这种情况: 

String a = "ab"; 
final String bb = getBB(); 
String b = "a" + bb; 
System.out.println((a == b));    //result = false 
private static String getBB() { 
return "b"; 
}

看来java(包括编译器和jvm)对string的优化,真的是到了极点了,string这个所谓的"对象",完全不可以看成一般的对象,java对string的处理近乎于基本类型,最大限度的优化了几乎能优化的地方。


© 著作权归作者所有

共有 人打赏支持
stefanzhlg

stefanzhlg

粉丝 63
博文 110
码字总数 85559
作品 4
浦东
程序员
加载中

评论(1)

深入理解JVM内幕:从基本结构到Java 7新特

摘要:许多没有深入理解JVM的开发者也开发出了很多非常好的应用和类库。不过,如果你更加理解JVM的话,你就会更加理解Java,这样你会有助于你处理类似于我们前面的案例中的问题。 每个Java开...

开源中国驻成都办事处
2012/12/06
0
1
jvm内存-方法区,String常量池

方法区 线程共享。 当JVM使用类装载器装载某个类时,首先获取class文件,提取该文件的内容信息,将这些信息存储到方法区,最后返回一个class实例。方法区用于存储已经被虚拟机加载的类信息(...

sun_tantan
07/21
0
0
一起学Java7新功能扩展——深入历险分享(一)

特此声明:因网友疑问,这里声明一个重要的安全,就是大家所知的java惊现0day漏洞!8月30日,Oralce紧急发布了新版本的JDK和JRE,原因是发现了一个严重的0day漏洞CVE-2012-4681,远程攻击者可...

Beyond-Bit
2012/09/03
0
26
Effective Java 第三版——42.lambda表达式优于匿名类

Tips 《Effective Java, Third Edition》一书英文版已经出版,这本书的第二版想必很多人都读过,号称Java四大名著之一,不过第二版2009年出版,到现在已经将近8年的时间,但随着Java 6,7,8...

M104
05/16
0
0
Java深度理解——Java字节代码的操纵

导读:Java作为业界应用最为广泛的语言之一,深得众多软件厂商和开发者的推崇,更是被包括Oracle在内的众多JCP成员积极地推动发展。但是对于 Java语言的深度理解和运用,毕竟是很少会有人涉及...

刘学炜
2012/01/13
0
0

没有更多内容

加载失败,请刷新页面

加载更多

原型模式

1、原型模式-定义 用原型实例指定创建对象的种类,并且通过拷贝这些原型创建新的对象 克隆(浅度克隆->拷贝值类型或者引用,深度克隆->创建新的对象,开辟新的内存) 例如客户端知道抽象Pro...

阿元
今天
6
0
awk命令扩展使用操作

awk 中使用外部shell变量 示例1 [root@centos01 t1022]# A=888[root@centos01 t1022]# echo "" | awk -v GET_A=$A '{print GET_A}'888[root@centos01 t1022]# echo "aaaaaaaaaaaaa" | aw......

野雪球
今天
11
0
深入解析MySQL视图VIEW

Q:什么是视图?视图是干什么用的? A:视图(view)是一种虚拟存在的表,是一个逻辑表,本身并不包含数据。作为一个select语句保存在数据字典中的。   通过视图,可以展现基表的部分数据;...

IT--小哥
今天
17
0
虚拟机学习之二:垃圾收集器和内存分配策略

1.对象是否可回收 1.1引用计数算法 引用计数算法:给对象中添加一个引用计数器,每当有一个地方引用它时,计数器值就加1;当引用失效时,计数器值就减1;任何时候计数器值为0的对象就是不可能...

贾峰uk
今天
11
0
smart-doc功能使用介绍

smart-doc从8月份底开始开源发布到目前为止已经迭代了几个版本。在这里非常感谢那些敢于用smart-doc去做尝试并积极提出建议的社区用户。因此决定在本博客中重要说明下smart-doc的功能,包括使...

上官胡闹
昨天
21
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部