KeyPath 最佳实践

Swift 4.0 带来的一个新功能就是 Smart KeyPath，以前在 Twitter 上看到 Chris Eidhof 大神在征集 KeyPath 的用法。

我也搜集了一下，看成是一次总结，这里面的技巧其实大部分都很难在实践中用上，只是好玩有趣而已，也算是一种启发吧。

类型安全的 Query API

出处：Kuery

利用了 KeyPath 类型安全的特性，提供了类型安全的 Query API。目前惟一作出来的一个成品是 Kuery 库，类型安全的 CoreData 查询 API，相同的方式也能够为 Realm，SQLite 等数据库服务，下面是它的使用范例：

Query(Person.self).filter(\.name != "Katsumi")
Query(Person.self).filter(\.age > 20)复制代码

其实我我的以为这个 API 还能够再简化：

Query.filter(\Person.name != "Katsumi")
// 或
Query<Person>.filter(\.name != "Katsumi")复制代码

这个库的原理是操做符重载，你们看一下函数声明就能大概理解了：

public func == <ManagedObject: NSManagedObject, Property: Equatable>( lhs: KeyPath<ManagedObject, Property?>, rhs: Property?) 
    -> NSPredicate<ManagedObject> { ... }复制代码

具体实现的时候使用了 KeyPath 的属性 _kvcKeyPathString，这是为了兼容 ObjectiveC 的 KVC 而存在的属性，它并不是是一个公开的 API，在正式文档或 Xcode 里是查不到这个属性的，具体的细节咱们能够在 GitHub 上看到。

虽然查不到，但目前代码里是可使用这个属性的（Xcode 9.0，Swift 4.0），Kuery 的做者也去 Rader 里反馈了将这个 API 正式化的需求，不过暂时仍是不推荐你们使用这种方式。

ReadOnly 的 Class

出处：Chris Eidhof

final class ReadOnly<T> {
    private let value: T

    init(_ value: T) {
        self.value = value
    }

    subscript<P>(keyPath: KeyPath<T, P>) -> P {
        return value[keyPath: keyPath]
    }
}

import UIKit

let textField = UITextField()

let readOnlyTextField = ReadOnly(textFiled)

r[\.text]          // nil
r[\.text] = "Test" // 编译错误复制代码

这是个很好玩的实现，正常来讲咱们实现只读，都是使用接口的权限设计，例如 private(set) 之类的作法，但这里利用了 KeyPath 没法修改值的特性实现了这一个功能，强行修改就会像上面那样在编译时就抛出错误。

不过这种只读权限的颗粒度太大，只能细致到整个类实例，而不能针对每个属性。并且我在实践中也没有找到合适的使用场景。

取代 Selector 的抽象

这是我在泊学网的会员群里偶然看到的，11 说 Swift 4 里也有原生的 Selector。仔细想了一下，就只有 KeyPath 了，实现出来大概会是这样：

// 定义
extension UIControl {
    func addTarget<T>( _ target: T, action: KeyPath<T, (UIControl) -> ()>,
        for controlEvents: UIControlEvents)
    { ... }
}

// 调用
button.addTarget(self, action: \ViewController.didTapButton, for: .touchUpInside)复制代码

这样处理的话，didTapButton 方法甚至都不须要依赖于 Objective-C 的 runtime，只要能用 KeyPath 把方法取出来就好了。

但实际试了一下以后，发现并不可行，我就去翻了一下 KeyPath 的提案：

We think the disambiguating benefits of the escape-sigil would greatly benefit function type references, but such considerations are outside the scope of this proposal.

前半句其实我不太理解，但整句话读下来，感受应该是实现起来很复杂，会与另外的一个问题交织在一块儿，因此暂时不在这个提案里处理。我去翻邮件列表的时候终于找到了想要的答案：

for unapplied method references, bringing the two closely-related features into syntactic alignment over time and providing an opportunity to stage in the important but currently-source-breaking changes accepted in SE-0042 github.com/apple/swift….

KeyPath 指向方法的这个 Feature，和 SE-0042 很接近，因此后面会两个功能一块儿实现。

状态共享的值类型

出处：Swift Talk #61 | Swift Talk #62

这应该算是这篇文章里面最 Tricky 可是也最有趣的一个用法了，我在看 Swift Talk 的时候，介绍的一种状态共享的值类型，直接上代码：

final class Var<A> {
    private var _get: () -> A
    private var _set: (A) -> ()

    var value: A {
        get { return _get()  }
        set { _set(newValue) }
    }

    init(_ value: A) {
        var x = value
        _get = { x }
        _set = { x = $0 }
    }

    private init(get: @escaping () -> A, set: @escaping (A) -> ()) {
        _get = get
        _set = set
    }

    subscript<Part>(_ kp: WritableKeyPath<A, Part>) -> Var<Part> {
        return Var<Part>(
            get: { self.value[keyPath: kp]      },
            set: { self.value[keyPath: kp] = $0 })
    }
}复制代码

看完代码可能有点难理解，咱们再看一下示例而后再解释：

var john = Person(name: "John", age: 11)

let johnVar = Var(john)
let ageVar = johnVar[\.age]

print(johnVar.value.age) // 11
print(ageVar.value)      // 11

ageVar.value = 22

print(johnVar.value.age) // 22
print(ageVar.value)      // 22

johnVar.value.age = 33

print(johnVar.value.age) // 33
print(ageVar.value)      // 33复制代码

上面咱们能够看到 ageVar 从 johnVar 分割出来以后，它的状态依旧跟 johnVar 保持一致，这是由于 Var 的 init 方法里使用 block 捕获了 x 这个变量，也就至关于做为 inout 参数传入了进去，这个时候 x 会存放在堆区。

而且使用 subscript 生成了 ageVar 以后，ageVar 使用的 init 的方法只是在本来的 _get 和 _set 方法外面再包了一层，因此 ageVar 修改值的时候，也是使用了本来 johnVar 同样的 _set，修改了最初 johnVar 初始化时使用的 x。换句话说，ageVar 和 johnVar 使用的都是堆区里同一个 x。听着是否是很像 class？🤔

更具体的细节，你们能够去看 Swift Talk。

结尾

KeyPath is incredibly important in Cocoa Development. And this is they let us reason about the structure of our types apart from any specific instance in a way that's far more constrained than a closure.

—— What's New in Foundation · WWDC 2017 · Session 212

上面这段话摘录自今年 WWDC 的 What's New in Foundation，简单的翻译就是 KeyPath 对于 Cocoa 的使用很是重要，由于它能够经过类型的结构，去获取任意一个实例的相应属性，并且这种方式远比闭包更加简单和紧凑。

以为文章还不错的话能够关注一下个人博客