SwiftUI添加数组元素触发Fatal error: Index out of range崩溃问题

这是iOS 15内置SwiftUI框架的已知底层逻辑Bug，和业务代码中显式的数组索引调用无关：
嵌套使用两层绑定形式的ForEach时（外层遍历$checks绑定数组，内层遍历$check.contributions绑定子数组），SwiftUI会为每一层ForEach独立维护一份数组索引快照缓存。当内层数组被修改后立刻更新当前视图的@State属性，会强行打断SwiftUI原有的更新调度流程，让视图在索引缓存未完成跨层同步的状态下提前进入差分更新环节，此时外层ForEach持有的旧索引快照和更新后的内层数组长度不匹配，直接触发框架内部ContiguousArrayBuffer的越界访问。由于崩溃发生在SwiftUI框架的底层视图更新逻辑中，调试器无法捕获业务层的有效堆栈，报错位置会直接落到@main入口行。

• 外层列表使用ForEach($checks)绑定写法时，SwiftUI会为外层数组生成绑定元素的索引映射表，去掉这层绑定遍历就不会生成存在缺陷的索引缓存，崩溃不会触发
• 内层列表使用ForEach($check.contributions)绑定写法时，两层绑定ForEach嵌套会触发框架差分逻辑的缺陷——该逻辑未做多级数组的版本同步校验，去掉内层绑定就不会触发跨层索引校验
• 修改内层数组后同步给selectedContributor赋值的操作，是触发提前刷新的直接诱因：这行状态修改会让视图刷新时机提前到索引缓存同步完成之前，注释掉该行就不会触发越界

把selectedContributor的赋值延后到下一个主运行循环执行，等SwiftUI完成所有数组的索引缓存同步后再更新状态，即可完全避开竞态窗口：

func addContributor() {
    let newContribution = CheckContribution()
    check.contributions.append(newContribution)
    // 延后状态赋值，等待SwiftUI完成数组差分同步
    DispatchQueue.main.async {
        selectedContributor = newContribution.id
    }
}

该Bug在iOS 16及以上系统版本中已被苹果修复，上述兼容写法不会影响高版本系统的正常运行。

如果不想使用GCD延后调度，可任选以下方案解决：

• 外层ForEach不直接使用绑定遍历，改为遍历普通数组元素，通过索引从$checks中手动获取绑定传递给子视图，避免SwiftUI生成嵌套的绑定索引缓存
• 将Check类型改为引用类型（class），此时SwiftUI不会为值类型的嵌套属性生成多级绑定映射，从根源上避开该缓存逻辑缺陷
• 给内层List添加显式.id(check.id)修饰符，每次Check数据更新时强制重建内层列表，绕过旧的索引缓存

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