KVO 在 Swift 4 中观察协议

Question

我正在努力使用 Swift 4 中新的强类型 KVO 语法来观察仅通过协议可见的属性：

import Cocoa

@objc protocol Observable: class {
    var bar: Int { get }
}

@objc class Foo: NSObject, Observable {
    @objc dynamic var bar = 42
}

let implementation = Foo()

let observable: Observable = implementation

let observation = observable.observe(\.bar, options: .new) { _, change in
    guard let newValue = change.newValue else { return }

    print(newValue)
}

implementation.bar = 50

---

error: value of type 'Observable' has no member 'observe'
let observation = observable.observe(\.bar, options: .new) { _, change in

显然，Observable 不是NSObject。但是我不能简单地将它转换为NSObject，因为keypath的类型与对象的类型不匹配。

我尝试更明确地说明类型：

let observable: NSObject & Observable = implementation

但是：

error: member 'observe' cannot be used on value of protocol type 'NSObject & Observable'; use a generic constraint instead
let observation = observable.observe(\.bar, options: .new) { _, change in

我试图做的事情是不可能的吗？这似乎是一个常见的用例。使用旧的#keypath 语法很容易完成。你能提供任何替代方案吗？谢谢。

Answer 1

此代码在 Swift 4.1.2 (Xcode 9.4) 中编译和运行：

import Foundation

@objc protocol Observable: AnyObject {
    var bar: Int { get }
}

@objc class Foo: NSObject, Observable {
    @objc dynamic var bar = 42
}

let implementation = Foo()

let observable: NSObject & Observable = implementation

func observeWrapper<T: NSObject & Observable>(_ object: T) -> NSKeyValueObservation {
    return object.observe(\.bar, options: .new) { _, change in
        guard let newValue = change.newValue else { return }
        print(newValue)
    }
}

let observation = observeWrapper(observable)
implementation.bar = 50
withExtendedLifetime(observation, {})

我所做的只是将对observe 的调用封装在一个限制为NSObject & Observable 的通用函数中。

尽管引入了泛型，但仍然可以将协议类型的 observable 传递给这个新函数。老实说，我真的无法解释为什么会这样。

编辑：这可以解释它：protocols in Swift generally don't conform to themselves，因此即使约束匹配，也不允许调用具有存在（协议类型）的泛型函数。但是@objc 协议有一个例外（没有静态要求），它确实符合自己的要求。我想这是可行的，因为Observable 被标记为@objc。