scala 将多个函数调用参数合并为一个元组——这可以禁用吗？

Question

这在我的项目中违反了类型安全，因此我正在寻找一种方法来禁用它。似乎如果一个函数采用 AnyRef（或 java.lang.Object），您可以使用任何参数组合调用该函数，Scala 会将参数合并为一个 Tuple 对象并调用该函数。

在我的情况下，该函数不需要元组，并且在运行时失败。我希望这种情况会在编译时被发现。

object WhyTuple {
 def main(args: Array[String]): Unit = {
  fooIt("foo", "bar")
 }
 def fooIt(o: AnyRef) {
  println(o.toString)
 }
}

输出：

(foo,bar)

Answer 1

这里根本没有隐式或 Predef —— 只是很好的老式编译器魔法。您可以在type checker 中找到它。我现在无法在规范中找到它。

如果你有足够的动力，你可以在编译器中添加一个 -X 选项来防止这种情况发生。

或者，您可以避免编写接受 TupleN 超类型的 arity-1 方法。

Answer 2

这样的事情怎么样：

object Qx2 {
    @deprecated def callingWithATupleProducesAWarning(a: Product) = 2
    def callingWithATupleProducesAWarning(a: Any) = 3
}

元组具有 Product 特征，因此任何传递元组的 callWithATupleProducesAWarning 调用都会产生弃用警告。

Answer 3

编辑：根据比我更了解的人的说法，以下答案实际上是错误的：请参阅this answer。感谢Aaron Novstrup 指出这一点。

这实际上是解析器的一个怪癖，而不是类型系统或编译器。 Scala 允许在没有括号的情况下调用零参数或一参数函数，但不允许调用具有多个参数的函数。所以就像Fred Haslam says，你写的不是一个带有两个参数的调用，它是一个带有一个元组值参数的调用。但是，如果方法 确实 采用两个参数，则调用 将 是两个参数的调用。似乎代码的含义会影响它的解析方式（这有点糟糕）。

至于你实际上可以做些什么，这很棘手。如果该方法确实需要两个参数，那么这个问题就会消失（即，如果有人错误地尝试用一个或三个参数调用它，他们会得到一个编译错误，如你所料）。不要以为您一直推迟添加到该方法中的一些额外参数？ :)

Answer 4

编译器能够解释没有圆括号的方法。所以 fooIt 中的圆括号表示元组。你的调用是一样的：

fooIt( ("foo","bar") )

话虽如此，如果您使用 Some(AnyRef) 或 Tuple1(AnyRef) 等包装器，您可以使方法排除调用，并检索值。

Answer 5

我认为 Predef 中 (x, y) 的定义是负责任的。 “-Yno-predefs”编译器标志可能有一些用处，假设您愿意手动导入您需要的任何隐式。我的意思是你必须在所有地方添加 import scala.Predef._。

Answer 6

您是否还可以添加一个双参数覆盖，这会阻止编译器应用语法糖？通过使类型适当模糊，您不太可能得到误报。例如：

object WhyTuple {

  ...

  class DummyType

  def fooIt(a: DummyType, b: DummyType) {
    throw new UnsupportedOperationException("Dummy function - should not be called")
  }
}