Scala-Currying和默认参数
|
我有一个带有两个参数列表的函数，我试图部分应用这些函数并与curring一起使用。第二个参数列表包含所有具有默认值（但不是隐式的）的参数。像这样：
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();
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();
没有找到相关结果
已邀请:
3 个回复
呢率篓舍烫
。即eta扩展为。您可以看到例如在REPL中，的类型为，而的类型为。 eta扩展的结果是一个对象，该对象不附带任何参数名称（因为可以使用匿名参数定义）。 要解决此问题，您必须按以下方式定义：也许您会想剔除values10ѭ和都能达到的默认值，以确保它们保持相等。但是我知道避免重复参数的名称而不引入额外的开销（如创建新对象等）的技巧。镶骄册筷
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();土投
def test(a: Int) = new { def apply(b: Int = 2, c: Int = 3) { println(a + \", \" + b + \", \" + c) } }的任何调用都将通过反射进行，就像结构类型一样。实际上，返回类型是结构类型：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}