目录
什么是Opaque Types
Opaque Types 是在 Swift5.7 新添加的一个特性。主要是和 Protocol 来搭配使用,用来定义函数中的参数类型。它的作用就是隐藏参数的具体类型,从而使代码变得更加通用,减少冗余代码。废话不多说,下面来看一看它如何使用。
如何使用
假设我们有一个定义动物行为的 Protocol Behavior,有两个动物类 Cat 和 Dog 遵守了该协议:
protocol Behavior {
func run()
}
struct Cat: Behavior {
func run() {
print("Cat run")
}
}
struct Dog: Behavior {
func run() {
print("Dog run")
}
}
如果我们想测试一下 run 的功能,可以通过使用 Opaque Types 来定义函数的参数,从而使测试函数可以接受 Cat 和 Dog 的实例对象:
func testRun(animal: some Behavior) {
animal.run()
}
let cat = Cat()
let dog = Dog()
testRun(animal: cat) // Cat run
testRun(animal: dog) // Dog run
从上述代码可以看到,animal 的类型为 some Behavior。通过 some 关键字声明的类型就是所谓的 Opaque Types,some Behavior 的意思就是任何遵守了 Behavior 的类的实例对象。
看到这里,可能有的读者就会发现这个不是什么新奇的特性啊,这不就相当于泛型嘛?有这种想法的读者稍安勿躁,下面就来讲一下为什么要使用 Opaque Types。
为什么要使用
可读性更强
首先,下面的三个函数从语法层级上来说都是等价的:
func testRun(animal: some Behavior) {
animal.run()
}
func testRun1<A: Behavior>(animal: A) {
animal.run()
}
func testRun2<A>(animal: A) where A: Behavior {
animal.run()
}
为什么使用的第一个原因就是:使用 some 定义更加清晰,使得代码可读性更高更容易理解。 上面的代码定义比较简单,可能感觉差别不大,大家看看下面的代码应该会有更深的体会

