Возможно ли, чтобы значение необязательного аргумента зависело от другого аргумента в Scala - PullRequest
Новая
       16

Возможно ли, чтобы значение необязательного аргумента зависело от другого аргумента в Scala

17 голосов
/ 22 июня 2010

Кто-нибудь знает, возможно ли что-то подобное в Scala: 

case class Thing(property:String)

def f(thing:Thing, prop:String = thing.property) = println(prop)

Приведенный выше код не компилируется;выдача ошибки error: not found: value thing at thing.property

Ниже показано ожидаемое поведение: 

f(Thing("abc"), "123") // prints "123"
f(Thing("abc"))        // prints "abc"

Я понимаю, что могу сделать аргумент prop Option[String] и выполнить проверкув определении функции, но мне было интересно, есть ли способ обойти это с новой поддержкой аргументов named / default в 2.8.0.

Ответы [ 3 ]

20 голосов
/ 22 июня 2010

Да, это возможно в Scala 2.8. Вот цитата из «Именованных и стандартных аргументов в Scala 2.8» дизайн документа:

Поскольку область действия параметра расширяется по всем последующим спискам параметров (и тело метода), по умолчанию выражения могут зависеть от параметров из предыдущих списков параметров (но не по другим параметрам в том же список параметров). Обратите внимание, что при использовании значение по умолчанию, которое зависит от более ранние параметры, фактические аргументы используются, а не по умолчанию аргументы. 

def f(a: Int = 0)(b: Int = a + 1) = b // OK

И еще один пример: 

def f[T](a: Int = 1)(b: T = a + 1)(c: T = b)
// generates:
// def f$default$1[T]: Int = 1
// def f$default$2[T](a: Int): Int = a + 1
// def f$default$3[T](a: Int)(b: T): T = b

В соответствии с этим ваш код может выглядеть следующим образом: 

scala> case class Thing(property:String)
defined class Thing

scala> def f(thing:Thing)(prop:String = thing.property) = println(prop)
f: (thing: Thing)(prop: String)Unit

scala> f(Thing("abc"))("123")
123

scala> f(Thing("abc"))()
abc
1 голос
/ 22 июня 2010

Другое простое решение - просто перегрузить метод: 

case class Thing (property: String)

def f(thing: Thing, prop: String) = println(prop)

def f(thing: Thing) = f(thing, thing.property)
0 голосов
/ 22 июня 2010

Это именно то, для чего Option. Вы можете использовать метод getOrElse перед вызовом метода или внутри метода f. 

scala> val abc = Some("abc")
abc: Some[java.lang.String] = Some(abc)

scala> val none: Option[String] = None
none: Option[String] = None

scala> println(abc getOrElse "123")
abc

scala> println(none getOrElse "123")
123

scala> def f(o: Option[String]) = println(o getOrElse "123")
f: (o: Option[String])Unit

scala> f(abc)
abc

scala> f(none)
123

О, вот что вы можете сделать с помощью аргументов по умолчанию: 

scala> case class Thing(property: String = "123")
defined class Thing

scala> def f(t: Thing) = println(t.property)
f: (t: Thing)Unit

scala> f(Thing("abc"))
abc

scala> f(Thing())
123

Ожидаемое поведение может быть достигнуто простой перегрузкой. Мне нужно было поместить метод в object, потому что похоже, что REPL не допускает прямых перегруженных объявлений функций: 

scala> object O {
         def overloaded(t:Thing) = println(t.property)
         def overloaded(t:Thing,s:String) = println(s)
       }
defined module O

scala> O.overloaded(Thing("abc"), "123")
123

scala> O.overloaded(Thing("abc"))
abc
...