scala - scala-方法::如何在List中工作？

Question

我注意到List类定义了::方法，该方法在列表的开头添加了一个元素

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

例子:

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

但是，我对scala编译器如何识别这种转换感到困惑？因为就我而言，

1 :: List(2,3)

应该提出一个 error: :: is not a member of Int
我是否会错过有关scala的运算符定义的知识？

Answer 1

使用中缀运算符表示法调用时Methods whose names end with : are right-associative。 IE。

a foo_: b

是相同的

b.foo_:(a)

此规则专门针对此类方法而存在，此类方法通常(在其他语言，例如Haskell和ML中)是运算符，例如 :或 ::。