局部变量是线程安全的，原因是什么？

要理解原因，首先要清楚局部变量是什么？局部变量的存储方式是什么？

局部变量，从名字上就可以知道，它是只在特定作用域内可见并且只能在该作用域内使用的变量。也就意味着不同作用域的局部变量是不共享的。

在多线程环境下，局部变量是存储在线程栈上的，每个线程都有自己独立的线程栈。线程之间不会共享这些变量，因此局部变量是线程安全的。

但是也可能存在例外，比如引用类型（如指针、数组、对象等）的局部变量可能存在线程安全问题，因为多个线程可以同时访问同一个地址，导致数据竞争问题。

一、引言

• 局部变量是什么：局部变量是指在程序中定义的只在特定作用域内可见并且只能在该作用域内使用的变量。这些变量通常被定义在函数、代码块或循环体等限定作用域的区域内，其生命周期仅包括了该区域的执行时间段。当程序退出该作用域时，局部变量就会被销毁释放，不再占用内存空间。局部变量通常用于暂时保存和处理临时数据，有助于提高代码的可读性和安全性。
• 为什么需要考虑线程安全问题？在多线程环境下，多个线程可以同时访问共享的变量或资源。考虑线程安全问题可以避免数据竞争、死锁等问题的出现，保证程序的正确性和稳定性。

二、局部变量的存储方式

2.1、线程栈的概念

线程栈是指每个线程在运行时所使用的一块内存区域，用于保存线程的局部变量、函数参数、返回值以及程序计数器等信息。

每当一个线程被创建时，系统会为该线程分配一段内存作为线程栈，每个线程有自己独立的线程栈空间。线程栈具有“先进后出”的特点，也就是说，最后进入栈中的数据最先被取出来。

线程栈的大小通常是固定的，一般为几十到几百KB不等。如果线程栈中的数据过多，超过了其分配的内存空间，就会导致栈溢出的错误。

线程栈的管理由操作系统负责，在多线程编程中，我们可以通过设置线程栈的大小来控制线程的资源占用情况。

2.2、局部变量存储在线程栈上

局部变量是在函数内定义的变量，其存储空间分配在函数调用时所创建的栈帧中，也就是存储在线程栈上。每个线程都有自己的线程栈，它用于存储函数的参数、局部变量和返回地址等信息。当函数被调用时，该函数的参数和局部变量将被压入栈中，在函数返回时再从栈中弹出，这样就可以保证多个函数之间的数据不会相互干扰。

线程栈的大小通常是固定的，因为它必须在编译时确定。如果在运行时需要更多的栈空间，则必须使用递归或动态分配内存来实现。由于局部变量存储在线程栈上，所以它们的生命周期与函数的执行时间相同。当函数返回时，它们的值将被销毁，并且该空间将被释放，以便其他函数可以使用该空间。

因此，不要将指向局部变量的指针传递到其他线程中，否则会导致未定义的行为。

三、线程之间的局部变量不共享

• 不同线程访问自己的局部变量不会相互影响
• 局部变量在函数返回时被销毁，释放线程栈空间

线程之间的局部变量不共享，每个线程都有自己独立的栈空间和局部变量。因此，在一个线程中定义的局部变量只能被该线程访问和修改，其他线程无法访问和修改该变量。这也是线程安全的一种表现方式。如果多个线程需要共享数据，可以使用全局变量或者通过进程间通信来实现。

四、局部变量的线程安全性

局部变量的线程安全性取决于变量类型和变量的使用方式。一般来说，基本数据类型（如int、float等）和值类型（如struct、enum等）的局部变量是线程安全的，因为每个线程都有自己的栈空间，局部变量存储在栈中，不会被其他线程访问。而引用类型（如指针、数组、对象等）的局部变量可能存在线程安全问题，因为多个线程可以同时访问同一个地址，导致数据竞争问题。

总的来说：

• 因为线程之间不会共享局部变量，所以局部变量大体上是线程安全的。
• 多线程同时访问同一个引用类型的局部变量会出现线程竞争的情况，需要加锁保证线程安全。

五、总结

• 局部变量的线程安全性原因是因为每个线程都有自己独立的线程栈空间，不同线程之间不会共享局部变量。
• 需要注意多线程同时访问同一个引用类型的局部变量时可能出现的线程竞争问题，需要加锁保证线程安全。

作者：Lion Long
链接：https://www.zhihu.com/question/601406551/answer/3033562577
来源：知乎