スカラマップエントリとのパターンマッチング

Question

マップキーとのパターンマッチングを有効にするScalaのトリックはありますか？言い換えれば、私はMapインスタンスの横に抽出可能なキー値を受け入れることを希望します。これは、一致可能な値がMapのインスタンスであり、指定されたキーを持つエントリがある場合にのみ、このエントリの値は再帰的パターンマッチングの対象となります。

このような何か：

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

更新：

私は目標に近いアプローチするいくつかの方法を見つけたが、それは、合成キーと値の定義を意味しますので、それはまだ完璧ではありません-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") 
} 

同様の質問：Can extractors be customized with parameters in the body of a case statement (or anywhere else that an extractor would be used)?

機能リクエスト：SI-5435

Answer 1

あなたが本当に必要としない解決策を探しているかもしれませんか？ここで抽出器を想像することはできません。私たちが使用しているため

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) 
} 

戻り値の型がcollectFirstオプション[単位]であるとのprintln