Scala pattern-matching confusion

Question

Я начинаю изучать Scala, и я не совсем понимаю некоторые способы сопоставления шаблонов. Может ли кто-нибудь объяснить мне, почему первый случай работает, но второй случай не работает?

def getFirstElement(list: List[Int]) : Int = list match { 
    case h::tail => h 
    case _ => -1 
} 

Scala> getFirstElement(List(1,2,3,4)) 
res: Int = 1 

Scala> 1 :: List(1,2) 
res: List[Int] = List(1, 1, 2) 

def getSumofFirstTwoElement(list: List[Int]): Int = list match { 
    case List(a: Int, b: Int)++tail => a + b 
    case _ => -1 
} 

<console>:11: error: not found: value ++ 

Scala> List(1,2) ++ List(3,4,5) 
res: List[Int] = List(1, 2, 3, 4, 5) 

Answer 1

Причина заключается в том, что нет unapply метод на объект типа ++. Причина, по которой :: работает потому, что за кулисами она действительно:

final case class ::[B](override val head: B, private[scala] var tl: List[B]) extends List[B] { 
    override def tail : List[B] = tl 
    override def isEmpty: Boolean = false 
} 

Source

Это приводит к тому, как по шаблону реализован в Scala. Он использует extractors (или here), которые являются в основном объектами, которые содержат метод unapply, который предоставляется по умолчанию классами case.

Answer 2

++ представляет собой метод на объект списка. Я думаю, что вы хотите:

def getSumofFirstTwoElement(list: List[Int]): Int = list match { 
    case a::b::tail => a + b 
    case _ => -1 
} 

Answer 3

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

Хорошее объяснение here.

scala> def getSumofFirstTwoElement(list: List[Int]): Int = list match { 
    |  case a::b::t => a + b 
    |  case _ => -1 
    | } 
getSumofFirstTwoElement: (list: List[Int])Int 


scala> getSumofFirstTwoElement(List(1,2,3,4)) 
res0: Int = 3