SwiftUI中为何用id比较Binding变量才能实现网格行选中切换？

你在实现网格行选中/取消选中功能时，遇到了一个问题：通过id比较Binding变量的代码可以正常运行，但直接比较RowItem实例却触发编译器报错。

可行代码 #

@Binding var selectedRow: RowItem?

var body: some View {
    ForEach(modelData.rows) { row in
        LazyVGrid(columns: columns) {
            Text("text")
            Text("text")
        }
        .onTapGesture {
            if (selectedRow?.id == row.id) {
                selectedRow = nil
            } else {
                selectedRow = row
            }
        }
    }
}

其中modelData.rows为[RowItem]类型，RowItem是遵循Identifiable协议的结构体，且已定义相等函数：

static func == (lhs: RowItem, rhs: RowItem) -> Bool {
    rhs.id == lhs.id
}

报错代码 #

.onTapGesture {
    if (selectedRow? == row) {
        selectedRow = nil
    } else {
        selectedRow = row
    }
}

报错信息（翻译后） #

编译器无法在合理时间内对该表达式进行类型检查；尝试将表达式拆分为不同的子表达式

问题原因 #

1. 可选类型比较语法误用：selectedRow是RowItem?类型的可选值，selectedRow? == row的写法试图通过可选链直接调用==运算符，这不符合Swift的可选值比较逻辑。正确的可选值比较需要先解包，或直接让编译器自动包装非可选值为可选类型后再比较，但这种写法会增加推导复杂度。
2. SwiftUI闭包的类型推导压力：在ForEach嵌套onTapGesture的闭包环境中，编译器需要同时处理视图层级、绑定值、自定义Equatable实现等多重逻辑，selectedRow? == row的写法会让推导逻辑过于复杂，超出编译器合理时间内的处理能力，最终抛出超时错误。

解决办法 #

方法一：先解包可选值再比较 #

将可选值解包后再和非可选的row比较，简化编译器的类型推导逻辑：

.onTapGesture {
    if let selected = selectedRow, selected == row {
        selectedRow = nil
    } else {
        selectedRow = row
    }
}

方法二：保留id比较的写法 #

你原本通过id比较的写法逻辑清晰，且id作为Identifiable协议的唯一标识，和自定义的Equatable实现逻辑完全一致，这种写法编译器处理起来毫无压力，可以继续使用。

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