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

Question

6

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

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

例子：

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

然而，我对Scala编译器如何识别这种转换感到困惑。因为据我所知，

1 :: List(2,3)

应该会抛出一个错误：:: 不是Int的成员

我是否对Scala的运算符定义有所遗漏？

- Eric Zheng

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Jörg W Mittag · Accepted Answer

a foo_: b

相当于

b.foo_:(a)

这个规则是专门针对像这样的方法存在的，这些方法通常（在其他语言比如Haskell和ML中）都是像:或者::这样的操作符。