의 우리가 프로토콜을 정의한다고 가정 해 봅시다 일반적인 associatedtype

Question

와 프로토콜을 확장 이 Result<Value> 일 때 PAT으로 확장되었지만 컴파일러가 Value을 결정할 수 없으므로 "일반 참조가 필요합니다"라는 컴파일 오류가 발생합니다.

여기에 확장에 대한 코드입니다 :

extension Pat where Element == Result { 
} 

Answer 1

이 솔루션은 그 안에 결과를 감싸는 associatedType와 다른 프로토콜을 만드는 것입니다.

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

및 결과가 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을합니다. 이것이 제 코드가 처음에는 작동하지 않는 이유입니다.