SwiftUI中Binding<SomeEnum>无法转为Binding<any SomeSelectorRow>问题求助

问题背景 #

我定义了遵循CustomStringConvertible、CaseIterable、Identifiable的协议SomeSelectorRow，并让枚举SomeEnum实现了该协议。接着创建了接收Binding<any SomeSelectorRow>参数的SomeSelector视图，但在MyView中传入$selection（类型为Binding<SomeEnum>）时，出现错误：

Cannot convert value of type 'Binding' to expected argument type 'Binding'

明明SomeEnum遵循SomeSelectorRow，却无法转换，想知道问题原因和解决方法。

相关代码如下：
协议与视图实现：

protocol SomeSelectorRow : CustomStringConvertible, CaseIterable, Identifiable {
}

struct SomeSelector : View {
    @Binding var selectedRow: any SomeSelectorRow
    var rows: [any SomeSelectorRow]

    var body: some View {
        List {
            ForEach(rows) { row in
                Button {
                    selectedRow = row
                } label: {
                    HStack {
                        Label(title: { Text(row.description) },
                              icon: { row == selectedRow ? imageA
                                                         : imageB })
                    }
                }
            }
        }
    }
}

枚举与使用代码：

enum SomeEnum : String, SomeSelectorRow {
    case one = "one"
    case two = "two"
    case three = "three"

    var id: SomeEnum { self }

    var description: String {
        return self.rawValue
    }
}

struct MyView : View {
    @Binding var selection: SomeEnum

    var body: some View {
        SomeSelector(selectedRow: $selection, rows: SomeEnum.allCases) // 此处报错
    }
}

问题原因 #

1. 泛型Binding的类型严格匹配：Binding是泛型结构体，Binding<SomeEnum>和Binding<any SomeSelectorRow>是完全不同的类型。Swift不会自动将具体类型的Binding转换为存在类型的Binding，因为这会破坏类型安全——Binding<any SomeSelectorRow>允许赋值任何遵循SomeSelectorRow的类型，但你的$selection只能接受SomeEnum，隐式转换会导致后续可能出现类型不匹配的运行时问题。
2. 存在类型的特性限制：any SomeSelectorRow是存在类型，它包装了任意符合协议的类型，但泛型参数的协变/逆变规则不适用于存在类型的包装类型，因此无法直接转换。

解决办法 #

方案一：将SomeSelector改为泛型视图（推荐）

把视图改成泛型，约束泛型参数遵循SomeSelectorRow，这样就能直接适配具体的枚举类型，既保证类型安全，又避免存在类型的开销：

protocol SomeSelectorRow: CustomStringConvertible, CaseIterable, Identifiable {
}

// 改为泛型视图，约束Row遵循SomeSelectorRow
struct SomeSelector<Row: SomeSelectorRow>: View {
    @Binding var selectedRow: Row
    var rows: [Row]

    var body: some View {
        List {
            ForEach(rows) { row in
                Button {
                    selectedRow = row
                } label: {
                    HStack {
                        Label(title: { Text(row.description) },
                              icon: { row == selectedRow ? Image(systemName: "checkmark.circle") 
                                                         : Image(systemName: "circle") })
                    }
                }
            }
        }
    }
}

使用时无需修改MyView，直接传入即可：

struct MyView: View {
    @Binding var selection: SomeEnum

    var body: some View {
        SomeSelector(selectedRow: $selection, rows: SomeEnum.allCases)
    }
}

方案二：手动构造Binding进行类型转换（适用于必须使用存在类型的场景）

如果一定要保留any SomeSelectorRow的定义，可以手动构造Binding<any SomeSelectorRow>，同时在赋值时做类型检查：

struct MyView: View {
    @Binding var selection: SomeEnum

    var body: some View {
        SomeSelector(
            selectedRow: Binding(
                get: { selection }, // 读取时自动转为any SomeSelectorRow
                set: { newRow in
                    // 赋值时必须检查类型，确保是SomeEnum
                    guard let newEnum = newRow as? SomeEnum else {
                        // 类型不匹配时的处理逻辑，比如保持原有值
                        return
                    }
                    selection = newEnum
                }
            ),
            rows: SomeEnum.allCases.map { $0 as any SomeSelectorRow }
        )
    }
}

注意：这种方法需要额外处理类型检查，否则可能导致运行时崩溃，仅在必要时使用。

内容的提问来源于stack exchange，提问作者meaning-matters