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 协议,遵守别的协议编译器会报错。

相关推荐
旷世奇才李先生18 小时前
Swift 安装使用教程
开发语言·ios·swift
Daniel_Coder1 天前
Xcode 中常用图片格式详解
ios·xcode·swift
帅次1 天前
Objective-C面向对象编程:类、对象、方法详解(保姆级教程)
flutter·macos·ios·objective-c·iphone·swift·safari
RyanGo2 天前
iOS断点下载
ios·swift
杂雾无尘2 天前
掌握生死时速:苹果应用加急审核全攻略!
ios·swift·apple
HarderCoder2 天前
Swift 6.2 中的 `@concurrent`
ios·swift
YungFan2 天前
iOS26适配指南之通知
ios·swift
大熊猫侯佩11 天前
消失的它:摆脱 SwiftUI 中“嵌入视图数量不能超过 10 个”限制的秘密
swiftui·swift·apple
大熊猫侯佩11 天前
Swift 抛砖引玉:从数组访问越界想到的“可抛出错误”属性
swift·apple
大熊猫侯佩11 天前
ruby、Python 以及 Swift 语言关于 “Finally” 实现的趣谈
python·ruby·swift