Почему в Scala можно назначать рекурсивные лямбда-выражения неленивым val?

val f: Int => Int = (a: Int) =>
    if (a > 10) 3 else f(a + 1) + 1 // just some simple function

Ответ 1 · рейтинг 7 · kiritsuku

Вероятно, вы пытались использовать это в REPL, который заключает все содержимое в определение объекта. Это важно, потому что в Scala (или лучше: в JVM) все значения экземпляра инициализируются значением по умолчанию, которое равно null для всех AnyRefs и 0, 0.0 или false для AnyVals. Для значений метода эта инициализация по умолчанию не происходит, поэтому в этом случае вы получаете сообщение об ошибке:

scala> object x { val f: Int => Int = a => if (a > 10) 3 else f(a+1)+1 }
defined object x

scala> def x { val f: Int => Int = a => if (a > 10) 3 else f(a+1)+1 }
<console>:7: error: forward reference extends over definition of value f
       def x { val f: Int => Int = a => if (a > 10) 3 else f(a+1)+1 }
                                                           ^

Такое поведение может даже привести к странным ситуациям, поэтому следует быть осторожным с рекурсивными значениями экземпляра:

scala> val m: Int = m+1
m: Int = 1

scala> val s: String = s+" x"
s: String = null x