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

相关推荐
Keya20 小时前
lipo 命令行指南
ios·xcode·swift
zhangmeng20 小时前
SwiftUI中如何实现子视图向父视图传递数据?
ios·swiftui·swift
Saafo20 小时前
迁移至 Swift Actors
ios·swift
杂雾无尘2 天前
告别构建错误, iOS 开发架构难题全面解析, 避免 CPU 架构陷阱
ios·swift·客户端
大熊猫侯佩2 天前
探秘 WWDC 25 全新 #Playground 宏:提升 Swift 开发效率的超级神器
xcode·swift·wwdc
移动端小伙伴3 天前
10.推送的扩展能力 — 打造安全的通知体验
swift
移动端小伙伴3 天前
推送的扩展能力 — 打造个性化的通知体验
swift
移动端小伙伴3 天前
远程推送(Remote Push Notification)
swift
移动端小伙伴3 天前
本地通知的精准控制三角:时间、位置、情境
swift
移动端小伙伴3 天前
本地通知内容深度解析 — 打造丰富的通知体验
swift