Swift框架中Resourceful协议扩展默认解码函数行为不符预期原因咨询

最近在开发一个资源处理框架时，我定义了多个用于处理资源的协议，其中一个协议通过扩展提供了解码函数的默认实现。虽然实际项目里的实现代码更复杂，但下面这个简化的示例完全能说明我遇到的问题：

// 基础资源协议定义
public protocol Resourceful {
    // 关联资源类型
    associatedtype AssociatedResource
    // 关联错误类型
    associatedtype E: Error
    // 资源回调闭包类型
    typealias ResourceCompletionHandler = (AssociatedResource?, E?) -> Void
    
    // 协议要求的资源获取方法
    func fetchResource(completion: @escaping ResourceCompletionHandler)
}

// 给协议扩展添加解码方法的默认实现
extension Resourceful {
    public func decodeResource(from data: Data) throws -> AssociatedResource {
        // 默认实现用fatalError占位，提示遵循类型必须重写该方法
        fatalError("Default implementation error: Conforming types must override decodeResource(_:)")
    }
}

场景说明 #

这个设计的初衷是让所有遵循Resourceful的类型都能复用解码逻辑，但实际使用中发现几个问题：

• 运行时崩溃风险：如果某个遵循协议的类型忘记重写decodeResource，调用时会直接触发fatalError，而不是编译期报错
• 关联类型约束缺失：默认实现里没有对AssociatedResource做解码相关的约束（比如Decodable），导致如果想在默认实现里写通用解码逻辑会报错
• 错误类型不统一：关联类型E仅约束为Error，不同遵循类型的错误类型可能不一致，增加了调用方的处理成本

优化方向建议 #

如果要改进这个设计，可以试试这些思路：

• 添加编译期检查：用可用性标记替代fatalError，让编译器直接提示必须实现该方法：

  extension Resourceful {
      @available(*, unavailable, message: "必须在遵循Resourceful的类型中实现decodeResource(from:)")
      public func decodeResource(from data: Data) throws -> AssociatedResource {
          fatalError("This method should never be called")
      }
  }
  

• 给关联类型添加约束：针对遵循Decodable的资源类型提供通用默认实现：

  extension Resourceful where AssociatedResource: Decodable, E == DecodingError {
      public func decodeResource(from data: Data) throws -> AssociatedResource {
          return try JSONDecoder().decode(AssociatedResource.self, from: data)
      }
  }
  

• 统一错误类型：可以定义一个框架专属的错误枚举，作为E的默认类型，减少重复定义：

  public enum ResourceError: Error {
      case decodingFailed
      case fetchFailed
      // 其他错误类型
  }
  
  public protocol Resourceful {
      associatedtype AssociatedResource
      associatedtype E: Error = ResourceError
      typealias ResourceCompletionHandler = (AssociatedResource?, E?) -> Void
      
      func fetchResource(completion: @escaping ResourceCompletionHandler)
  }
  

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