Forward References – why does this code compile?

by

The body of a class or an object is the primary constructor. A constructor, like a method, is a sequence of statements that are executed in order — to do anything else, it would have to be a very different language. I’m pretty sure you wouldn’t like for Scala to execute the statements of your methods in any other order than sequential.

The problem here is that the body of classes and objects are also the declaration of members, and this is the source of your confusion. You see val declarations as being precisely that: a declarative form of programming, like a Prolog program or an XML configuration file. But they are really two things:

// This is the declarative part
object A {
  val b
  val c
}

// This is the constructor part
object A {
  b = c
  c = "foo"
}

Another part of your problem is that your example is very simple. It is a special case in which a certain behavior seems to make sense. But consider something like:

abstract class A {
  def c: String
}

class B extends A {
  val b = c
  override val c = "foo"
}

class C extends { override val c = "foobar" } with B

val x = new C
println(x.b)
println(x.c)

What do you expect to happen? The semantics of constructor execution guarantees two things:

  1. Predictability. You might find it non-intuitive at first, but the rules are clear and relatively easy to follow.
  2. Subclasses can depend on superclasses having initialized themselves (and, therefore, its methods being available).

Output:

it will print “foobar” twice for more => https://docs.scala-lang.org/tutorials/FAQ/initialization-order.html

More Related Contents:

  1. withFilter instead of filter
  2. What does a lazy val do?
  3. `def` vs `val` vs `lazy val` evaluation in Scala
  4. In Scala, what exactly does ‘val a: A = _’ (underscore) mean?
  5. Scala – initialization order of vals
  6. How to convert scala List in to Map
  7. Best way to merge two maps and sum the values of same key?
  8. Return in Scala
  9. What does the `#` operator mean in Scala?
  10. How do I skip a header from CSV files in Spark?
  11. What is meant by Scala’s path-dependent types?
  12. Difference between reduce and foldLeft/fold in functional programming (particularly Scala and Scala APIs)?
  13. how to keep return value when logging in scala
  14. Defining a UDF that accepts an Array of objects in a Spark DataFrame?
  15. Processing multiple files as independent RDD’s in parallel
  16. Why does the Scala compiler disallow overloaded methods with default arguments?
  17. How to convert unix timestamp to date in Spark
  18. Scala Macros: Making a Map out of fields of a class in Scala
  19. How to pattern match into an uppercase variable?
  20. Scala double definition (2 methods have the same type erasure)
  21. What is going wrong with `unionAll` of Spark `DataFrame`?
  22. Scala macros: What is the difference between typed (aka typechecked) and untyped Trees
  23. What are all the instances of syntactic sugar in Scala?
  24. Scala: short form of pattern matching that returns Boolean
  25. What does a single apostrophe mean in Scala? [duplicate]
  26. How do you define a local var/val in the primary constructor in Scala?
  27. Queries with streaming sources must be executed with writeStream.start();
  28. Singletons as Synthetic classes in Scala?
  29. Understanding the Aux pattern in Scala Type System
  30. Multiple parameter closure argument type not inferred

Leave a Comment