为什么我们可以将存在类型用作用@ObseverObject包裹的属性类型

Question

protocol ExampleStore: ObservableObject {
    var text: String { get }
}

class ConcreteExampleStore: ExampleStore {
    @Published var text: String = ""
}

struct ExampleView: View {
    @ObservedObject private var store: any ExampleStore

    init(store: any ExampleStore) {
        self.store = store
    }

    var body: some View {
        Text(store.text)
    }
}

我正在探索Swift 5.7的新功能，并试图制作一个商店协议，我将用作视图中的一种类型。我知道在以前版本的Swift中，这是不可能的，因为ObservableObject协议符合Assectype的exigplestore，因此解决方法是在视图中定义一个符合exkplestore协议的通用参数，但是由于5.7这些协议应该是可用作存在类型吗？

我会收到以下错误：键入'任何extplestore'不能符合'observableObject'。 奇怪的是，该消息出现在商店被声明为视图属性的行上，有人可以理解此错误消息吗？预先感谢:)

Answer 1

该解决方法虽然无法概括，但需要为每个someProtocol定义。

protocol SomeProtocol: ObservableObject {
    ...
}

ObservableAnySomeProtocol是符合observableObject的具体类，并用作包装器，以传递源对象的更改事件。

@propertyWrapper
@dynamicMemberLookup
class ObservableAnySomeProtocol: ObservableObject {

    var wrappedValue: any SomeProtocol
    var cancellable: AnyCancellable?

    init(wrappedValue: any SomeProtocol) {
        self.wrappedValue = wrappedValue
        self.cancellable = wrappedValue.objectWillChange.sink(receiveValue: { [unowned self] in
            self.objectWillChange.send()
        })
    }

    subscript<T>(dynamicMember keyPath: WritableKeyPath<any SomeProtocol, T>) -> T {
        get {
            wrappedValue[keyPath: keyPath]
        }
        set {
            wrappedValue[keyPath: keyPath] = newValue
        }
    }
}

然后在客户端视图中：

struct MyView: View {
    
    @ObservedObject @ObservableAnySomeProtocol var someObject: any SomeProtocol

    var body: some View {
        ...
    }
}