理解 Scala 中的中缀方法调用和缺点运算符(::)

Question

我对 Scala 编程语言很陌生，当我遵循 这里。

我想我无法真正理解 cons 运算符是如何工作的，这里有一些我尝试过的事情：

我创建了一个伪随机数生成器，然后尝试创建一个随机值的列表：

scala> val gen = new java.util.Random
gen: java.util.Random = java.util.Random@1b27332

scala> gen nextInt 3 :: Nil
<console>:7: error: type mismatch;
 found   : List[Int]
 required: Int
       gen nextInt 3 :: Nil
                     ^

但它试图传递 List(3 ) 到 nextnt 方法。当我使用paratheses时，没有问题，

scala> (gen nextInt 3) :: Nil
res69: List[Int] = List(1)

我对执行顺序感到好奇，所以我创建了一个函数来检查它

scala> def pr(i:Int):Int = { println(i); i }
pr: (i: Int)Int

scala> pr(1) :: pr(2) :: pr(3) :: Nil
1
2
3
res71: List[Int] = List(1, 2, 3)

如输出中所示，执行顺序与出现顺序相同。然后我认为这可能与'nextInt'函数有关，然后我尝试了以下操作：

scala> 1 + 2 :: Nil
res72: List[Int] = List(3)

它首先执行加法，然后执行cons。那么问题来了：gen nextInt 3 :: Nil和1 + 2 :: Nil有什么区别？

Answer 1

这里有两件事值得关注：优先级和固定性。正如 sepp2k 提到的，Stack Overflow 上的这个问题解释了优先级，认为所引用的规则不够完整，并且从 Scala 2.7 到 Scala 2.8 有非常小的变化。不过，差异主要涉及以 = 结尾的运算符。

至于固定性，Scala 中几乎所有内容都是从左到右读取的，这是程序员所习惯的。然而，在 Scala 中，以 : 结尾的运算符是从右到左读取的。

就拿这个例子来说吧：

1 + 2 :: Nil

首先，优先级。 + 和 : 哪个优先级最高？根据该表，+ 优先于 :，因此先进行加法。因此，表达式等于：

((1).+(2)) :: Nil

现在没有优先级冲突，但由于 :: 以 : 结尾，因此它具有不同的固定性。它是从右向左读取的，因此：

Nil.::((1).+(2))

另一方面，在此：

gen nextInt 3 :: Nil

运算符 :: 优先于 nextInt，因为 : 有优先于所有字母。因此，记住它的固定性，它就变成：

gen nextInt Nil.::(3)

然后变成

gen.nextInt(Nil.::(3))

在哪一点错误是明显的。

PS：我写的是 (1).+(2) 而不是 1.+(2)，因为在撰写本文时，1. 被解释为双精度数，使 1.+(2) 成为中缀表达式，将双精度数 1.0 添加到 2。此语法从 Scala 2.10.0 开始已弃用，并且可能不会出现在 Scala 2.11 上。

Answer 2

这是关于优先级而不是执行顺序。 + 的优先级高于 ::，因此 a + b :: c 解析为 (a + b) :: c< /代码>。但是，使用常规名称的中缀方法调用的优先级较低，因此 a foo b c 解析为 a foo (bc)。

有关 scala 中按优先级排序的运算符列表，请参阅此问题。