Swift 5.7存在的问题

Question

我最近转换了一些最初使用Type-Erasure的代码，以使用新的Swift 5.7 任何存在。 但是，在尝试使用使用已实现的通用类型的任何关键字时，我会遇到一些问题。

我在 Xcode 14 beta 2 上运行此操作（已隐式打开了存在）。

这是一个示例：

protocol Provider<Value> {
    associatedtype Value
    
    func get() -> Value
}

struct S {
    var stringProvider: any Provider<String>
}

这是一个非常简单的struct s，它具有成员StringProvider。我在这里使用任何关键字，而不是制作任何提供商＆lt; string＆gt; generic，因为我希望能够重新分配string> strignprovider后来（有不同类型）。

struct ProviderView<P: Provider>: View {
    let provider: P
    
    var body: some View {
        Text(String(describing: type(of: provider.get())))
    }
}

现在，我有一个providerView swiftui struct，它可以使用提供者并与之一起做事。

struct DummyProvider: Provider {
    typealias Value = String
    
    func get() -> String {
        "Hello World!"
    }
}

这只是一个虚拟提供商实现，它只是返回字符串。

这一切都很好，当我尝试使用providerview的情况下，问题就出现了。

struct ContentView: View {
    let s = S(stringProvider: DummyProvider())
    
    var body: some View {
        VStack {
            Image(systemName: "globe")
                .imageScale(.large)
                .foregroundColor(.accentColor)
            
            ProviderView(provider: s.stringProvider) // This is the erroring line
        }
    }
}

我遇到一个错误，说键入'任何提供商＆lt; string＆gt;'不能符合“提供者”。

我想我知道为什么，这是因为providerview不能将任何存在作为通用参数。

我的问题是：是否有任何办法，而无需返回键入擦除？我做的事情真的很错吗？请记住，我需要能够将其他类型的s.stringprovider重新分配。

Answer 1

这里的问题在于body需要是某种特定类型，因此ProviderView需要是某种特定类型（因为Body依赖于该类型）。它在运行时无法更改。因此，如果在运行时会更改，ProviderView不能对其提供商进行通用。

这意味着providerView.provider需要为任何提供商而不是通用：

struct ProviderView: View {
    let provider: any Provider

    var body: some View {
        Text(String(describing: type(of: provider.get())))
    }
}

因此，该部分是可以预期的。

您会遇到的问题是当前的运行时尚无法完全处理，稍后您会出现错误：

// Runtime support for parameterized protocol types is only available in iOS 99.0.0 or newer
ProviderView(provider: s.stringProvider)

我希望以后的Beta在Beta中有所改善，尽管我鼓励您打开跟踪它的反馈。

Answer 2

任何提供商都是存在的，并且存在性是某种框，不符合框内的协议，因此您会看到错误。

如果您不想拥有providerView generic，则可以添加使用某些 - 这表示符合协议的实际值，因此编译器很高兴。

struct ProviderView: View {
    let provider: any Provider
    
    init(provider: some Provider) {
        self.provider = provider
    }
    
    var body: some View {
        Text(String(describing: type(of: provider.get())))
    }
}

尽管有了这样的通用视图，但使用提供商，您无法完成很多工作。