Scala 在调用单参数函数时为什么以及如何特殊对待元组？

Question

scala 将多个函数调用参数合并到一个元组中 - 可以禁用此功能吗？ 讨论了 Scala 创建一个元组以绑定到一个 arg 函数。这导致

scala> println(1, 2)
(1,2)

答案说编译器允许在没有括号的情况下调用一个 arg 函数，因此从逻辑上讲，这是对带有元组的 println 的调用。

但是 println 不能使用单个元组参数调用，

scala> val t = (1, 2)
t: (Int, Int) = (1,2)

scala> println t
<console>:6: error: value t is not a member of Unit
       println t
           ^

因此会发生其他情况。为什么元组在这里很特别？

Answer 1

与相反这个解释，Scala解析 println(1,2)（或Console println (1,2)）它以同样的方式解析任何双参数方法调用。随后，编译器通过将方法参数包装在元组中来转换调用，以匹配实际的方法类型签名。

如果编译器不这样做，像 Console println (1,2) 这样完全有效的表达式将无法编译，因为 println 不接受多个参数。此行为还有其他有效用例。

从编译器的角度考虑像 foo bar (1,2) 这样的表达式，请记住 Scala 有特殊的语法，允许您删除 . 和括号在方法调用上。这可能是对带有参数 1 和 2 的双参数 bar 方法的调用，也可能是对单参数的调用带有单个元组值参数的 bar 方法。解析器对 bar 方法一无所知，因此它只是解析为两个参数的方法调用。

在类型检查阶段，假设编译器确定 foo 没有双参数 bar 方法，但有一个单参数 bar其签名与元组解释兼容的方法。由于没有其他有效的解释，它假设这就是您的意思并将两个参数转换为一个元组。请注意，如果存在两个参数的 bar 方法，即使该方法与实际参数不兼容，打字器也不会执行自动元组转换。

Answer 2

调用 on-arg 函数时可以省略括号的说法并不总是正确的。
请注意：

    println "hello"
    val puts = (s: String) => println(s)
    puts "hello"

尽管这里没有元组，但也不起作用。
如果您使用中缀表示法，它会起作用。以下语句效果很好：

    Console println "hello"
    val t = (1, 2)
    Console println t
    puts apply "hello" // puts is defined above