Explizite Typkonvertierung in Scala

Nehmen wir an, ich habe den folgenden Code:

abstract class Animal
case class Dog(name:String) extends Animal
var foo:Animal = Dog("rover")
var bar:Dog = foo //ERROR!

Wie behebe ich die letzte Zeile dieses Codes? Grundsätzlich möchte ich nur das tun, was in einer C-ähnlichen Sprache getan werden würde:

var bar:Dog = (Dog) foo

Ich habe das selbst herausgefunden. Es gibt zwei Lösungen:

1) Machen Sie die explizite Besetzung:

var bar:Dog = foo.asInstanceOf[Dog]

2) Verwenden Sie Pattern Matching, um es für Sie zu besetzen. Dies fängt auch Fehler auf:

var bar:Dog = foo match {
  case x:Dog => x
  case _ => {
    // Error handling code here
  }
}