通过反编译来了解String的生成

约定不等于承诺〃 2024-04-17 14:05 27阅读 0赞

我们知道创建一个字符串有2种方法：  
**1. String str = “abc”;**  
**2. String str1 = new String(“abc”);**  
**3. String str2 = “abc” + 字符串引用**

第一种是**在常量池中创建并返回引用**  
第二种是**调用了String的构造方法并返回引用**  
第三种是**调用了StringBuilder的方法拼接**

下面我们通过反编译来了解吧~

如何操作？cmd下:
    javac classname.java
    javap -verbose classname

或者

javap -c className //这个简洁一些

具体可以使用`javap --help`查看

--------------------

先上代码1

String str1 = "abc";
    String str2 = "bc" + "d";
    String str3 = "abc";

让我们反编译一波~

ta-da~  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy_size_16_color_FFFFFF_t_70]  
**ldc：从常量池中加载指定项的引用到栈。**  
**astore\_：将引用赋值给第n个局部变量**

让我们解读下该结果:

0: 加载常量池第2项到栈中  
2: 将引用赋值给第一个变量

3:将常量池第3项加载到栈中  
5:将应用渎职给第二个变量  
\*\*  
6:将常量池第2项加载到栈中  
8:将引用赋值给第3个变量

我们可以得出结论:**使用方式1生成内容相同的字符串时，它们指向的都是同一引用。**

--------------------

let’s see **代码2**

String str1 = "abc";
    String str2 = "ab";
    String str3 = str2 + "c";
    
    System.out.println(str1==str3);//false

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy_size_16_color_FFFFFF_t_70 1]  
**ldc：从常量池中加载指定项的引用到栈。**  
**astore\_：将引用赋值给第n个局部变量**  
**dup： 复制引用并压入栈中**  
**aload\_n：加载第n个参数的值**

0-5就不用说了，我们从第6行开始.

6:生成一个StringBulder对象  
9:复制6的引用并压入栈中  
10:调用常量池第5项，即int方法  
13:加载第二个参数的值(“ab”)  
14:调用StringBuilder对象的append方法  
17:加载常量池第7项到栈中  
19.调用StringBuilder对象的append方法  
22.调用StingBuilder的toString方法  
25.将引用赋值给第3个变量

用代码的形式来表示就是:  
**6-9: StringBuilder builder = new StringBuilder();**  
**13-22: builder.append(“ab”).append(“c”).toString();**  
**25: str3 = builder;**

So,我们可以得到:**当引用变量与字符串进行"+"操作时会先生成一个StringBuilder对象，然后调用append方法连接字符串，然后用toString方法转为String对象并返回引用。**

--------------------

**But**,当代码改为：

String str1 = "abc";
    final String str2 = "ab"; //多了一个final
    String str3 = str2 + "c"; // 相当于 "ab" +"c"
    
    System.out.println(str1==str3);//true

结果又不一样了哈？！  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy_size_16_color_FFFFFF_t_70 2]  
可以看到，str1与str3都指向同一个字符串。**原因就在于在编译期final修饰的字段直接进行了常量替换。**

tip:
    只要满足3个条件, final修饰的变量就不再是一个变量, 而相当于一个直接量
    (1) 使用final修饰
    (2) 使用final修饰时指定初始值
    (3) 该初始值在编译期就能确定

另:  
(1) **对于堆中的字符串对象，可以通过 intern() 方法来将字符串添加的常量池中，并返回指向该常量的引用**  
(2)**在JDK1.7后，常量池的位置发生了变化，intern方法在实现上发生了比较大的改变——>**  
[ 通过反编译深入理解Java String及intern][_Java String_intern]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20190827113759573.PNG?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20190827120900470.PNG?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NzZG5MZXJhbmVy_size_16_color_FFFFFF_t_70 2]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/17/2254325b54ea4122b18ae2d26eb44dbe.png
[_Java String_intern]: https://www.cnblogs.com/paddix/p/5326863.html