Один из способов предложить для решения двойных определений перегруженных методов заключается в замене перегрузки на соответствие шаблону:
object Bar {
def foo(xs: Any*) = xs foreach {
case _:String => println("str")
case _:Int => println("int")
case _ => throw new UglyRuntimeException()
}
}
Этот подход требует, чтобы мы сдавали проверку статического типа на аргументы foo. Было бы гораздо приятнее написать
object Bar {
def foo(xs: (String or Int)*) = xs foreach {
case _: String => println("str")
case _: Int => println("int")
}
}
Я могу приблизиться к Either, но он становится уродливым быстрее с более чем двумя типами:
type or[L,R] = Either[L,R]
implicit def l2Or[L,R](l: L): L or R = Left(l)
implicit def r2Or[L,R](r: R): L or R = Right(r)
object Bar {
def foo(xs: (String or Int)*) = xs foreach {
case Left(l) => println("str")
case Right(r) => println("int")
}
}
Похоже, что общее (элегантное, эффективное) решение потребует определения Either3, Either4,.... Кто-нибудь знает альтернативное решение для достижения той же цели? Насколько мне известно, Scala не имеет встроенной "дизъюнкции типа". Кроме того, неявные преобразования, определенные выше, скрываются в стандартной библиотеке где-то, чтобы я мог просто импортировать их?