Учитывая кортеж с элементами типа A
и другим типом, параметризованным в A
:
trait Writer[-A] { def write(a: A): Unit }
case class Write[A](value: A, writer: Writer[A])
И сайт для использования:
trait Cache { def store[A](value: A, writer: Writer[A]): Unit }
Почему выполняется следующая работа с использованием экстрактора кортежа:
def test1(set: Set[Write[_]], cache: Cache): Unit =
set.foreach {
case Write(value, writer) => cache.store(value, writer)
}
Но выполняется следующее:
def test2(set: Set[Write[_]], cache: Cache ): Unit =
set.foreach { write =>
cache.store(write.value, write.writer)
}
с сообщением об ошибке
found : Writer[_$1] where type _$1
required: Writer[Any]
cache.store(write.value, write.writer)
^
Можно ли исправить вторую форму (test2
) для правильной компиляции?
ИЗМЕНИТЬ
Отступая от идей Оуэна, я пробовал, если я могу заставить его работать без соответствия шаблону (именно этого я и хотел в первую очередь). Вот еще два странных случая: один работает, другой нет:
// does not work
def test3(set: Set[Write[_]], cache: Cache): Unit = {
def process[A](write: Write[A]): Unit =
cache.store(write.value, write.writer)
set.foreach(process)
}
// _does work_
def test4(set: Set[Write[_]], cache: Cache): Unit = {
def process[A](write: Write[A]): Unit =
cache.store(write.value, write.writer)
set.foreach(w => process(w))
}
Все еще довольно неясный для меня...