WWDC19 Session 723 - Advances in Foundation

有序集合的 Diff

Foudation 框架为有序集合添加了 Diff 能力,用非常简单的方式,就能比对两个集合的差异,也能将差异应用到集合上。

let bird = "bird"
let bear = "bear"

let diff = bird.difference(from: bear)
let newBird = bear.applying(diff) // "bird"

Data

连续性

磁盘上的数据,比如一张图片,这种数据大多可以很简单在内存里用连续区域表示。另一方面,从网络下载的数据,可能会分成多段的字节流进行传输,并占领一整块连续的内存。在 Swift 5 之前,Data 既可能连续的,又可能是非连续的。这个统一接口虽然用起来很方便,但在访问整个缓冲区时,底层的原始数据需要拷贝到一个连续的区域,这意味着有时候性能会变得不可预测。在实际使用时,磁盘上的连续数据就会在有些时候占用比想象中大的内存。

Data 是连续的

从 Swift 5 开始,Data 只用于表达连续的数据。Apple 引入了 ContiguousBytes 协议来表示数据的连续。遵循这个协议表示该类型提供以连续的方式直接访问底层原始数据的能力。Data 是遵守这个协议的,所以以后不需要担心有的时候内存占用会变大。

public protocol ContiguousBytes {
		func withUnsafeBytes<R>(_ body: (UnsafeRawBufferPointer) throws -> R) rethrows -> R
}

通用数据协议

那非连续的数据怎么办呢? Foundation 新引入的通用数据协议,分别有可变和不可变的版本:DataProtocolMutableDataProtocol 。非连续数据可以通过这两个新的协议表达(但这两个协议也可以表达连续数据)。

public protocol DataProtocol : RandomAccessCollection where Self.Element == UInt8, Self.SubSequence : DataProtocol {

    associatedtype Regions : BidirectionalCollection where Self.Regions.Element : ContiguousBytes, Self.Regions.Element : DataProtocol, Self.Regions.Element.SubSequence : ContiguousBytes

    var regions: Self.Regions { get }
  
    func firstRange<D, R>(of: D, in: R) -> Range<Self.Index>? where D : DataProtocol, R : RangeExpression, Self.Index == R.Bound

    func lastRange<D, R>(of: D, in: R) -> Range<Self.Index>? where D : DataProtocol, R : RangeExpression, Self.Index == R.Bound

    func copyBytes(to: UnsafeMutableRawBufferPointer, count: Int) -> Int

    func copyBytes<DestinationType>(to: UnsafeMutableBufferPointer<DestinationType>, count: Int) -> Int

    func copyBytes<R>(to: UnsafeMutableRawBufferPointer, from: R) -> Int where R : RangeExpression, Self.Index == R.Bound

    func copyBytes<DestinationType, R>(to: UnsafeMutableBufferPointer<DestinationType>, from: R) -> Int where R : RangeExpression, Self.Index == R.Bound
}

public protocol MutableDataProtocol : DataProtocol, MutableCollection, RangeReplaceableCollection {

    mutating func resetBytes<R>(in range: R) where R : RangeExpression, Self.Index == R.Bound
}

以下类型遵循这两个通用数据协议:

以后在开发者编写数据处理的接口的时候,尽量使用遵循通用数据协议的泛型参数。

压缩

在 App 中,开发者有时候需要对数据进行压缩(比如对老设备优化或者资源需要上传)。Foundation 框架引入了数据压缩的接口来简化开发者的工作(截止至 beta2 版本的 Xcode,相关 API 还没提供)。

let data = // ...数据
let compressed = try data.compressed(using: .lzfse)

一共提供了四种压缩算法让开发者选择:

Units

Unit 是 Foundation 框架在 iOS 10/macOS 10.12 新增的抽象类型,用于表示现实中使用的度量单位。具体介绍可以参考这篇文章

这次 Unit 增加了更多种常用的度量单位。

时间(UnitDuration)

时间单位增加了以下几种单位

频率(UnitFrequency)

频率单位新增了一种单位

存储(UnitInformationStorage)

新增了储存单位的类型

Formatter

相对日期时间格式(RelateiveDateTimeFormatter)

这个新增的类可以方便的计算出两个时间的相对时间,并返回字符描述(支持多个语言):

let aDate = // ...两周前
let formatter = RelativeDateTimeFormatter()
let dateString = formatter.localizedString(for: aDate, relativeTo: Date())

// en_US: "2 weeks ago"
// zh_CN: "2 周前"

列表格式(ListFormatter)

这个新增的类可以方便的返回列表多个事物的描述:

let string = ListFormatter.localizedString(byJoining: ["😀","😳","😢"])

// en_US: "😀, 😳, and 😢"
// zh_CN: "😀、😳和😢"

同时,列表格式还可以定义列表里元素的格式(如果有的话):

let dates = // ...
let listFormatter = ListFormatter()
let dateFormatter = DateFormatter()
dateFormatter.dateStyle = .short
listFormatter.itemFormatter = dateFormatter
let string = listFormatter.string(from: dates)

// en_US: "6/7/19, 6/11/19, and 6/21/19"
// zh_CN: "2019/6/7、2019/6/11和2019/6/21"

OperationQueue

栅栏

有时候我们希望在某一些任务执行完后,执行一个任务,如下图所示:

如果使用类似上图的代码进行判断,是不正确的。因为在执行判断代码和执行你需要的任务代码的中间时刻,可能有别的任务代码执行。OperationQueue 新增了类似 GCD 栅栏作用的 addBarrierBlock 方法,帮助开发者简单的完成这种需求。

进度反馈

有时候我们需要根据任务的完成情况来改变进度,从而改变一些 UI(如进度条)。OperationQueue 新增了 progress 属性,并支持设置总共任务数,这样就可以在任务完成时,就可以通过 progress 来反馈进度情况。

let queue = OperationQueue()
queue.progress.totalUnitCount = 3

queue.addOperation {
    task()   // 完成时,进度 1/3
}

queue.addOperation {
    task()   // 完成时,进度 2/3
}

queue.addOperation {
    task()  // 完成时,进度 3/3
}

iOS 上的 USB 和 SMB

iOS 的文件系统开始支持 USB 和 SMB 的卷宗了。这也就意味着开发者需要开始准备支持处理其他卷宗中的文件了。

SMB(Server Message Block,服务器消息块):一种网络传输协议,能在网络上共享机器上的文件等资源。也就是可以访问网络计算机的卷宗。

写入操作

因此在选择新文件的写入路径时,为了保证是原子性的安全保存,建议使用 FileManager.SearchPathDirectory.itemReplacementDirectory 来建立临时路径(因为固定的路径可能会不存在)。想要了解更多可参考 Apple 官方文档

let path = // ...父目录
let url = FileManager.default.url(for: .itemReplacementDirectory, in: .userDomainMask, appropriateFor: path, create: true)

读取操作

因为 USB 可能被用户推出,SMB 可能因为网络连接失败而访问丢失,所以开发者要做好卷宗会整个消失的准备。所以在读取 Data 时,要使用 Data.ReadingOptions.mappedIfSafe (允许系统将文件映射到虚拟内存,只当文件存在可被移出的卷宗时生效)。

let url = // ...数据路径
let data = try Data(contentsOf: url, options: .mappedIfSafe)

由于访问 USB 或 SMB 上的文件会比访问设备内部的文件明显慢很多,所以建议将访问操作放到非主线程中进行。

测试文件系统能力

由于有些文件系统能力在设备内部卷宗是存在的,但在外部卷宗不一定存在。比如 NTFS 文件系统上大家都知道的克隆,但在 USB 或者 SMB 上是不存在的,所以开发者需要在使用前对文件系统的能力进行测试并处理错误。具体可以参考 Apple 官方文档

let fileURL = // .. 文件路径
do {
    let values = try fileURL.resourceValues(forKeys: [.volumeSupportsFileCloningKey])
    if values.volumeSupportsFileCloning {
        print("能力存在")
    } else {
        print("能力不存在")
    }
} catch {
    print(error.localizedDescription)
}

更多具体细节可以在 Session 719 - What’s New in File Management and Quick Look 中找到。

Foundation 的 Swift API 更新

由于 Foundation 框架已经存在很久了,里面很多接口的设计还是 Objective-C 的思想。Apple 一直在改进 Foundation 框架里面的接口,使之更加 Swift 化。

Scanner

字符串扫描不再需要使用 Foundation 框架里的 NSString,可以使用 Swift 原生 String 类型,也不需要传入引用,更 Swift,更简单。

// Swift 4
var string:NSString?
if scanner.scanUpToCharacters(from: .newlines, into: &string) {
    let nameString = string! as String
}

// Swift 5.1
let nameString = scanner.scanUpToCharacters(from: .newlines)

// 可以使用 String 的特性,比如 Emoji
let matchString = scanner.scanString("😀, 😳, and 😢")

FileHandle

以前,当文件描述符操作如果发生潜在的错误,会抛出异常。现在 Apple 提供了带错误接口,所以开发者可以在调用处马上处理错误(截止至 beta2 版本的 Xcode,相关 API 还没提供)。

let fileHandle = FileHandle()
let data = try fileHandle.readToEnd()

写入操作的接口,现在支持 DataProtocol 了,同时也会对非连续的数据进行优化(截止至 beta2 版本的 Xcode,相关 API 还没提供)。

extension FileHandle {
    public func write<T: DataProtocol>(contentsOf data: T) throws 
}

总结

Foundation 框架这次的更新还是诚意十足的,比如 diff、数据压缩、格式化、队列栅栏,都是日常开发中使用频率较高的操作。同时,Apple 也一直在努力推动废弃一些设计不合理或者不符合 Swift 思想的 API,让开发者用起来更加简单,友好,高效。

延伸阅读

WWDC 19 专栏文章目录