What is *so* wrong with case class inheritance?

by

One word: equality

case classes come with a supplied implementation of equals and hashCode. The equivalence relation, known as equals works like this (i.e. must have the following properties):

  1. For all x; x equals x is true (reflexive)
  2. For x, y, z; if x equals y and y equals z then x equals z (transitive)
  3. For x, y; if x equals y then y equals x (symmetric)

As soon as you allow for equality within an inheritance hierarchy you can break 2 and 3. this is trivially demonstrated by the following example:

case class Point(x: Int, y: Int)
case class ColoredPoint(x: Int, y: Int, c: Color) extends Point(x, y)

Then we have:

Point(0, 0) equals ColoredPoint(0, 0, RED)

But not

ColoredPoint(0, 0, RED) equals Point(0, 0)

You might argue that all class hierarchies may have this problem, and this is true. But case classes exist specifically to simplify equality from a developer’s perspective (among other reasons), so having them behave non-intuitively would be the definition of an own goal!

There were other reasons as well; notably the fact that copy did not work as expected and interaction with the pattern matcher.

More Related Contents:

  1. Scala case class inheritance
  2. Case objects vs Enumerations in Scala
  3. Cleaner way to update nested structures
  4. Case class equality in Apache Spark
  5. What is the difference between Scala’s case class and class?
  6. How to define schema for custom type in Spark SQL?
  7. How to override apply in a case class companion
  8. How to get around the Scala case class limit of 22 fields?
  9. Case class to map in Scala
  10. Mixing in a trait dynamically
  11. Easy idiomatic way to define Ordering for a simple case class
  12. Scala Macros: Making a Map out of fields of a class in Scala
  13. When to use val or def in Scala traits?
  14. Overload constructor for Scala’s Case Classes?
  15. Why is parameter in contravariant position?
  16. Should I use the final modifier when declaring case classes?
  17. Scala 2.10 reflection, how do I extract the field values from a case class, i.e. field list from case class
  18. “dynamically” creating case classes with macros
  19. How is this case class match pattern working?
  20. Auto generation of array(string)
  21. Where does Scala look for implicits?
  22. How to convert rdd object to dataframe in spark
  23. How to write to a file in Scala?
  24. Setting up sbt to use Java 7 for compilation?
  25. How to use Column.isin with list?
  26. Is there a generic way to memoize in Scala?
  27. What are the relationships between Any, AnyVal, AnyRef, Object and how do they map when used in Java code?
  28. Why won’t the Scala compiler apply tail call optimization unless a method is final?
  29. How to run jar generated by package (possibly with other jars under lib)?
  30. Can multi-projects from GIT be used as SBT dependencies?

Leave a Comment