SwiftUI中ForEach报Index out of range错误与let属性不同步问题

1. let声明的常量属性为什么会出现数据不同步的情况？ #

首先要澄清：单个ChildView实例的let属性在其生命周期内确实是不可变的，不存在“数据不同步”的问题，你遇到的异常是SwiftUI的视图刷新机制和ForEach的错误用法共同导致的假象：

• 父视图中被@State修饰的myData发生变更时，会触发父视图body重新渲染，此时会销毁旧的ChildView实例，创建持有新的myData（数组长度为4）的全新ChildView实例，新实例的let属性本身是合法的。
• 崩溃的核心原因是你使用的ForEach初始化器默认缓存了第一次渲染时的索引范围0..<5，后续就算ChildView已经替换为持有短数组的新实例，ForEach依然使用缓存的旧索引范围去访问新数组，访问到索引4时就触发越界。

2. ForEach的底层运行逻辑到底是怎样的？ #

ForEach是SwiftUI用于批量生成视图的容器，核心依赖*唯一标识（ID）*来判断是否需要更新遍历的内容范围，不同初始化器的逻辑差异很大：

• 你最初使用的ForEach(Range<Int>)是专门为静态不变的固定范围设计的初始化器，它不会监听传入范围的变化，初始化时拿到什么范围就永远遍历什么范围，完全不感知后续数据变更，官方文档明确禁止将这个初始化器用于动态变化的数组下标遍历。
• 当你使用方案1的ForEach(myData.numbers.indices, id: \.self)时，ForEach会将索引值本身作为元素的唯一标识，每次视图刷新时都会重新比对当前的ID集合，如果数组长度变化导致索引范围变化，ForEach会自动更新遍历的范围，不会再持有旧的索引值，所以不会触发越界。
• 如果你遍历的元素本身遵守Identifiable协议，可以省略id参数，ForEach会自动使用元素自带的id作为唯一标识做变更判断。

额外说明：你提到的方案2本身存在两处问题所以无效：第一是你写的==实现错误，误将rhs和rhs自身对比，永远返回true；第二是问题根源并不在ChildView是否需要刷新，就算让ChildView正确遵守Equatable，只要ForEach依然使用静态范围的初始化器，还是会持有旧的索引范围触发崩溃。

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