Scala - 柯里化和默认参数

Question

我有一个带有两个参数列表的函数，我试图部分应用并与柯里化一起使用。第二个参数列表包含所有具有默认值（但不是隐式的）的参数。像这样的事情：

 def test(a: Int)(b: Int = 2, c: Int = 3) { println(a + ", " + b + ", " + c); }

现在，以下都很好：

 test(1)(2, 3);
 test(1)(2);
 test(1)(c=3);
 test(1)();

现在如果我定义：

 def partial = test(1) _;

那么可以完成以下操作：

 partial(2, 3);

有人可以解释为什么我不能省略“部分”中的某些/所有参数，如下所示：

 partial(2);
 partial(c=3);
 partial();

不应该写“部分” ” 的行为本质上与“test(1)”相同？有人可以帮我想出一种方法来实现这一目标吗？

请帮忙，我很绝望！

编辑 - 由于我无法在 24 小时内回答我自己的问题，我将在这里发布我自己的答案：

这是迄今为止我自己能做的最好的事情：

class Test2(val a: Int) {
   def apply(b: Int = 2, c: Int = 3) { println(a + ", " + b + ", " + c); }
}

def test2(a: Int) = new Test2(a);
def partial2 = test2(1); // Note no underscore

test2(1)(2, 3);
test2(1)(2);
test2(1)(c=3);
test2(1)();

partial2(2, 3)
partial2(2);
partial2(c=3);
partial2();

这样就可以了......

Answer 1

类型推断引擎为 partial 提供接下来的类型；即 eta 扩展 test(1) _。例如，您可以在 REPL 中看到 partial 的类型为 (Int, Int) => Unit，而 test 的类型为 (a: Int)(b: Int,c: Int)Unit。 eta 扩展的结果是一个 Function 对象，它不带有任何参数名称（因为可以使用匿名参数定义 Function）。

要解决此问题，您必须按如下方式定义 partial：

def partial(b: Int = 2, c: Int = 3) = test(1)(b,c)

也许您需要分解出 test 和 partial 都可以使用的默认值接触他们以确保他们保持平等。但我不知道有什么技巧可以避免重复参数名称而不引入额外的开销，例如创建新对象等。

Answer 2

这是迄今为止我自己能做的最好的事情：

class Test2(val a: Int) {
   def apply(b: Int = 2, c: Int = 3) { println(a + ", " + b + ", " + c); }
}

def test2(a: Int) = new Test2(a);
def partial2 = test2(1); // Note no underscore

test2(1)(2, 3);
test2(1)(2);
test2(1)(c=3);
test2(1)();

partial2(2, 3)
partial2(2);
partial2(c=3);
partial2();

这样就可以了......

Answer 3

根据您的评论，这里有一种更紧凑的编写方式：

def test(a: Int) = new {
  def apply(b: Int = 2, c: Int = 3) {
    println(a + ", " + b + ", " + c)
  }
}

这比您的提案更紧凑，但效率较低，因为对内部 apply 的任何调用都将通过反射进行，如下所示与结构类型。实际上，test的返回类型是一个结构类型：

 java.lang.Object{def apply(b: Int,c: Int): Unit; def apply$default$1: 
 Int @scala.annotation.unchecked.uncheckedVariance; def apply$default$2: Int 
 @scala.annotation.unchecked.uncheckedVariance}