Scala - каррирование и аргументы по умолчанию - PullRequest
Новая
       39

Scala - каррирование и аргументы по умолчанию

10 голосов
/ 15 апреля 2011

У меня есть функция с двумя списками параметров, которые я пытаюсь частично применить и использовать с каррированием. Второй список параметров содержит аргументы, которые имеют значения по умолчанию (но не неявные). Примерно так: 

 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();

Так оно и работает ...

Ответы [ 3 ]

6 голосов
/ 15 апреля 2011

Механизм выведения типов дает 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)

Может быть, вы захотите выделить значения по умолчанию, где и 1015 *, и partial могут достичь их, чтобы убедиться, что они остаются равными. Но я не знаю хитрости, чтобы избежать повторения имен параметров без дополнительных затрат, таких как создание новых объектов и т. Д.

3 голосов
/ 16 апреля 2011

Это лучшее, что я мог сделать сам: 

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();

Таким образом, это работает ...

2 голосов
/ 15 апреля 2011

После вашего комментария, вот более компактный способ написать его: 

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}
...