scala - Jak metoda :: działa na liście?

Question

Zauważyłem, że klasa List zdefiniować metodę ::, który dodaje element na początek listy

def ::(x: A): List[A] 

Przykład:

1 :: List(2, 3) = List(2, 3).::(1) = List(1, 2, 3) 

Jednak jestem mylić w jaki sposób scala kompilator rozpoznać takie konwersja? Bo o ile jestem zaniepokojony,

1 :: List(2,3) 

powinien podnieść error: :: is not a member of Int

Czy tęsknię coś o definicji operatora Scala?

Answer 1

Methods whose names end with : are right-associative po wywołaniu z użyciem notacji operatora infiks. To znaczy.

a foo_: b 

jest taka sama jak

b.foo_:(a) 

Zasada ta występuje zwłaszcza w przypadku metod, takich jak to, które są często (w innych językach, na przykład Haskell ml) operatorów jak : lub ::.