我对这样的对象有一个协议:
public protocol Viewable {
associatedtype Content: View
var parent: (any Viewable)? { get }
var body: Content { get }
}
我想要的是在另一个视图中显示视图的主体，如下所示:
public struct SampleView: View {
var object: (any Viewable)?
public var body: some View {
object!.body
}
}
但我收到了一个错误Type 'any View' cannot conform to 'View'
显示协议扩展100中定义的对象的视图的最佳方式是什么？
谢谢.
您的object不能是存在类型(动态类型的协议)，因为View的协议要求指定View.Body是泛型的关联类型.
我们需要保留完整的泛型类型信息，以满足body对View的some View要求.
答案是使用具体的泛型类型:
public struct SampleView: View {
var object: (some Viewable)?
public var body: some View {
object!.body
}
}
为清楚起见，可以采用更传统的拼写方式，以明确这是您的自定义协议的一般约束类型:
public struct SampleView<T: Viewable>: View {
var object: T?
public var body: some View {
object!.body
}
}
这一行为在SE-0309的提案中有更详细的描述，该提案最初允许将存在类型用于任何协议类型.
要仍然以不同的方式使用Viewable个类型(比如在一个数组中)，您需要创建一个额外的抽象层，比如创建一个enum，并将具体值作为关联值.
struct SampleView: Viewable { ... }
struct ProfileView: Viewable { ... }
struct PreferencesView: Viewable { ... }
enum Views {
case sample(SampleView)
case profile(ProfileView)
case preferences(PreferencesView)
}
var views = [Views]()
现在，您可以访问关联值中的具体类型.
显然，这种解决方案不能很好地扩展，这种处理泛型类型的方法应该在有限的情况下使用，以避免这enum在许多情况下变得非常大.