Swift中懒加载静态变量为何线程安全？其实现及是否用全局锁？

1. 懒加载静态变量为何具备线程安全特性？该特性是如何实现的？ #

Swift中的懒加载静态变量（包括类型的static let/static var懒加载属性、全局静态变量）天生自带线程安全特性，核心原因是编译器与运行时会自动为其初始化流程添加同步控制，确保变量只会被初始化一次，即便多线程同时访问也不会出现重复初始化、数据竞争等问题。

具体实现逻辑如下：

• 编译器会为每个懒加载静态变量生成一个专属的状态标记，用于记录变量是否已完成初始化。
• 当线程首次访问该变量时，会先检查这个状态标记：
  • 若未初始化，会进入原子性的锁保护逻辑，再次确认状态（避免多个线程同时触发初始化），随后执行初始化代码，完成后更新状态标记并释放锁。
  • 若已初始化，直接返回变量的内存地址，无需额外同步操作。

2. Swift如何实现懒加载静态变量分配/求值的线程安全？是否存在供所有静态变量访问调用的全局锁？ #

Swift并没有为所有静态变量使用单一全局锁，而是为每个懒加载静态变量分配独立的同步原语（如专属锁）。这种设计避免了全局锁带来的性能瓶颈——如果用全局锁，无关静态变量的初始化会互相阻塞；而独立锁只会让访问同一变量的线程同步，不同变量的初始化可以并行执行。

实际运行时会为每个需要懒加载的静态变量创建专属的同步结构（比如基于平台的pthread_mutex_t，或是更轻量的原子操作结合自旋锁，具体取决于Swift版本与运行平台），保证只有一个线程能执行该变量的初始化代码。初始化完成后，这个同步结构会被销毁或不再启用，后续访问直接走快速路径，不会产生锁开销。

内容的提问来源于stack exchange，提问作者Isaaс Weisberg