Scala: понимание оператора :::

Question

Верно ли, что применение оператора list1 ::: list2 к двум спискам соответствует добавлению всего содержимого list1 к list2?

scala> val a = List(1,2,3) 
a: List[Int] = List(1, 2, 3) 

scala> val b = List(4,5,6) 
b: List[Int] = List(4, 5, 6) 

scala> a:::b 
res0: List[Int] = List(1, 2, 3, 4, 5, 6) 

Есть ли другие функции для этого оператора? Я не мог найти ничего на ::: в документации Scala, и мне интересно, насколько его формальное имя и использование.

Answer 1

Да, это всего лишь оператор конкатенации списка. Они представляют собой нисходящие связанные списки, поэтому концептуально все, что он действительно делает, - это взять последнюю ячейку cons из первого списка и направить ее в голову второго списка вместо Nil.

Вы также можете использовать более общий оператор ++ вместо :::, если хотите. Конечный результат тот же, но технически вы делаете вызовы на разные объекты. Операторы, оканчивающиеся на a: являются правильными ассоциативными в Scala, поэтому использование a ++ b такое же, как. ++ (b) или в основном a.append (b), в отличие от a :: b, являющегося правильным ассоциативным, переводится в b . :: :(a), который можно читать как b.prepend (a).