SwiftUI中ForEach循环遍历数组为何要求元素遵循Identifiable协议？

核心原因是很多人混淆了「元素在数组中的位置」和「元素本身的唯一身份」——SwiftUI的ForEach从来不是简单的命令式循环生成视图的工具，它需要稳定的身份标识来完成UI差分计算、状态持久绑定和过渡动画渲染。

刚接触SwiftUI的开发者几乎都有过这个疑问：明明通过v[0]、v[1]这种索引方式就能直接取到对应元素，为什么还要多此一举要求元素遵守Identifiable协议？
你只要见过索引用作id时的bug，就明白这个设计的必要性了：

• 假设初始emoji数组是["😀", "😎", "🥳"]，对应索引0、1、2
• 你给每个列表项加了本地状态，比如第一个😀对应的项被你标记了「已选中」
• 此时你删除数组第一个元素，数组更新为["😎", "🥳"]

如果用索引作为元素id，SwiftUI刷新时会按照位置做视图匹配：

新数组索引0 → 匹配旧数组索引0的视图（也就是原本绑定😀、带「已选中」状态的那个视图）
新数组索引1 → 匹配旧数组索引1的视图
旧数组索引2对应的视图判定为被删除

最终的渲染结果完全不符合预期：从来没被选中过的😎会带上选中状态，删除动画也会错乱——本来应该是第一个元素整体滑出消失，实际会变成第一个元素内容改成😎、第二个改成🥳、第三个元素消失的诡异效果。

问题的本质是：索引只是元素当前在数组里的位置标记，不是元素本身的身份凭证。数组插入、删除、排序、重排时，元素的索引会跟着位置变化，但元素本身的身份没有变。
Identifiable协议的作用，就是强制要求每个元素提供一个和自身生命周期绑定、不会随位置变化的唯一id。只要这个id不变，不管你把元素挪到数组的哪个位置，SwiftUI都能精准匹配到它对应的视图实例，保证状态不串联、动画计算正确。

你当然也可以不手动让元素遵守Identifiable，直接在ForEach里指定id路径，比如写ForEach(emojis, id: \.self)，但这种写法要求数组里的元素本身唯一不重复——如果数组里同时存在两个一模一样的😀，一样会出现匹配错误。至于直接用索引构造ForEach(0..<emojis.count, id: \.self)的写法，仅适合数组长度、元素顺序永远固定不变的场景，只要存在动态增删、重排逻辑，用索引当id迟早会出现状态错乱的问题。

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