Swift的写时复制线程安全吗？

问题描述

通过定义使数组或字典成为值类型，但是只有在对其引用进行修改时才真正复制它，这是一个不错的主意，但是这使我在多队列/线程上下文中保持警惕。我需要知道：

Swift的写时复制功能是线程安全的吗？例如：如果我在一个队列上创建一个数组并将其传递给另一个队列，那么在另一个队列正在读取或修改它的同时，修改其中一个队列是否安全？既然按照定义，复制是在将数组引用传递到第二个队列时完成的，那么我们可以假设Swift工程师做了正确的事情并以队列安全的方式实现了写时复制吗？

我发现了对此的旧讨论，这似乎是权威的，但双向的！ https://developer.apple.com/forums/thread/53488

一些可信的声音说它是线程安全的，其他人则说不是。我想这可能是因为在某些早期的Swift版本中不是，而在Swift 5中则是。这里有人肯定知道Swift 5吗？

以下是一些示例代码来说明此问题：

func func1()
{
    var strings1: [String] = ["A","B","C"]
    var strings2: [String] = strings1   // array not actually copied
    queue.async()
    {
        strings2.append("D")
    }

    print(strings1[0])    // is this reference thread-safe?
    strings1.append("E")  // is this modification thread-safe?
}

解决方法

好吧，由于没有来自Apple / Swift Inc的人在答复，所以我会冒险尝试一下：

我想象一下，当您迅速拥有一个Array值时，它就是对NSArray或NSMutableArray的引用。（是的，我知道这仅适用于类对象，但让我们在这里保持简单。）无需为您的Array值分配新值，就可以通过简单的方法使低层引用引用不同的NS对象。对其进行操作，例如附加或修剪。基础NS对象还附加了一个引用计数。

修改数组时，Swift要做的第一件事是检查Swift引用是否是基础NS对象的唯一引用。如果是这样，则在必要时将NSArray转换为NSMutableArray并进行修改。如果不是，则将NSArray复制到NSMutableArray中，进行修改，并更改较低级别的Swift引用以指向新的NS对象。

如果这确实是写时复制遵循的过程，并且我们可以假定引用计数机制和保留/释放系统是线程安全的，那么我想说写时复制是线程安全的。如上所述，即使另一个线程进行了修改，由于它正在修改IT部门刚刚制作的副本，因此它根本不应该更改原始数组。

如果您确定我写的任何内容不正确，或者您知道与该问题有关的其他信息，请在此处共享。这个问题太重要了，不能保持其“应该工作”状态。：-）

copy-on-write multithreading multithreading swift swift swift swift