何时在 Scala 中缀表示法中使用括号

Question

在使用 Scala 编程时，我会做越来越多的函数式工作。然而，当使用中缀表示法时，很难判断何时需要括号，何时不需要。

例如下面的代码：

def caesar(k:Int)(c:Char) = c match {
    case c if c isLower => ('a'+((c-'a'+k)%26)).toChar
    case c if c isUpper => ('A'+((c-'A'+k)%26)).toChar
    case _ => c
}

def encrypt(file:String,k:Int) = (fromFile(file) mkString) map caesar(k)_

(fromFile(file) mkString) 需要括号才能编译。删除后，我收到以下错误：

Caesar.scala:24: error: not found: value map
    def encrypt(file:String,k:Int) = fromFile(file) mkString map caesar(k)_
                                                                 ^
one error found

mkString 显然返回一个字符串（通过隐式转换 AFAIK）我可以使用映射函数。

为什么这个特殊情况需要括号？是否有关于何时以及为何需要它的一般准则？

Answer 1

这是我在阅读规范后为自己整理的：

• 任何采用单个参数的方法都可以用作中缀运算符：am(b) 可以写成am b。
• 任何不需要参数的方法都可以用作后缀运算符：am 可以写成a m。

例如a.##(b)可以写成a ## b，a.!可以写成a!< /code>

• 后缀运算符的优先级低于中缀运算符，因此 foo bar baz 表示 foo.bar(baz) 而 foo bar baz bam 表示 (foo.bar(baz)).bam ，而 foo bar baz bam bim 表示 (foo.bar(baz))。 bam(bim)。
• 另外，给定对象 a 的无参数方法 m，amm 是有效的，但 am m 并不像它解析的那样作为exp1 op exp2。

由于 mkString 的一个版本采用单个参数，因此在 fromFile(file) mkString map caesar(k)_ 中它将被视为中缀运算符。还有一个不带参数的 mkString 版本，可以用作后缀运算符：

scala> List(1,2) mkString
res1: String = 12

scala> List(1,2) mkString "a"
res2: String = 1a2

有时通过在正确的位置添加点，您可以获得所需的优先级，例如 fromFile( file).mkString map { }

并且所有优先级都发生在输入和其他阶段之前，因此即使 list mkString map function 与 list.mkString(map) 一样没有任何意义.function，这就是它的解析方式。

Answer 2

Scala 参考 提到（6.12.3：前缀、中缀和后修复操作）

在连续类型中缀操作序列中 t0 op1 t1 op2 。 。 .opn tn，所有运算符 op1, . 。 。 , opn 必须具有相同的关联性。
如果它们都是左关联的，则序列被解释为 (. . . (t0 op1 t1) op2 . . .) opn tn.

在您的情况下，“map”不是运算符“mkstring”的术语，因此您需要分组（在“fromFile(file)”周围使用括号mkString')

---

实际上，Matt R 评论：

这并不是真正的结合性问题，更多的是“后缀运算符的优先级始终低于中缀运算符。例如 e1 op1 e2 op2 始终等于 ( e1 op1 e2) op2"。 （同样来自 6.12.3）

huynhjl 的 答案（已投票）提供了更多详细信息，并且 马克·布什的答案（也已投票）指向“Scala 之旅：运算符< /a>”来说明“任何采用单个参数的方法都可以用作中缀运算符”。

Answer 3

这是一个简单的规则：永远不要使用后缀运算符。如果这样做，请将以后缀运算符结尾的整个表达式放在括号内。

事实上，从 Scala 2.10.0 开始，这样做将默认生成警告。

为了更好地衡量，您可能需要将后缀运算符移出，并使用点表示法。例如：

(fromFile(file)).mkString map caesar(k)_

或者，更简单的是，

fromFile(file).mkString map caesar(k)_

另一方面，请注意可以提供空括号以将它们转换为中缀的方法：

fromFile(file) mkString () map caesar(k)_

Answer 4

规范没有明确说明，但我的经验和实验表明，Scala 编译器将始终尝试将使用中缀表示法的方法调用视为中缀运算符。即使您使用的 mkString 是后缀，编译器也会尝试将其解释为中缀，因此尝试将“map”解释为其参数。后缀运算符的所有使用都必须紧跟表达式终止符，或者与“点”符号一起使用，以便编译器将其视为这样。

您可以在Scala 之旅：运算符。