Swift 冷门语法知识

发表于 2017-08-12 更新于 2024-04-17

本来这篇文章的标题是“如何写一个不安全的构造器”，但后面查资料的时候又发现了一些很好玩的东西，就一次性写成一篇出来，跟大家分享一下 Swift 里的几个 best pratice：

带关联值的 Enum 的构造器
strongSelf 的另一种写法
如何在 Swift 里写一个不安全的构造器
mutating 函数的定义

带关联值的 Enum 的构造器

写 Swift 的人应该很熟悉带关联值的枚举（Enumeration with Associated Value），例如原生的 Optional，错误处理的 Result 库等等，但在我尝试自定义枚举的构造器时遇到了这样的问题：

enum CustomOptional<Wrapped> {
    case value(Wrapped)
    case none
    
    init(value: Wrapped) {
        return .value(value) 
        // error: 'nil' is the only return value permitted in an initializer
    }
}

错误提示是构造器里只能够返回 nil，但如此一来我们就好像没有办法把构造器实现出来了。我想起在使用 Result 的时候有用到过它的构造器，查阅之后，发现正确的做法应该是这样的：

enum CustomOptional<Wrapped> {
    case value(Wrapped)
    case none
    
    init(value: Wrapped) {
        self = .value(value)
    }
}

顺带说一句，所有的值类型都支持这种写法。

出处：Result — Swift type modelling the success/failure of arbitrary operations

strongSelf 的另一种写法

之前我就写过一篇文章来讲这个，之所以再提一次，一方面是为了文章的完整性，另一方面就是为了下文的另一个语法做铺垫。

从 OC 带过来的命名方式，会让我们在闭包里这么去写 strongSelf:

block = { [weak self] in
    guard let strongSelf = self else { return }
    ... other code ...
}

strongSelf 在代码里的出现其实会有点突兀，我会更喜欢利用 Swift 一种语法，让代码变得统一：

block = { [weak self] in
    guard let `self` = self else { return }
    ... other code ...
}

这里声明了一个局部变量 self，让我们可以直接用来将捕获的 weak self 解包出来，由于 self 是系统关键字，使用 ` 包住关键字，可以让编译器把它看做是一个正常的变量名称。

然后我们在闭包里使用 self 时，就不必考虑它是否会产生循环引用的问题，**别的地方的代码也可以很方便地复制粘贴过来，不用把 self 全部都改为 strongSelf**。

出处：忘了😒

Update 2017.08.24：

掘金里有位大神在评论里提醒我，原来这是一个编译的 bug，提案 SE-0079 很详细地讲了这件事情，但目前这个 bug 还没有修复，按照上面的方法去写就可以了。

如果这个 bug 被修复了的话，就可以没必要加上 `，可以直接声明局部变量 self:

block = { [weak self] in
    guard let self = self else { return }
    ... other code ...
}

如何在 Swift 里写一个不安全的构造器

开头我提到了这篇文章原本的标题是叫做“如何写一个不安全的构造器”，其实我是在写这篇文章的时候才发现了上面的语法，之前我是用了另外一种比较 dirty 的方式去做的：

enum CustomOptional<Wrapped> {
    case value(Wrapped)
    case none
    
    static func `init`<Wrapped>(value: Wrapped) -> CustomOptional<Wrapped> {
        return .value(value)
    }
}

很早的时候我就尝试过定义一个名为 init 的 static 函数，得到的是这样的提示 error: keyword 'init' cannot be used as an identifier here，也就是说 init 作为系统关键字不能在这里使用，那么很简单，用 ` 把它包住就行了。

这么定义 init 方法的话，在调用时也可以像正常的构造器那样省略掉 init:

let _ = CustomOptional(value: "I'm a String")

这种“构造器”的定义和实现都很灵活，可以返回任何类型，内部实现也不需要遵守那么多规则。这可能在一些我意想不到的场景下会有用吧，但我暂时没有想到，如果你恰好用到了这个小技巧，请务必发个邮件告诉我，我很好奇具体的使用场景。

出处：kemchenj

mutating 函数的定义

定义值类型的时候，同一个函数，我们经常需要定义 mutating 和 non-mutating 两个版本：

func sorted() -> Array { ... }

mutating func sort() { ... }

但绝大部分情况下这两个函数的实现基本上都是一样的，这个时候我们就可以考虑复用其中一个，减少重复代码：

func sorted() -> Array { ... }

mutating func sort() { 
    self = sorted()
}

之所以可以这样写，是因为 mutating 意味着函数会对值自身进行修改：

self.property = value

// 等价于

var newStruct = self
newStruct.property = value
self = newStruct

出处：Swift Talk #21 Structs and Mutation

最后

我想推荐一下这个视频，主要是讲 Swift 里如何构建高效的 Collection 类型，20分钟的长度，看完之后对于 objc.io 的那本书动心了，我基础很差也基本上看懂了里面的内容，讲得真的很不错，里面平衡二叉树的实现让我再一次强烈地感受到 Swift 的简洁。