Question

我试图在Swift中实现一个Functor，并发现我无法为泛型地图函数的返回类型指定不同的关联类型。如果我错了，请提出建议。

这是我的代码：

protocol Functor {
 associatedtype T

 func map<U>(_ transform: (T) -> U) -> Self // should return `Self` with associated type U
}

enum Result<A>: Functor {
 typealias T = A

 case success(A)
 case failure(Error)

 func map<U>(_ transform: (A) -> U) -> Result<A> { // autocompletion sets return type as `Result<A>` instead of Result<U>
  switch self {
  case let .success(value):
   return .success(transform(value))
  default:
   return self
  }
 }
}

Answer 1

当您打算通过应用Functor更改map的关联类型时，您的协议定义中的返回类型不能为Self。这可以通过使返回类型为另一个关联类型来解决，该类型也是Functor（默认情况下可以是Self），可以自由选择类型是否通用。像这样：

protocol Functor {
    associatedtype A
    associatedtype B: Functor = Self

    func map<C>(_ transform: (A) -> C) -> B where B.A == C
}

enum Result<Value>: Functor {
    typealias A = Value

    case success(Value)
    case failure(Error)

    func map<C>(_ transform: (A) -> C) -> Result<C> {
        switch self {
        case let .success(value): return .success(transform(value))
        case let .failure(error): return .failure(error)
        }
    }
}

具有关联类型的Functor协议的实现（Swift）

1 个答案: