Dopasowanie wzorców do elementów mapy Scala

Question

Czy istnieje jakaś sztuczka Scala, która umożliwia dopasowanie wzorców do klawiszy mapy? Innymi słowy, chciałbym mieć ekstraktor, który obok instancji Map zaakceptowałby także wartość klucza, co oznaczałoby, że chcę, aby ten wzorzec pasował tylko wtedy, gdy dająca się dopasować wartość jest instancją mapy i jest wpis z podanym kluczem w nim, a wartość tego wpisu podlega rekursywnemu dopasowaniu do wzorca.

coś takiego:

myMap match { 
    case MyMap("a")(a) => // do smth with value a 
    case MyMap("b")(MyMap("c")(c)) => // do smth with value c 
} 

Aktualizacja:

Znalazłem jakiś sposób, aby zbliżać się do celu, ale wciąż nie jest idealny, ponieważ implikuje definicję syntetycznego klucz-wartość -holders:

case class MapKey[K](key: K) { 
    def unapply(o: Any) = o match { 
    case m: Map[K, _] ⇒ m.get(key) 
    case _ ⇒ None 
    } 
} 

val m1 = Map("a" → "aa", "b" → Map("c" → "cc")) 
val m2 = Map("a" → "aa", "d" → "dd") 

val b = MapKey("b") 
val c = MapKey("c") 
val d = MapKey("d") 

for (m ← List(m1, m2)) m match { 
    case b(c(x)) ⇒ println(s"b > c: $x") 
    case d(x) ⇒ println(s"d: $x") 
} 

podobne pytanie: Can extractors be customized with parameters in the body of a case statement (or anywhere else that an extractor would be used)?

Prośba o funkcję: SI-5435

Answer 1

Może szukasz rozwiązania, którego naprawdę nie potrzebujesz? Nie wyobrażam sobie ekstraktorów tutaj. Można użyć PF jeśli chcesz dopasować par klucz-wartość:

val map = Map[String, String]("a" -> "b") 

def matchTuple[A,B,C](map: Map[A,B])(pf: PartialFunction[(A,B), C]) = 
    map.collectFirst(pf) 

matchTuple(map) { 
    case ("a", b) => println("value for a is " + b) 
} 

Zwraca typ jest opcja [jednostka] ponieważ używamy collectFirst i println