作者:Russ Bishop,原文链接,原文日期:2016-11-09
译者:Cyan;校对:小铁匠Linus;定稿:CMB

今天的内容非常简单,但是有些内容会让人产生困扰,通常出现在 extensions 的上下文或者和 RawRepresentable 的枚举值打交道的时候。

无法委托给可失败的构造器

比如说你有个带有可失败构造器的类型。现在你想扩展这个类型让他支持反序列化 JSON 数据。当 JSON 解析失败的时候抛出一个友好且详细的错误,并且你希望发生任何错误的时候都能够抛出来,不管是 JSON 解析还是可失败初始化器中的错误,如果我们能抛出异常的话那是很好的。

struct FizzFail {
init?(string: String) { /* magic */ }
init(json: JsonValue) throws {
// 解析 json
guard let string = json.string else { throw JsonError.invalidJson }
// 错误:不可失败的构造器无法委托给可失败的构造器
if self.init(string: string) == nil {
throw JsonError.missingValue
}
}
}

这里有两个问题。首先是我们不能委托给可失败构造器。当有人尝试传递一个不合法的 JSON 数据时(这是不常见的对吧?),编译器会帮助我们将这个构造器转换到一个可失败的构造器,或者是插入一个不安全的解包类型,然后会终止掉。

其次,即便我们可以检查可失败构造器的结果,但没有语法可以这样做。self 在可失败构造器的上下文中只是一个可选值。

针对这个情况有三种解决方案:

1.如果拥有对应的类型,可以将实际初始化的代码移到一个私有的可抛出异常的构造器里面,然后公开的构造器都委托它来进行初始化。在可失败构造器里面使用 try? 来忽略错误。

struct Fizz {
private init(value: String) throws { /* magic */ }
init(json: JsonValue) throws {
guard let string = json.string else {
throw JsonError.invalidJson
}
try self.init(value: string)
}
init?(string: String) {
try? self.init(value: string)
}
}

2.如果不拥有类型并且它是一个值类型,你可以对 self 重新赋值。这会导致额外的声明和分配,但是代码看起来会更清晰。

extension FizzFail {
init(json: JsonValue) throws {
// 解析 json
guard let string = json.string,
let value = type(of: self).init(string: string) else {
throw JsonError.invalidJson
}
self = value
}
}

3.如果不拥有类型并且它是一个引用类型,那么你必须使用一个静态方法来解决,因为你没有更好的选择了。

原始值

上面的技巧同样适用于含有原始值(RawValue)的枚举值。即使你拥有类型,你也不拥有自动生成的构造器,所以只能对 self 重新赋值:

enum Buzz: String {
case wat = "wat"
case other = "other"

private enum ConstructionError: Error {
case invalidConstruction
}

init(string: String) {
if let value = type(of: self).init(rawValue: string) {
self = value
} else {
self = .other
}
}
}

结束语

我在 30 分钟里写完了这篇文章是为了让你知道,其实我的博客还在维护,最后谢谢你读完。

Russ Bishop
这个博客仅代表我个人的观点,并没有得到我的雇主的认可。

本文由 SwiftGG 翻译组翻译,已经获得作者翻译授权,最新文章请访问 http://swift.gg

文章目录
  1. 1. 无法委托给可失败的构造器
  2. 2. 原始值
  3. 3. 结束语