扩展具有通用关联类型的协议

Question

假设我们有一个定义为的协议：

protocol PAT {
    associatedtype Element
}

而且我还有一个枚举（典型结果）定义为：

enum Result<Value> {
    case success(Value)
    case error(Error)
}

现在，我想在Element为Result<Value>时向PAT添加扩展，但是编译器无法确定Value因此会触发编译错误，指示“对泛型需要参数的引用”。

这是扩展的代码：

extension Pat where Element == Result {
}

Answer 1

解决方案是创建另一个带有associatedType的协议，以将Result包装在其中。

protocol Resultable {
    associatedType ValueType
    var isSuccess: Bool { get }
    var value: ValueType? { get }
}

并使Result扩展为Resultable：

extension Result: Resultable {
    typealias ValueType = Value
    var isSuccess: Bool { ... }
    var value: ValueType? { ... }
}

并使用Resultable扩展PAT ：

extension PAT where Element: Resultable {
    // in here you have access to Resultable.ValueType
}

注意

确保编写Element: Resultable而不是Element == Resultable 。 这就是我的代码最初没有工作的原因。