[Java知识库]局部变量是否线程安全

了解过JVM的都知道，堆和方法区（JDK1.8后叫元空间）是线程共享的

虚拟机栈、程序计数器（PC寄存器）和本地方法栈是线程私有的

虚拟机栈里面存的是一个一个的栈帧，这里的栈帧你也可以理解为此时正在运行的方法，如果此方法调用其他方法的话，在虚拟机栈中就形成了一个个栈帧堆叠的形态，相信读到这里你已经对虚拟机栈的样子有了感觉

接着，我们讨论栈帧（方法

栈帧有五个部分组成

• 局部

• 变量表

• 操作数栈

• 动态链接【方法的符号引用，在这里我们可以讨论虚方法（在运行时确定方法，把符号引用转为直接引用）和非虚方法（在编译时确定方法，把符号引用转为直接引用）】这里有很多可以讨论的，静态链接和动态链接，虚方法表等

• 方法返回地址（PC寄存器中的值）

• 其他
  在这里讲栈帧的组成只是为了给不熟悉的同学涨涨知识或者给大家复习一波。

接着，我们回到题目

你会发现方法区中定义的局部变量不就是存在于局部变量表中嘛，而局部变量表有存在于栈帧，栈帧存在于虚拟机栈，那它不就是线程私有的，也就是安全的嘛！

其实，这里面有些坑，看完下面这四个例子我相信你会恍然大悟！

//s1的声明方式是线程安全的
public static void method1(){
    //StringBuffer:线程不安全的
    StringBuffer s1 = new StringBuffer();
    s1.append("A");
    s1.append("B");
    ...
}

解释：
这个例子是线程安全的，s1为局部变量，返回值为void，只能被当前线程操作，是线程安全的。
注意：这里返回值为空（void）
注意：把StringBudiler作为参数传进去

//先说结论，这个是线程不安全的
//StringBuilder是线程不安全的
public static void method2(StringBuiler sBuilder){
    sBuilder.append("A");
    sBuilder.append("B");
    ...
}

//我们在main操作一下
public static void main(String[] args){
    StringBuilder s = new StringBuilder();
    
    new Thread(()->{
      s.append("a");
      s.append("b");
    }).start();
    
    method2(s);    
    
}

//它们会抢s的资源，是线程不安全的
//严格的来说sBuilder不是方法内的局部变量，它是形参的局部变量，形参也会存在局部变量表中
这次不传参数，而是返回

//结论：不是线程安全的(有可能存在问题)
public static StringBuilder method3(){
    StringBuilder s1 = new StringBuilder();
    s1.append("A");
    s1.append("B");
    ...
    return s1;
}

//引用类型和基本类型不用多说了把
//基本类型包括：byte,short,int,long,char,float,double,Boolean，
//引用类型包括：类类型，接口类型和数组。
//因为StringBuilder是类，一返回出去可能被其他位置上的多个线程所调用

返回String，String有点特殊，因为它具有不变性，看源码是String被final声明

//结论：线程安全的
public static String method4(){
    StringBuilder s1 = new StringBuilder();
    s1.append("A");
    s1.append("B");
    ...
    return s1.toString();
}  

2和3发生了逃逸，作用域不止在方法内部了

1和4未发生逃逸，是安全的

我们要明确一个概念：创建对象不一定在堆空间上创建，还可以在栈上创建

总结：method1和4是安全的，2和3是不安全，所以这道题方法中定义的局部变量不一定线程安全，要看具体使用。

作者：YAOPRINCESS
链接：https://www.jianshu.com/p/585fea60f309
来源：简书
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
https://www.jianshu.com/p/585fea60f309