swiftui - 将命名闭包传递给 init @ViewBuilder 时出现 "View as a type cannot conform to the protocol itself"错误

Question

我有一个自定义 View (DisclosableControl)，它有条件地公开 UI 控件。

为了使其尽可能适应，初始化程序接受闭包，闭包生成 subview 以显示用户输入和控件的结果。由于这些 subview 依赖于容器的状态，因此创建它们的闭包接受通用绑定(bind)。

在 DisclosableControl 的 init 中传递闭包效果很好，但它非常冗长并且会使逻辑难以推理，所以我想在 Root View 的扩展中将它们定义为计算属性或函数的返回值.

这在 Playground 中运行良好，但令我惊讶的是，将此代码插入我当前的项目会导致项目内部出现编译器错误(“View as a type cannot conform to the protocol itself”)。

为了弄清楚出了什么问题，我将工作中的 Playground 代码提取到 Xcode 中，以期“构建”到出现错误的位置。我没有机会这样做，因为有一个与计算属性之一相关的直接编译器错误:“属性定义已推断出类型‘(Binding) -> some View’，涉及‘some’返回类型另一个声明"

有趣的是，另一个闭包(不涉及 UI 控件)似乎很高兴。

最后，试图显式定义闭包属性的类型似乎使事情变得更糟。编译代码的唯一方法是将与 AnyView 的“控件”属性关联的 Picker 类型删除。它有效，但我认为这是一种代码味道。

谁能看出我哪里出错了？

可披露控件 View

struct DisclosableControl<Value, Display: View, Control: View>: View {
@Environment(\.isEnabled) var isEnabled
@State private var isControlDisclosed = false

private var value: Binding<Value>

let title: LocalizedStringKey
let display: Display
let control: Control

init(
    _ title: LocalizedStringKey,
    value: Binding<Value>,
    @ViewBuilder display: @escaping (Binding<Value>) -> Display,
    @ViewBuilder control: @escaping (Binding<Value>) -> Control
) {
    self.title = title
    self.value = value
    self.display = display(value)
    self.control = control(value)
}


var body: some View {
    List {
        HStack {
            display
                .padding(.top, 15)
                .overlay(alignment: .topLeading) {
                    Text(title)
                        .font(.caption)
                        .fixedSize()
                        .foregroundColor(
                            isEnabled ? Color.accentColor : Color(.systemGray)
                        )
                }
            Spacer()
        }
        .background()
        .contentShape(Rectangle())
        .onTapGesture {
            withAnimation { isControlDisclosed.toggle() }
        }

        if (isControlDisclosed && isEnabled) {
            control
                .listRowSeparator(.hidden, edges: .top)
        }
    }
    .animation(.easeInOut, value: isControlDisclosed)
}
}

用于测试的代码(在预览中)

enum TestEnum: String, CaseIterable {
    case one, two, three
}

let control = { (value: Binding<TestEnum>) in
    Picker("Picker", selection: value) {
        ForEach(TestEnum.allCases, id: \.self) { value in
            Text(value.rawValue)
        }
    }
    .pickerStyle(SegmentedPickerStyle())
}

let display = { (value: Binding<TestEnum>) in
    Text("The value selected was \(value.wrappedValue.rawValue)")
}

struct PlaygroundFile_Previews: PreviewProvider {
    static var previews: some View {
        Wrapper()
    }

    struct Wrapper: View {
        @State private var value = TestEnum.one
        var body: some View {
            Form {
                Text("Parent view state: \(value.rawValue)")
                Disclosable(
                    "Disclosable Control",
                    value: $value,
                    display: display,
                    control: control)
            }
        }
    }
}

Answer 1

这看起来像是编译器限制——它无法推断出所有需要的类型。一种可能的解决方法是使用内联构建器，例如

struct Wrapper: View {
    @State private var value = TestEnum.one
    var body: some View {
        Form {
            Text("Parent view state: \(value.rawValue)")
            Disclosable(
                "Disclosable Control",
                value: $value,
                display: display,
                control: { value in                           // << here !!
                    Picker("Picker", selection: value) {
                        ForEach(TestEnum.allCases, id: \.self) { value in
                            Text(value.rawValue)
                        }
                    }
                    .pickerStyle(SegmentedPickerStyle())
                })
        }
    }
}

替代是使用函数，比如

struct Wrapper: View {
    @State private var value = TestEnum.one
    var body: some View {
        Form {
            Text("Parent view state: \(value.rawValue)")
            Disclosable(
                "Disclosable Control",
                value: $value,
                display: display,
                control: control)
        }
    }

    func control(value: Binding<TestEnum>) -> some View {
        Picker("Picker", selection: value) {
            ForEach(TestEnum.allCases, id: \.self) { value in
                Text(value.rawValue)
            }
        }
        .pickerStyle(SegmentedPickerStyle())
    }
}

使用 Xcode 13.2/iOS 15.2 测试