Swift 5.9 新特性：不可拷贝的结构体和枚举

前言

在 Swift 中，现存的所有类型都是可拷贝的。也就是说，任何类型的数据都可以创建多份值相同的数据。比如下面的代码：

csharp 复制代码

struct User {
    var name: String
}

var u1 = User(name: "jack")
var u2 = u1

代码中定义了一个 User 的结构体，接着创建了一个 name 值为 jack 的变量 u1。最后将 u1 的值拷贝给 u2。

在大多数情况下，这种可拷贝是没有问题的，并且这种设计可以避免数据错乱，修改 u2 的值并不会影响 u1，因为它俩数据是分别独立的。

但是当数据资源是唯一的时候，结构体和枚举的这种可复制的设计就不是很好了。与之对应的，类则是可以表示唯一的资源，因为对象在初始化后具有唯一标识，并且只复制对该唯一对象的引用。但是，由于对对象的引用仍然是可复制的，类总是要求共享资源的所有权。并且类的堆分配和引用计数机制也增加了系统的开销，共享访问也会是类的 API 更加复杂或带来额外的消耗。

在这种背景下，Swift 5.9 新推出了不可拷贝的结构体和枚举这项特性，通过 ~Copuable 来实现。

不可拷贝的结构体和枚举

当我们定义的结构体和枚举声明为不可拷贝时，这就意味着它们的值永远只有唯一一份所属权，且其永远无法被拷贝。因为不可拷贝的结构体和枚举的值是有唯一标识的，所以它们会跟类一样有析构函数：deinit。析构函数会在唯一实例的生命周期结束后自动调用。

如果我们想让上面的 User 不可拷贝，可以用下面的代码：

css 复制代码

struct User: ~Copyable {
    var name: String
}

创建 User 实例后，其不可复制的性质意味着它的使用方式与以前版本的 Swift 是有很大区别的。例如，下面的代码看起来可能没什么特别的：

scss 复制代码

func createUser() {
    let newUser = User(name: "Anonymous")

    var userCopy = newUser
    print(userCopy.name)
}

createUser()

但是我们已经将 User 结构体声明为不可复制的，那它是如何获取 newUser 的副本呢?答案是它不能。

将 newUser 分配给 userCopy 会导致原始的 newUser 值被消耗，也就是说 newUser 是不能再被使用，因为所有权现在属于 userCopy。如果你尝试将print(userCopy.name) 更改为 print(newUser.name)，你会看到 Swift 编译器会抛出一个编译错误，因为这是不被允许的。

Tips：当结构体被声明为不可拷贝的时候，它仅能遵守 Sendable 协议，遵守别的协议编译器会报错。