Почему это не дает ошибку типа?

Я ожидаю, что это даст мне ошибку типа, поскольку (String, String) в else случае не Pair.

case class Pair(x: String, y: String)

val value = Console.readLine.toBoolean

val Pair(x, y) =
  if (value) Pair("foo", "bar")
  else false

Вместо этого, если я введу false, во время выполнения я получаю следующую ошибку.

scala.MatchError: (foo,bar) (of class scala.Tuple2)

Я предполагаю, что деконструкция - это просто сахар для присвоения результата переменной типа Any, а затем сопоставление на ней, но кажется неудачным, что Scala позволяет этому летать.

Ответ 1

Если вы скомпилируете этот код с помощью scalac -print, вы увидите, что происходит. Как вы правильно предположили, это просто синтаксический сахар для соответствия шаблону. На самом деле ваш класс case расширяет Product, который также является суперклассом Tuple2, и это ваш код компилируется. Ваше значение присваивается переменной типа Product:

val temp6: Product = if (value)
      new Main$Pair("foo", "bar")
    else
      new Tuple2("foo", "bar");

И затем к нему применяется сопоставление шаблонов:

if (temp6.$isInstanceOf[Main$Pair]())
{
  <synthetic> val temp7: Main$Pair = temp6.$asInstanceOf[Main$Pair]();
    new Tuple2(temp7.x(), temp7.y())
}
else
  throw new MatchError(temp6)

Но, тем не менее, это не должно компилировать imho. Вы должны отправить его в список рассылки scala.