合成的Codable实现完全依赖于编译时可用的静态类型信息。当通过基类引用对异构的类实例集合进行编码时，编译器生成的encode(to:)代码仅序列化基类类型可见的属性。因此，子类特定的属性在JSON输出中被省略，解码时，运行时缺乏必要的元数据来实例化正确的子类，默认为基类，从而丢失类型特定的数据。
我们正在构建一个财务分析仪表板，处理各种交易类型以进行投资组合管理。领域模型使用了一个类层次结构，其中Transaction是基类，子类如StockTrade、DividendPayment和FeeCharge添加了特定属性，例如tickerSymbol或dividendRate。后端API返回了一个混合的JSON数组，这些交易每个都包含一个transactionType区分字段。
我们最初依赖Swift的自动Codable合成，以为它会处理多态数组**[Transaction]。然而，在集成测试期间，我们发现将[StockTrade]数组转换为[Transaction]时，结果的JSON只包含基类字段例如id和amount**，完全省略了tickerSymbol。相反，解码该JSON仅重建基Transaction实例，在尝试访问预期存在的子类特定属性时导致应用崩溃。
我们考虑了三种不同的方法来解决这一限制。第一种方法涉及手动Codable实现，我们明确地将transactionType字段添加到编码容器，并实现了一个自定义的init(from:)，依据此区分符来实例化正确的子类。该方法提供了完整的类型安全并保留了现有的对象图，但需要为每种新的交易类型编写和维护大量的样板代码，增加了开发者在添加功能时出错的风险。
第二种解决方案探讨使用类型擦除的AnyCodable包装器或采用以协议为导向的方法，使用存在类型（any TransactionProtocol）。虽然这允许在数组中存储异构类型而无需继承，但牺牲了编译时类型安全，并引入了由于存在类型盒装和动态调度所带来的运行时开销。它还使API合同复杂化，迫使消费者处理类型擦除的文物和类型转换，减少代码清晰度。
第三个选项是将类层次结构重构为一个具有关联值的单一枚举，例如enum Transaction { case stock(StockData), case dividend(DividendData) }。枚举自然支持通过合成的Codable进行多态序列化，因为编译器会自动生成一个区分字段。然而，这将需要对现有的Core Data模型和应用程序中的业务逻辑进行大规模重构，对于生产系统来说承载不可接受的回归风险。
我们选择了第一种解决方案——手动Codable实现与区分字段，因为它将更改局限于序列化层，而不干扰现有的架构或数据库架构。我们在基类中实现了一个工厂方法，首先解码类型标识符，然后根据字符串值委派到适当的子类初始化器。
结果是一个健壮的序列化管道，正确处理了多态API响应，具有完全的类型保真度。尽管这大约需要200行手动解析代码，但它保持了与现有功能的向后兼容性，并在开发者添加新的交易类型但忘记更新解码逻辑时提供了清晰的编译时错误，防止运行时失败。
为什么在使用JSONEncoder编码之前将[Subclass]转换为[BaseClass]会导致子类特定属性的数据丢失？
合成的encode(to:)方法是基于集合中值的编译时类型静态调度的。当您转换为[BaseClass]时，编译器选择BaseClass的合成实现，该实现仅迭代在BaseClass中声明的属性。子类属性对这个实现是不可见的，因为静态调度机制不会查询动态类型的元数据以获得合成方法。为了保留所有属性，您必须使用具体类型进行编码，或者通过区分字段手动实现动态类型解析。
对于类层次结构，所需初始化器的要求与Decodable一致性如何交互，以及为什么这会阻止自动子类实例化？
Decodable要求有一个init(from: Decoder)初始化器。对于类，这必须在基类中标记为required以允许子类继承一致性。然而，基类中的合成实现无法基于如区分字段等外部数据动态确定要实例化哪个子类。当解码器遇到代表子类的数据时，它调用基类的init(from:)，该方法只知道如何初始化基类部分。为了支持多态解码，开发者必须在每个子类中重写**init(from:)**并实现一个工厂方法，以检查解码器的容器来确定具体类型，然后进行实例化。
Swift的合成Codable如何处理具有关联值的枚举与类继承的根本区别是什么，为什么这使得枚举适合进行多态序列化？
Swift在为具有关联值的枚举合成Codable时生成了一个区分键。编码包括作为字符串键的案例名称，解码实现则根据该键进行切换，以重建正确的案例及其关联负载。这是有效的，因为枚举形成一个封闭的、在编译时已知的密封类型层次结构，使编译器能够生成完整的开关语句。相比之下，类形成开放层次结构，可以在不同模块中添加新的子类。编译器在合成基类的Codable一致性时无法为所有可能的子类生成详尽的开关，因此无法在没有人工干预的情况下自动处理多态性。