право-ассоциативный оператор тройной толстой кишки

Question

Хотя тройной двоеточие является право-ассоциативным оператором, следующий результат говорит, что это неверно, не так ли?

List(3, 4, 5) ::: List(18, 19, 20) //> List[Int] = List(3, 4, 5, 18, 19, 20) 

С моей точки зрения, результат должен быть List(18, 19, 20, 3, 4, 5), так как это то же самое, как говорят:

List(18, 19, 20).:::(List(3, 4, 5)) 

ли я понимаю, определение того, чтобы быть правоассоциативной неправильно?

Answer 1

Из документов:

def :::(prefix: List[A]): List[A] 
[use case] Adds the elements of a given list in front of this list. 

Пример:

List(1, 2) ::: List(3, 4) = List(3, 4).:::(List(1, 2)) = List(1, 2, 3, 4) 
prefix - The list elements to prepend. 
returns - a list resulting from the concatenation of the given list prefix and this list. 

Это говорит все это. Что касается право-ассоциативных операций, то ваш право.

Answer 2

Ассоциативность не имеет значения в выражение

x ::: y 

Ассоциативность ::: определяет, является ли

x ::: y ::: z 

интерпретируется как (если левоассоциативной)

(x ::: y) ::: z 

или как (если право-ассоциативный)

Поскольку в Scala все операторы, заканчивающиеся на двоеточие, являются право-ассоциативными, используется последняя интерпретация: предполагается, что x, y, z являются переменными типа List, первая y добавляется к z, а затем x добавляется к тому, что.