дано:
val m = Map[String, Int]("a" -> 1, "b" -> 2, "c" -> 3)
m.foreach((key: String, value: Int) => println(">>> key=" + key + ", value=" + value))
почему компилятор жалуется
error: type mismatch
found : (String, Int) => Unit
required: (String, Int) => ?
Я не уверен в ошибке, но вы можете добиться того, чего хотите, следующим образом:
m.foreach(p => println(">>> key=" + p._1 + ", value=" + p._2))
То есть foreach принимает функцию, которая принимает пару и возвращает Unit, а не функцию, которая принимает два аргумента: здесь p имеет тип (String, Int).
Другой способ написать это:
m.foreach { case (key, value) => println(">>> key=" + key + ", value=" + value) }
В этом случае блок { case ... } является частичной функцией.
упс, неправильно прочитал документ, map.foreach ожидает функциональный литерал с аргументом кортежа!
so
m.foreach((e: (String, Int)) => println(e._1 + "=" + e._2))
работает
Вам необходимо сопоставить аргумент Tuple2, чтобы назначить переменные его подчастям key, value. Вы можете сделать очень мало изменений:
m.foreach{ case (key: String, value: Int) => println(">>> key=" + key + ", value=" + value)}
Запутанное сообщение об ошибке — это ошибка компилятора, которая должна быть исправлена в версии 2.9.2. :
Отличный вопрос! Даже при явном вводе метода foreach он все равно выдает очень непонятную ошибку компиляции. Есть способы обойти это, но я не могу понять, почему этот пример не работает.
scala> m.foreach[Unit] {(key: String, value: Int) => println(">>> key=" + key + ", value=" + value)}
<console>:16: error: type mismatch;
found : (String, Int) => Unit
required: (String, Int) => Unit
m.foreach[Unit] {(key: String, value: Int) => println(">>> key=" + key + ", value=" + value)}
^
Документы говорят, что аргументом является кортеж -> единица, поэтому мы можем легко сделать это
Map(1 -> 1, 2 -> 2).foreach(tuple => println(tuple._1 +" " + tuple._2)))
Еще один способ:
Map(1 -> 1, 2 -> 2).foreach(((x: Int, y: Int) => ???).tupled)
Однако для этого требуются явные аннотации типов, поэтому я предпочитаю частичные функции.
