简单问题 - “错误：缺少方法的参数列表”

Question

我有一个简单的类和一个带有重载应用方法的伴生对象：

case class A(val s: String,
         val x: Int,
         val y: Int,
         val z: Int,
         val foo: Int => Int,
         val l: Option[List[String]])

object A {
    def apply(s: String, x: Int, y: Int, z: Int, foo: Int => Int) =
        new A(s, x, y, z, foo, None)

    def apply(s: String, x: Int, y: Int, z: Int, foo: Int => Int, l: List[String]) =
        new A(s, x, y, z, foo, Some(l))
}

让我们也定义一个函数：

def foo(x: Int): Int = x + 1

使用第一个构造函数有效：

scala> val a1 = A("a1", 1, 2, 3, foo)
a1: A = A(a1,1,2,3,$$Lambda$1842/2112068307@598e02f0,None)

但是使用第二个不会：

val a2 = A("a1", 1, 2, 3, foo, List("b1", "b2"))
<console>:24: error: missing argument list for method foo
Unapplied methods are only converted to functions when a function type is expected.
You can make this conversion explicit by writing `foo _` or `foo(_)` instead of `foo`.
       val a2 = A("a1", 1, 2, 3, foo, List("b1", "b2"))

问题：我需要传递 foo _ 或 foo(_) 而不是像 a1 示例中的 foo 的原因是什么？另外，我可以重新定义我的班级以使其可以只使用foo吗？

Answer 1

如果foo 被声明为函数val，它就可以正常工作

scala> val foo = (x: Int) => x + 1
foo: Int => Int = <function1>

scala> val a1 = A("a1", 1, 2, 3, foo)
a1: A = A(a1,1,2,3,<function1>,None)

scala> val a2 = A("a1", 1, 2, 3, foo, List("b1", "b2"))
a2: A = A(a1,1,2,3,<function1>,Some(List(b1, b2)))

为什么def foo 适用于a1 我不确定，但这可能与case class A 期望一个函数而不是一个方法有关，因为这显然是scala 中的两个不同的东西。

Here is a post that might explain better

Answer 2

我无法解释这一点。我的第一个想法是它与类型擦除有关，正如slouc 所说，但后来我更仔细地查看了签名，即使在擦除之后它们都没有相同的类型签名：

案例类apply:

String, Int, Int, Int, Function1, Option

伴随对象apply1：

String, Int, Int, Int, Function1

伴随对象apply2：

String, Int, Int, Int, Function1, List

所以，我不明白这是怎么回事。

试图让它工作我注意到如果你将第二个 apply 方法重命名为别的东西，它会正常工作：

scala> val a1 = A("a1", 1, 2, 3, foo)
a1: A = A(a1,1,2,3,$$Lambda$1286/1904652802@6b649efa,None)

scala> val a2 = A.apply2("a1", 1, 2, 3, foo, List("b1", "b2"))
a2: A = A(a1,1,2,3,$$Lambda$1287/866073173@2dd63e3,Some(List(b1, b2)))

或者定义两个 apply 方法不在伴随对象中：

object B {

    def apply(s: String, x: Int, y: Int, z: Int, foo: Int => Int): A =
      new A(s, x, y, z, foo, None)

    def apply(s: String, x: Int, y: Int, z: Int, foo: Int => Int, l: List[String]): A =
      new A(s, x, y, z, foo, Some(l))
}

REPL：

scala> val a1 = B("a1", 1, 2, 3, foo)
a1: A = A(a1,1,2,3,$$Lambda$1351/814507488@50fa5938,None)

scala> val a2 = B("a1", 1, 2, 3, foo, List("b1", "b2"))
a2: A = A(a1,1,2,3,$$Lambda$1352/613231852@5d77be8e,Some(List(b1, b2)))

第三种方法，正如Robert Udah 提到的，将foo 定义为函数文字(x: Int) => x + 1 也解决了这个问题。不过，不一定非得是val，也可以是def：

def foo = (x: Int) => x + 1