Dodaj do ograniczenia parametrów generycznych w rozszerzeniu

Question

mam tej funkcji:

func flatten<Key: Hashable, Value>(dict: Dictionary<Key, Optional<Value>>) -> Dictionary<Key, Value> { 
    var result = [Key: Value]() 
    for (key, value) in dict { 
     guard let value = value else { continue } 
     result[key] = value 
    } 
    return result 
} 

Jak widać, przekształca słownika [Key: Value?] do [Key: Value] jeden (bez opcjonalnego).

Chciałem rozszerzyć klasę Dictionary o nową metodę tylko dla klas o wartości Optional dowolnego typu, ale nie mogę dodać ograniczeń do ogólnych parametrów słownika.

To co próbowałem:

extension Dictionary where Value: Optional<Any> { 
    func flatten() -> [Key: Any] { 
     var result = [Key: Any]() 
     for (key, value) in self { 
      guard let value = value else { continue } 
      result[key] = value 
     } 
     return result 
    } 
} 

Ale nie powiedzie się z powodu błędu:

Type 'Value' constrained to non-protocol type 'Optional<Any>' 

Answer 1

wypróbować ten kod w Playground:

// make sure only `Optional` conforms to this protocol 
protocol OptionalEquivalent { 
    typealias WrappedValueType 
    func toOptional() -> WrappedValueType? 
} 

extension Optional: OptionalEquivalent { 
    typealias WrappedValueType = Wrapped 

    // just to cast `Optional<Wrapped>` to `Wrapped?` 
    func toOptional() -> WrappedValueType? { 
    return self 
    } 
} 

extension Dictionary where Value: OptionalEquivalent { 
    func flatten() -> Dictionary<Key, Value.WrappedValueType> { 
    var result = Dictionary<Key, Value.WrappedValueType>() 
    for (key, value) in self { 
     guard let value = value.toOptional() else { continue } 
     result[key] = value 
    } 
    return result 
    } 
} 

let a: [String: String?] = ["a": "a", "b": nil, "c": "c", "d": nil] 
a.flatten() //["a": "a", "c": "c"] 

Ponieważ nie można określić dokładny typ w klauzuli where rozszerzenia protokołu, w jeden sposób można dokładnie wykryćTypma sprawić, że Optional UNIQUELY jest zgodny z protokołem (na przykład OptionalEquivalent).

W celu uzyskania owinięte typ wartość Optional, ja zdefiniował typealias WrappedValueType w protokole niestandardowego OptionalEquivalent a następnie dokonał rozszerzenia Opcjonalnie, assgin na Wrapped do WrappedValueType, wtedy można uzyskać typu w metodzie spłaszczyć .

Należy zauważyć, że metoda sugarCast jest po prostu rzucić Optional<Wrapped> do Wrapped? (co jest dokładnie to samo), aby umożliwić korzystanie guard oświadczenie.

UPDATE

Dzięki komentarzu Rob Napier „s Mam uproszczone & przemianowany metody sugarCast() i przemianowany protokół aby uczynić ją bardziej zrozumiałe.

Answer 2

Możesz to zrobić w prostszy sposób. Działa to z Swift 4:

extension Dictionary { 
    func flatten<Wrapped>() -> [Key: Wrapped] where Value == Optional<Wrapped> { 
     return filter { $1 != nil }.mapValues { $0! } 
    } 
} 

Jeśli nie podoba ci się użycie funkcja wyższego rzędu lub potrzebujesz kompatybilności z poprzednimi wersjami Swift można to zrobić również:

extension Dictionary { 
    func flatten<Wrapped>() -> [Key: Wrapped] where Value == Optional<Wrapped> { 
     var result: [Key: Wrapped] = [:] 
     for (key, value) in self { 
      guard let value = value else { continue } 
      result[key] = value 
     } 
     return result 
    } 
}