SwiftUI：为Identifiable数组扩展生成元素Binding时遇mutating self捕获报错如何解决

你遇到的编译错误，是两层问题叠加导致的：

• 语法层面禁止：mutating 方法内部的 self 是值类型的可变临时引用，而 Binding 的 get/set 是逃逸闭包——逃逸闭包会在当前函数返回后依然存活，Swift 出于值类型内存安全的要求，完全禁止逃逸闭包捕获 mutating 的 self，否则会出现函数返回后可变引用失效的问题。
• 设计方向偏差：就算通过局部变量拷贝绕开了语法报错，把扩展写在Array值类型上的方案，也根本无法实现你要的同步效果。你在View body里读取的viewModel.items只是当前渲染时刻的数组值快照，不是和ViewModel内存存储联动的引用。如果直接在这个快照上生成Binding，后续set操作修改的只是这个临时快照的副本，根本不会回写到ViewModel的@Published items里，自然也无法触发视图更新。

注意：如果只是把self拷贝成局部var来捕获（类似var tempSelf = self），虽然能暂时消除编译报错，但生成的绑定操作的是和原数据源完全割裂的临时副本，没有实际业务价值。

你要生成的绑定，本质是要修改ViewModel里@Published包装的数组，因此应该把扩展挂在数组对应的Binding实例（也就是viewModel.$items）上，而不是数组值本身。这种写法天然和ViewModel的存储链路打通，不存在值拷贝不同步的问题，也完全规避了mutating self的捕获限制。

扩展代码如下：

extension Binding {
    /// 当当前Binding包装的是Identifiable元素的数组时，生成对应单个元素的双向绑定
    /// - Parameter instance: 需要匹配的元素实例（通过id定位）
    /// - Returns: 对应元素的双向绑定，所有修改会直接写回原数组
    func elementBinding<Element: Identifiable>(of instance: Element) -> Binding<Element> where Value == [Element] {
        Binding<Element>(
            get: {
                // 每次读取时动态匹配id对应的元素位置，避免数组顺序变化导致索引错位
                guard let index = self.wrappedValue.firstIndex(where: { $0.id == instance.id }) else {
                    // 可根据业务场景替换为更友好的兜底处理，避免强制崩溃
                    fatalError("待绑定的元素已从数组中移除")
                }
                return self.wrappedValue[index]
            },
            set: { newValue in
                guard let index = self.wrappedValue.firstIndex(where: { $0.id == instance.id }) else {
                    return
                }
                self.wrappedValue[index] = newValue
            }
        )
    }
}

只需要把原来读取数组值的调用，改成读取数组的投影绑定，就可以正常工作：

List {
    Section {
        ForEach(viewModel.items) { item in
            // 原错误写法：viewModel.items.getBinding(of: item)
            // 正确写法：通过$items拿到数组的双向绑定，再生成单个元素的绑定
            NavigationLink(item.title, destination: DetailView(item: viewModel.$items.elementBinding(of: item)))
        }
    }
}

• 没有语法问题：扩展的self是Binding<[Item]>类型，它的get/set闭包天然持有对ViewModel的读写能力，逃逸闭包捕获完全合法，不会触发编译报错。
• 健壮性更强：每次get/set时通过id动态定位元素，不会因为数组元素顺序变化、临时调整出现硬编码索引错位的问题。
• 数据流完全打通：所有set操作都会通过数组的Binding直接写回ViewModel的@Published items，触发视图自动更新，完全实现详情页编辑同步列表的预期效果。

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