在单个参数上实现动态调度的标准方法是面向对象的多态性:
abstract class SuperClazz() {
def method(): ReturnType
}
case class SubClazz1() extends SuperClazz {
def method() = {
// stuff
}
}
case class SubClazz2() extends SuperClazz {
def method() = {
// stuff
}
}
// Alternatively just `def func(obj: SuperClazz) =` in this case
def func[T <: SuperClazz](obj: T) =
obj.method()
请注意,您不能case class
使用 another扩展 a case class
,并且通常认为扩展case class
es 是不好的风格。要实现这一点,您可能需要method
抽象 in SuperClazz
,因此SuperClazz
应该是 atrait
或 an abstract class
。
scala 中动态调度的另一个常见替代方法是模式匹配:
sealed abstract class SuperClazz()
case class SubClazz1() extends SuperClazz
case class SubClazz2() extends SuperClazz
def method(obj: SubClazz1) = {
// stuff
}
def method(obj: SubClazz2) = {
// stuff
}
def func(obj: SuperClazz) =
obj match {
case sc1: SubClazz1 => method(sc1)
case sc2: SubClazz2 => method(sc2)
}
当超类或特征是sealed
(在这种情况下sealed abstract class SuperClazz()
)时,通常会实现这样的模式匹配。当匹配密封超类的对象时,编译器会检查你是否列出了匹配中的所有可能性,以确保匹配时不会出现运行时错误。如果您忘记指定某些可能性,编译器会给您一个警告。
unapply
模式匹配也适用于多参数动态调度,但与多态性相比,它们通常需要编写更多样板代码,并且对于线性测试每个匹配案例和调用函数可能具有更大的运行时性能成本。