如何为实现protocol的enum的每个case提供对应protocol方法的默认实现

你想要的直接通过泛型约束为枚举不同case单独提供协议方法实现的写法，在当前Swift版本中无法直接实现。
原因是Swift的泛型where约束只能作用于类型维度，而枚举的case是值维度的概念，不满足泛型约束的语法要求。

下面是两种常用的替代实现方案：

方案1：分支匹配实现（最推荐） #

直接在协议的条件扩展或者枚举自身的扩展中，通过switch self匹配不同case执行对应逻辑：

extension MyProtocol where Self == MyEnum {
  func myFunction() {
    switch self {
    case .caseOne:
      // caseOne 专属实现逻辑
    case .caseTwo:
      // caseTwo 专属实现逻辑
    case .caseThree:
      // caseThree 专属实现逻辑
    }
  }
}

该方案写法简洁，符合Swift语言规范，维护成本最低。

方案2：独立类型封装实现（适合复杂逻辑场景） #

如果每个case的逻辑复杂度极高，需要完全拆分隔离，可以将每个case的实现封装为独立的遵守协议的类型，再用枚举包装：

// 每个case对应独立实现类型
struct CaseOneImpl: MyProtocol {
  func myFunction() {
    // caseOne 专属实现逻辑
  }
}

struct CaseTwoImpl: MyProtocol {
  func myFunction() {
    // caseTwo 专属实现逻辑
  }
}

struct CaseThreeImpl: MyProtocol {
  func myFunction() {
    // caseThree 专属实现逻辑
  }
}

// 枚举调整为带关联值的形式
enum MyEnum: MyProtocol {
  case caseOne(CaseOneImpl)
  case caseTwo(CaseTwoImpl)
  case caseThree(CaseThreeImpl)
  
  func myFunction() {
    switch self {
    case .caseOne(let impl): impl.myFunction()
    case .caseTwo(let impl): impl.myFunction()
    case .caseThree(let impl): impl.myFunction()
    }
  }
}

该方案的优势是不同case的实现完全解耦，适合逻辑体量较大的场景，缺点是会增加代码冗余度。

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