Swift 4.1 更新指北(译)

一、概述

Swift 4.1 是 Swift 4 的第一个小版本更新，主要包括一些很实用的改进，例如，自动合成 Equatable 和 Hashable，协议条件约束，检测模拟器环境等等。例子工程地址

二、自动合成 Equatable 和 Hashable

Equatable 协议允许 Swfit 中相同类型的两个实例之前的比较。当我们写 5 == 5 的时候，Swift 之所以能够理解是因为 Int 遵守 Equtable 协议，意味着它实现了一个 == 函数描述两个 Int 之间的关系。

然而，实现 Equatable有点蛋疼，看下面的代码：

struct Person {
    var name: String
}

如果你有两个 Person 实例，并且想要确保他们的一致性，需要比较他们的所有属性，具体如下：

// Swift 4.0 的实现
struct Person: Equatable {
    var name: String

    static func ==(lhs: Person, rhs: Person) -> Bool {
        return lhs.name == rhs.name
    }
}

// Swift 4.1 实现
struct Person: Equatable {
    var name: String
}

上面的代码读起来很枯燥，写起来更蛋疼。比较幸运的是，Swift 4.1 能够自动合成 Equatable 协议中约定的方法，也就是自动生成 ==方法，方法中会比较两个对象间的所有属性是否相等。现在你只需要在指定的类型上添加 遵守Equatable 协议，其他的操作 Swift 会自动完成。

当然，如果你想你也可以自己实现 == 。例如，如果你的类型有一个标记是否唯一的 id，你需要自己写 == 来只比较这个值，而不是让 Swift 来完成所有其他的工作。

Swift 4.1 也给 Hashable 协议提供了自动合成的支持，意味着会自动合成 hashValue 属性。Hashable 通常情况下实现比较蛋疼，因为需要返回一个唯一的（或者大多数情况下唯一的）hash 值。这一点很重要，因为它可以使对象作为字典的 keys并且存储在 Set中。

// Swift 4.0 实现
struct Person: Hashable {
    var name: String
    var hashValue: Int {
        return name.hashValue
    }

    static func ==(lhs: HashPerson, rhs: HashPerson) -> Bool {
        return lhs.name == rhs.name
    }
}

// Swift 4.1 实现
struct Person: Hashable {
    var name: String
}

虽然大多数情况下不用自己实现，但是如果你想做些特别的事情的时候也可以自己实现。

注：现在我们仍然需要让类型遵守协议，自动合成需要类型的所有属性都分别遵守了 Equatable 或者 Hashable 协议。

更多信息，请参照 Swift Evolution proposal SE-0185

三、Codable Key 编解码策略优化

在 Swift 4.0 中使用 Codable 协议一个常见问题就是，JSON 中使用蛇形命名法作为 key 的名字，而 Swift 中使用驼峰命名法。Codable 不能够理解两种命名的差别，必须创建自定义的 CodingKeys 枚举来解决这个问题。

基于上面的原因，Swift 4.1 中引入了 keyDecodingStrategy 属性。默认为 .useDefaultKeys ，直接映射 JSON 名字到Swift属性。可以使用 .convertFromSnakeCase 来让 Codable 处理名字转换。

let decoder = JSONDecoder()

do {
    decoder.keyDecodingStrategy = .convertFromSnakeCase
    let macs = try decoder.decode([Mac].self, from: jsonData)
    print(macs)
} catch {
    print(error.localizedDescription)
}

反之，如果你想将遵守 Codable 协议的 struct 类型转成 JSON，Struct 的属性是驼峰命名的，转成的JSON是蛇形命名的，设置 keyEncodingStrategy 为 .convertToSnakeCase。

let encoder = JSONEncoder()
encoder.keyEncodingStrategy = .convertToSnakeCase
let encoded = try encoder.encode(someObject)

四、协议的条件遵守

Swift 4.1 实现了 SE-0143 提案，引入了条件遵守协议。具体为只有当满足指定条件的时候，类型才能遵守协议。

举例来讲，我们现在声明一个可以用来买东西的协议 Purchaseable 。

protocol Purchaseable {
   func buy()
}

现在可以定义一个 Book 结构体，遵守 Purchaseable协议，在买一本书的时候打印消息。

struct Book: Purchaseable {
   func buy() {
      print("You bought a book")
   }
}

这个场景很简单，让我们更进一步。如果这个用户有一个装满书籍的篮子，并且想把篮子里所有的书全都买下来。我们当然可以遍历数组，然后调用每本书的 buy 方法。但是更好的方式是给 Array 写个 Extension 遵守 Purchaseable 协议，然后实现协议 buy 方法，调用每个 Element 的 buy 方法。

基于上面的原因，Swift 4.1 引入了 Conditional Conformances。如果我们尝试拓展数组，会有一定的副作用。例如会给一个字符串数组添加 buy 方法，而字符串没有 buy 方法供我们调用。

Swift 4.1 可以实现只有当数组中的元素是遵守 Purchaseable，数组才能遵守 Purchaseable 协议。

extension Array: Purchaseable where Element: Purchaseable {
   func buy() {
      for item in self {
         item.buy()
      }
   }
}

如你所见，协议的条件遵守，让我们以更简洁的方式给拓展添加协议支持。

同样的，协议的条件遵守也使我们的 swift 代码更加简单和安全，并且我们也不需要做些额外的工作。例如，创建两个可选字符串的数组并且比较它们是否相等。

ar left: [String?] = ["Andrew", "Lizzie", "Sophie"]
var right: [String?] = ["Charlotte", "Paul", "John"]
left == right

上面的例子看起来不那么重要，但是 Swift 4.0 上面的语法不能编译，String 和 [String] 是 Equatable，但是 [String?] 不是。

Swift 4.1 中的协议的条件约束指的是只要满足指定的条件，就可以遵守协议。上面的例子中，如果数组中的元素是遵守 Equatble 的，那么数组就是遵守 Equatable 协议。所以，上面的代码在 Swift 4.1 上可以编译通过。

协议的条件遵守也适用于 Codable 协议，并且使代码变得更加安全。

import Foundation

struct Person {
   var name = "Taylor"
}

var people = [Person()]
var encoder = JSONEncoder()
// try encoder.encode(people)

如果将 encoder.encode(people) 的注释打开，在 Swift 4.1 中编译不通过，因为试图 encode 一个不遵守 Codable 协议的类型。然而，这段代码在 swift 4.0 上面是可以编译通过的，但是因为 Person 不遵守 Codable 协议会导致在运行时崩溃。

很明显，大家都不想要运行时崩溃。幸运的是，Swift 4.1 使用协议的条件遵守帮我们清除了这个障碍，Optional、Array、Dictionary 和 Set 只有在他们的内容遵守 Codable 协议的时候，自身才遵守协议，所以上面的代码在 Swift 4.1 会编译不过。

五、关联类型的递归约束

Swift 4.1 实现了 SE-0157 提案，增强了协议内部使用关联类型的限制。现在可以给关联类型创建一个递归的约束，就是关联类型可以用自身所在协议来约束自己。

我们以技术公司的管理层级来阐述这个问题，在一个公司，每一个雇员都有一个上司，每个上司必须有一个以上的下属。我们以一个 Employee 协议来表明这样的关系：

protocol Employee {
   associatedtype Manager: Employee
   var manager: Manager? { get set }
}

尽管这是一个不言而喻的关系，但是 Swift 4.0 上这段代码却编译不过，因为在协议内部使用了自己。

感谢这个新特性，我们可以模拟一个包含三种团队角色的技术公司，初级开发工程师、高级开发工程师和董事会成员。

class BoardMember: Employee {
   var manager: BoardMember?
}

class SeniorDeveloper: Employee {
   var manager: BoardMember?
}

class JuniorDeveloper: Employee {
   var manager: SeniorDeveloper?
}

注：这边用 Class 而不是 Struct，是因为 BoardMember 里面包含一个 BoardMember，如果用结构体会形成无穷大的结构体。如果这里面有一个 Class ，我个人倾向于使用全部采用 Class 来保持一致。如果你想要使用结构体，可以把 JuniorDeveloper 和 SeniorDeveloper 设置成结构体。

六、模块引入检测

Swift 4.1 实现了 SE-0075 提案，引入了一个新的 canImport 条件来帮助我们在编译期检测一个指定的模块能否被导入。

这个特性对跨平台的代码很有用，例如你的代码在 macOS 和 iOS 行为不一样，或者你需要 Linux 的功能。

#if canImport(SpriteKit)
   // this will be true for iOS, macOS, tvOS, and watchOS
#else
   // this will be true for other platforms, such as Linux
#endif

之前我们必须通过判断平台信息来处理这种情况。

#if !os(Linux)
   // Matches macOS, iOS, watchOS, tvOS, and any other future platforms
#endif

#if os(macOS) || os(iOS) || os(tvOS) || os(watchOS)
   // Matches only Apple platforms, but needs to be kept up to date as new platforms are added
#endif

新特性 canImport 让我们更好的关注功能，而不是当前编译的平台，避免了很多蛋疼的问题。

七、模拟器环境检测

Swift 4.1 实现了 SE-0190 提案，引入了 targetEnvironment 条件，帮助我们更好的区分模拟器和真机。现在 targetEnvironment 只有一个值 simulator，当是模拟器设备的时候，返回 true。

#if targetEnvironment(simulator)
   // code for the simulator here
#else
   // code for real devices here
#endif

当代码用来处理类似于从摄像头读取数据或者访问陀螺仪数据等模拟器不支持的功能的时候，这个条件判断很有用。举个例子，从摄像头选择照片，如果是真机，创建和配置 UIImagePickerController()方法 ，如果是模拟器，从 Bundle 中读取一张图片。

import UIKit

class TestViewController: UIViewController, UIImagePickerControllerDelegate {
   // a method that does some sort of image processing
   func processPhoto(_ img: UIImage) {
       // process photo here
   }

   // a method that loads a photo either using the camera or using a sample
   func takePhoto() {
      #if targetEnvironment(simulator)
         // we're building for the simulator; use the sample photo
         if let img = UIImage(named: "sample") {
            processPhoto(img)
         } else {
            fatalError("Sample image failed to load")
         }
      #else
         // we're building for a real device; take an actual photo
         let picker = UIImagePickerController()
         picker.sourceType = .camera
         vc.allowsEditing = true
         picker.delegate = self
         present(picker, animated: true)
      #endif
   }

   // this is called if the photo was taken successfully
   func imagePickerController(_ picker: UIImagePickerController, didFinishPickingMediaWithInfo info: [String : Any]) {
      // hide the camera
      picker.dismiss(animated: true)

      // attempt to retrieve the photo they took
      guard let image = info[UIImagePickerControllerEditedImage] as? UIImage else {
         // that failed; bail out
         return
      }

      // we have an image, so we can process it
      processPhoto(image)
   }
}

八、FlatMap 部分场景更名 CompactMap

FlatMap 在 Swift 4.0 中很有用，特别是在转换集合中的对象，并且移除其中的 nil 对象的时候。Swift 提案 SE-0187 中有对这部分内容更改的说明，在 Swift 4.1 中 flatMap 为了语义更加清晰，已经更名成 compactMap。

let array = ["1", "2", "Fish"]
let numbers = array.compactMap { Int($0) }

上面例子的结果是 [1, 2]。

九、展望 Swift 5

引入协议的条件遵守已经使 Swift 团队提升稳定性的同时，移除了大量代码，自动合成 Equatable 和 Hashable 的支持也使我们开发更加便捷。其他一些在开发或者在 Review 的提案，包括 SE-0192: Non-Exhaustive Enums, SE-0194: Derived Collection of Enum Cases,和 SE-0195: Dynamic Member Lookup – click here to learn more about new Swift features coming in 2018。同这些新特性一样重要的是，苹果计划在今年实现 Swift 的 ABI 稳定，期待🙏🙏🙏。

十、感谢原作者 Paul Hudson，原文地址

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 205,033评论 6赞 478
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 87,725评论 2赞 381
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 151,473评论 0赞 338
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 54,846评论 1赞 277
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 63,848评论 5赞 368
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 48,691评论 1赞 282
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 38,053评论 3赞 399
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 36,700评论 0赞 258
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 42,856评论 1赞 300
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,676评论 2赞 323
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,787评论 1赞 333
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 33,430评论 4赞 321
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 39,034评论 3赞 307
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,990评论 0赞 19
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,218评论 1赞 260
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 45,174评论 2赞 352
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 42,526评论 2赞 343

推荐阅读更多精彩内容