Scala 3: Неполное совпадение для Vector, но не для Seq

1. Поскольку спецификация Scala 3 еще не выпущена (на самом деле, она все еще находится в разработке), я буду использовать спецификацию Scala 2.13 (спецификация 2.13 + список изменений в Reference является ближайшим приближением спецификации Scala 3, которая у нас на данный момент есть):

   Если селектор соответствия шаблону является экземпляром запечатанного класса, компиляция сопоставления шаблонов может выдавать предупреждения, диагностирующие, что данный набор шаблонов не является исчерпывающим, т. е. существует вероятность возникновения MatchError во время выполнения. .

   При упоминании исчерпывающих проверок упоминается только sealed. Во всем остальном поведение не определяется спецификацией, поэтому в лучшем случае оно зависит от реализации.

   В примечаниях к выпуску Scala 2.13.4 упоминается -Xlint:strict-unsealed-patmat флаг, который может добавить более исчерпывающие проверки.

   • Есть вероятность, что он где-то включен, например. если вы это сделаете -Xlint со всеми опциями или если у вас есть что-то вроде sbt-tpolecat, которое включает множество флагов

2. Вектор — это запечатанный признак (в версии 2.13 и т. д. в Scala 3, поскольку он использует стандартную библиотеку версии 2.13)

3. Seq это просто черта

4. упомянутые вами ошибки связаны с исчерпывающими проверками unapplySeq, поэтому в основном такие вещи, как:

   Vector(1, 2, 3) match
     case Vector()  => println("empty")
     case Vector(multiple*) => println(s"last: ${multiple.last}")
   

   хотя +: там упоминалось как что-то, что должно быть подвергнуто анализу компилятором, это было скорее желанием - оно НЕ реализовано, и я ожидал, что оно никогда не будет реализовано, потому что это просто произвольное решение.

   object :+ {
     def unapply[A, CC[_] <: Seq[_], C <: SeqOps[A, CC, C]](t: C with SeqOps[A, CC, C]): Option[(A, C)] = ...
   }
   

   Компилятор не может угадать, что это делает внутри и как это связано с другими совпадениями. Кто-то должен был бы добавить в компилятор особый случай... который нельзя было бы добавить ни для одного другого предоставленного пользователем unapply, поэтому я не ожидаю, что это произойдет.

Собираем все это вместе:

• когда вы используете Seq, компилятор по умолчанию не пытается проверить полноту (с некоторым флагом -X это может быть возможно)
• когда вы используете Vector, это sealed, поэтому он попытается доказать исчерпывающую проверку
• улучшения компилятора позволяют обеспечить исчерпывающую проверку при использовании unapplySeq (case Vector(...) =>)
• ни +:, ни :+ не являются Vector.unapplySeq, поэтому приведенные выше улучшения их не касаются, и они не исчерпывают никаких возможностей с точки зрения компилятора.
• то, что вы наблюдаете, скорее всего, работает так, как задумано (в конце концов, спецификации Scala 3 не существует, поэтому мы не можем быть уверены, не спрашивая разработчиков), это вряд ли ошибка, даже если она не работает так, как вы надеетесь.