Swift中结构体是线程安全的，为何同为结构体的Array非线程安全？

核心误区：Swift结构体本身不具备线程安全性 #

很多人会误以为Swift结构体因值语义自带线程安全，这是错误的。值语义≠线程安全：值语义仅保证赋值、传递时会生成独立拷贝，避免多变量共享同一内存，但当多个线程同时访问同一个结构体变量（如全局变量、闭包捕获的变量）并修改时，依然会出现竞态条件，引发数据竞争甚至崩溃。

为什么Array作为结构体，并发修改会崩溃？ #

Array是Swift结构体，具备值语义，但它的底层存储基于堆上的缓冲区（类似引用类型的实现，用于优化内存与性能）。执行append这类修改操作时，实际是在修改底层堆内存中的数据。由于Array本身没有内置同步锁或线程安全机制，多线程同时修改同一个Array实例时，会直接竞争底层内存的访问权限，触发内存访问错误（比如你遇到的EXC_BAD_ACCESS）。

测试代码崩溃原因分析 #

你定义的MyStruct是结构体，其中的testArray为Array类型。多线程执行test.testArray.append(100)时，实际步骤是：

1. 读取当前test结构体的完整值；
2. 修改其内部testArray属性；
3. 将修改后的test结构体写回原变量。
   并发场景下这些步骤无同步机制，多线程的读、改、写操作交叉执行，导致原变量内存被非法覆盖，最终引发崩溃。

解决并发修改问题的几种方案 #

1. 串行队列同步访问 #

通过串行队列将所有修改操作序列化，确保同一时间仅一个线程执行修改：

var test = MyStruct()
let queue = DispatchQueue(label: "com.example.arrayQueue")

DispatchQueue.concurrentPerform(iterations: 500) { index in
    queue.sync {
        test.testArray.append(100)
    }
}

2. 锁机制保护访问 #

借助NSLock或os_unfair_lock手动加锁，避免并发竞争：

var test = MyStruct()
let lock = NSLock()

DispatchQueue.concurrentPerform(iterations: 500) { index in
    lock.lock()
    test.testArray.append(100)
    lock.unlock()
}

3. 使用Actor（Swift 5.5+） #

利用Swift Actor模型，将结构体的访问与修改封装在Actor中，Actor会自动保证线程安全：

actor SafeMyStruct {
    var testArray: [Int] = [1]
    
    func append(_ value: Int) {
        testArray.append(value)
    }
}

let safeTest = SafeMyStruct()
DispatchQueue.concurrentPerform(iterations: 500) { index in
    Task {
        await safeTest.append(100)
    }
}

内容的提问来源于stack exchange，提问作者陆李佳