记一次 swift 运行时的大坑

这里每天分享一个 iOS 的新知识,快来关注我吧

前言

最近在开发的时候用到了参数化协议类型(parameterized protocol types),简单来说就是在协议上使用泛型,比如我们熟知的 Identifiable 协议:

swift 复制代码
@available(macOS 10.15, iOS 13.0, watchOS 6.0, tvOS 13.0, *)
public protocol Identifiable<ID> {
    associatedtype ID : Hashable
    var id: Self.ID { get }
}

其中 ID 就是这个协议的泛型,在 swift 5.7 中增加了 some 关键字来解决带泛型的协议作为函数参数时必须使用泛型的问题,这在之前的文章有讲到过。

any 和 some 关键字的区别

同时在 swift 5.7 开始也支持了对参数化协议类型的隐式转换,比如,现在可以直接通过 as? any Protocol<Type> 的方式来做转换,今天要讲的一个坑就是跟这个问题相关的。

问题复现

最简单的复现代码如下:

swift 复制代码
struct Thing: Identifiable {
    let id = "thing"
}

let thing: any Identifiable<String> = Thing()

_ = thing as? any Identifiable

以上代码可以正常编译,但是在 iOS 16 以下会发生崩溃,这就是我遇到的坑,明明可以编译通过,却在某些机器上崩溃。

正确的做法应该是把 as? 改成 _ = thing as? any Identifiable<String>,但这时候会看到 Xcode 报错:

arduino 复制代码
Runtime support for parameterized protocol types is only available in iOS 16.0.0 or newer

问题分析

我查了一些资料,这个问题最早在 Xcode 14 Beta 2 上,最早的报错提示是:

arduino 复制代码
Runtime support for parameterized protocol types is only available in iOS 99.0.0 or newer

这显然是一个不正确的提示,后来 Xcode 的开发人员在 Beta 3 将报错提示改成了 iOS 16.0.0 以上,并给出了一些解释,对参数化协议的运行时转换仅限于 iOS 16 以上,因为它需要运行时支持,否则不可用。

那为什么 _ = thing as? any Identifiable 会在 iOS 16 以下崩溃呢? 首先这种转换语法在 iOS 16 以下是合法的,因此编译时能正常通过,但是 iOS 16 以下的运行时并不支持转换 Identifiable<String> 这种类型,所以就直接 Crash 了。

解决方法

解决方法是尽量避免这种类型的转换,其实在日常的开发中很少遇到类似的需求,不过如果真的避不开,也可以通过 some 关键字来做一层中转,比如上边的代码,可以写成:

swift 复制代码
struct Thing: Identifiable {
    let id = "thing"
}

let thing: any Identifiable<String> = Thing()

var thing1: (any Identifiable)?
//        _ = thing as? any Identifiable<String>
test(thing)
// 改为 some
func test(_ p: some Identifiable) {
    thing1 = p
}
print(thing1)

这样在 iOS 15 上就不会崩了。前面的文章讲过,some 其实跟泛型一样,所以代码也可以这样写:

swift 复制代码
let thing: any Identifiable<String> = Thing()

var thing1: (any Identifiable)?
test(thing)
func test<T: Identifiable>(_ p: T) {
    thing1 = p
}
print(thing1)

这里每天分享一个 iOS 的新知识,快来关注我吧

本文同步自微信公众号 "iOS新知",每天准时分享一个新知识,这里只是同步,想要及时学到就来关注我吧!

相关推荐
kymjs张涛26 分钟前
零一开源|前沿技术周报 #7
android·前端·ios
思考着亮2 小时前
15-错误处理
ios
思考着亮3 小时前
9.方法
ios
思考着亮3 小时前
6.结构体和类
ios
思考着亮3 小时前
7.闭包
ios
咕噜签名分发冰淇淋5 小时前
申请注册苹果iOS企业级开发者证书需要公司拥有什么规模条件
macos·ios·cocoa
2501_9159184115 小时前
Fiddler中文版全面评测:功能亮点、使用场景与中文网资源整合指南
android·ios·小程序·https·uni-app·iphone·webview
不知名It水手17 小时前
uniapp运行项目到ios基座
ios·uni-app·cocoa
Digitally18 小时前
[5种方法] 如何将iPhone短信保存到电脑
ios·iphone
杂雾无尘20 小时前
Swift 5.9 新特性揭秘:非复制类型的安全与高效
ios·swift·apple