星际穿越：SwiftUI 如何让 ForEach 遍历异构数据（Heterogeneous）集合

Swift 5.7 的 any 关键字让我们能轻松混合不同类型的数据，但在 SwiftUI 的 ForEach 中却因"身份丢失"（不遵循 Identifiable）而频频报错。本文将带你破解编译器光脑的封锁，利用 "量子胶囊"（Wrapper 封装）战术，让异构数据集合在界面上完美渲染。

🌌 引子：红色警报

公元 2077 年，地球联邦主力战舰"Runtime 号"正在穿越 Swift 5.7 星系。

舰桥上，警报声大作。

"舰长亚历克斯（Alex） ，大事不妙！前方出现高能反应，我们的万能装载机无法识别这批混合货物！"说话的是伊娃（Eva）中尉，联邦最顶尖的 SwiftUI 架构师，此刻她正焦虑地敲击着全息投影键盘。

亚历克斯舰长眉头紧锁，盯着屏幕上那刺眼的红色报错------那是掌管全舰生死的中央光脑 "Compiler（编译器）" 发出的绝杀令。

在本篇博文中，您将学到如下内容：

- [🌌 引子：红色警报](#🌌 引子：红色警报)
- [🚀 第一回：异构危机，`any` 的虚假繁荣](#🚀 第一回：异构危机，any 的虚假繁荣)
- [🤖 第二回：光脑悖论，Identifiable 的诅咒](#🤖 第二回：光脑悖论，Identifiable 的诅咒)
- [👻 第三回：幻影行动，创建"影子"属性](#👻 第三回：幻影行动，创建“影子”属性)
- - [战术 A：降维打击（使用索引）](#战术 A：降维打击（使用索引）)
  - [战术 B：量子胶囊（封装容器）](#战术 B：量子胶囊（封装容器）)
- [🏁 终章：跃迁成功](#🏁 终章：跃迁成功)
- - 总结

"没道理啊，"亚历克斯咬牙切齿，"自从联邦升级了 Swift 5.7 引擎，引入了 any 这种反物质黑科技，我们理应能装载任何种类的异构兵器才对。为什么卡在了 ForEach 这个发射井上？"

"Compiler 拒绝执行！"伊娃绝望地喊道，"它说我们的货物虽然都带了身份证（Identifiable），但装货的箱子本身没有身份证！"

要想拯救"Runtime 号"免于崩溃，他们必须在 5 分钟内骗过中央光脑。

🚀 第一回：异构危机，`any` 的虚假繁荣

Apple 从 Swift 5.6 开始引入新的 any 关键字，并在 Swift 5.7 对其做了功能强化。这在星际联邦被称为"存在类型（Existential Types）"的终极解放。这意味着现在我们可以更加随心所欲地糅合异构数据了------就像把激光剑（TextFile）和力场盾（ShapeFile）扔进同一个仓库里。

不过，当伊娃中尉试图在 SwiftUI 的 ForEach 发射井中遍历这些异构货物时，稍不留神就会陷入尴尬的境地。

请看当时战舰主屏上的代码记录：

亚历克斯指着屏幕分析道："伊娃你看，我们定义了一个 files 仓库，类型是 [any IdentifiableFile]。我们希望按实际类型（激光剑或力场盾）来显示对应的界面。不幸的是，Compiler 光脑铁面无私，它不仅不买账，还甩了一句 '编译错误'：

any IdentifiableFile 不遵守 Identifiable 协议！

这简直是岂有此理！这就好比你手里拿着一本护照（Identifiable），但因为你坐在一个不透明的黑色出租车（any）里，边境官就认定这辆车没有通关资格。

是不是 SwiftUI 无法处理好异构集合呢？答案当然是否定的！

在亚历克斯和伊娃的引领下，小伙伴们将通过一些技巧来绕过 ForEach 这一限制，让 SwiftUI 能如愿处理任何异构数据。

废话少叙，引擎点火，Let's go！！！😉

🤖 第二回：光脑悖论，Identifiable 的诅咒

大家知道，SwiftUI 中 ForEach 结构（如假包换的结构类型，若不信可以自行查看头文件 😉 ）需要被遍历的集合类型遵守 Identifiable 协议。

仔细观察顶部图片中的代码，可以发现我们的异构集合元素（IdentifiableFile 类型）都遵守 Identifiable 协议，为何会被 Compiler 光脑拒之门外呢？

答案是：它 any Identifiable 本身是一个抽象的盒子。

伊娃中尉恍然大悟："原来如此！虽然盒子里的每样东西都有 ID，但这个'盒子类型'本身并没有 ID。Swift 语言的物理法则规定：包含关联类型或 Self 约束的协议，其存在类型（Existential Type）不自动遵守该协议。"

亚历克斯冷笑一声："好一个死板的 AI。既然它看不清盒子里的东西，我们就给它造一个'影子'，骗过它的传感器。"

👻 第三回：幻影行动，创建"影子"属性

既然直接冲卡不行，我们就得用点"障眼法"。这一招在联邦工程兵手册里被称为 "影子映射术"。

我们需要创建一个能够被 ForEach 识别的"中间人"。

战术 A：降维打击（使用索引）

这是最简单粗暴的方案。既然光脑不认识 any IdentifiableFile 这个复杂的对象，那它总认识数字吧？我们直接遍历数组的索引（Indices）。

亚历克斯迅速输入指令：

swift 复制代码

struct StarshipView: View {
    // 📦 混合货物舱：装着各种不同的异构数据
    let cargos: [any IdentifiableFile] = [
        TextFile(title: "星际海盗名单"),
        ShapeFile(shapeType: "黑洞引力波")
    ]

    var body: some View {
        VStack {
            // 🚫 警报：直接遍历 cargos 会导致光脑死机
            
            // ✅ 战术 A：遍历索引（0, 1, 2...）
            // 索引是 Int 类型，Int 天生就是 Identifiable 的
            ForEach(cargos.indices, id: \.self) { index in
                // 通过索引提取货物真身
                let cargo = cargos[index]
                
                // 此时再把货物送入渲染引擎
                CargoDisplayView(file: cargo)
            }
        }
    }
}

"这招虽然有效，"伊娃担忧地说，"但如果货物在传输过程中发生动态增减（Insert/Delete），索引可能会越界，导致飞船引擎抛锚（Crash）。我们需要更稳妥的方案。"

战术 B：量子胶囊（封装容器）

亚历克斯点了点头："没错，作为资深工程师，我们不能冒这个险。我们要用战术 B：创建一个符合 Identifiable 的包装器（Wrapper）。"

这相当于给每一个异构货物套上一个标准的"联邦制式胶囊"。这个胶囊有明确的 ID，光脑一扫描就能通过。

swift 复制代码

// 1. 定义一个"量子胶囊"结构体，它必须遵守 Identifiable
struct ShadowContainer: Identifiable {
    // 🧬 核心：持有那个让编译器困惑的异构数据
    let content: any IdentifiableFile
    
    // 🆔 映射：将内部数据的 ID 投影到胶囊表面
    var id: String {
        content.id
    }
}

struct SecureStarshipView: View {
    let rawCargos: [any IdentifiableFile] = [/* ... */]
    
    // 🔄 转换工序：将原始异构数据封装进胶囊
    var encapsulatedCargos: [ShadowContainer] {
        rawCargos.map { ShadowContainer(content: $0) }
    }

    var body: some View {
        List {
            // ✅ 完美通关：ForEach 遍历的是胶囊，胶囊是 Identifiable 的
            ForEach(encapsulatedCargos) { container in
                // 在此处"开箱"展示
                CargoDisplayView(file: container.content)
            }
        }
    }
}

伊娃看着屏幕上绿色的"编译通过"字样，兴奋地跳了起来："成功了！通过引入 ShadowContainer，我们既保留了 any 的动态特性，又满足了 ForEach 的静态类型要求。这是一次完美的'偷天换日'！"

🏁 终章：跃迁成功

随着亚历克斯按下回车键，Compiler 光脑那冰冷的红色警告终于消失，取而代之的是柔和的绿色进度条。

屏幕上，异构数据如同璀璨的星辰一般，按顺序整齐排列，TextFile 文本清晰可见，ShapeFile 图形棱角分明。SwiftUI 的渲染引擎全功率运转，丝毫没有卡顿。

"Runtime 号"引擎轰鸣，顺利进入了超空间跃迁。

亚历克斯松了一口气，靠在椅背上，手里转动着那一枚象征着 Apple 开发者最高荣誉的徽章。他转头对伊娃说道：

"你看，编程就像是在宇宙中航行。any 代表着无限的可能与混乱的自由，而 Identifiable 代表着严苛的秩序与规则。我们要做的，不是在二者之间选边站，而是用我们的智慧------比如一个小小的 Wrapper------在这片混沌中建立起连接的桥梁。"

总结

Swift 5.7 赋予了我们 any 的强大力量，但在 SwiftUI 的 ForEach 面前，它依然是个"黑户"。
问题的症结 在于编译器无法确认 any Protocol 这一类型本身是否具有稳定的身份标识。
破解之道 ：
- 险招：遍历 indices，简单快捷，但需提防数组越界这一"暗礁"。
- 绝招：创建 Wrapper（影子容器） ，为异构数据穿上一层符合 Identifiable 的外衣，这是最稳健的星际航行法则。

星辰大海，代码无疆。各位秃头舰长，愿你们的 App 永远没有 Bug，愿你们的编译永远 Pass！

Engage! 🛸

本文由银河联邦资深架构师亚历克斯（Alex）口述，伊娃（Eva）中尉整理。