Swift主关联类型引入后，类型擦除仍有适用场景吗？

Swift 5.7引入的主关联类型确实让带关联类型的协议好用太多——像你例子里那样，直接用[any Car<Electricity>]就能创建电动汽车数组，不用再绕类型擦除的弯子。但自定义的AnyCar这类类型擦除结构体并没有被完全替代，在不少场景下依然是刚需：

• 值语义需求场景
  any Car<Electricity>是存在类型，本质属于引用语义；而AnyCar<Electricity>作为结构体，是严格的值语义。如果你的业务逻辑需要保证实例在赋值、传递时是完整拷贝（比如要避免意外的引用共享修改），类型擦除的结构体就是更好的选择。

• 隐藏协议内部细节
  如果Car协议除了对外暴露的drive方法，还有一些内部使用的关联类型、私有方法，AnyCar可以把这些细节完全封装起来。外部代码只需要和AnyCar<Fuel>交互，不用关心协议内部的实现细节，能更好地控制API的暴露范围。

• 兼容Swift老版本
  要是你的项目还需要支持Swift 5.7之前的版本，主关联类型根本用不了，这时候AnyCar这类类型擦除实现就是唯一能让你统一管理不同Car实例的方案。

• 自定义行为增强
  你可以在AnyCar里给协议方法加一层包装，比如日志、性能统计，甚至修改原有方法的行为。而存在类型any Car<Electricity>只能严格遵循协议定义的接口，没法直接扩展这类额外逻辑。比如：

  struct AnyCar<Fuel>: Car {
      private let base: any Car<Fuel>
      
      init(_ base: any Car<Fuel>) {
          self.base = base
      }
      
      func drive(fuel: Fuel) {
          print("[Log] 准备启动车辆")
          base.drive(fuel: fuel)
          print("[Log] 车辆已停止")
      }
  }
  

总的来说，主关联类型解决了大部分日常场景下的协议使用痛点，但类型擦除结构体在值语义、封装细节、版本兼容、自定义增强这些特定场景下，依然是不可替代的工具。

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