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

Question

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

case class Thing(property:String)

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

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

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

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

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

Answer 1

Да, это возможно в 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

Answer 2

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

case class Thing (property: String)

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

def f(thing: Thing) = f(thing, thing.property)

Answer 3

Это именно то, что 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