我正在尝试将我的思维从 Java 背景(以及一些 Scala 2)迁移到 Scala 3,并实现一种
PartialFunction.orElse
版本,但使用联合类型作为输入参数而不是交集类型:
trait F[A, B] extends (A => B) {
def orElse[A1, B1](other: F[A1, B1]): F[A | A1, B | B1] = {
val self = this
new F[A | A1, B | B1] {
override def apply(v: A | A1): B | B1 = {
helper(v)
}
transparent inline def helper(v: A | A1): Any = {
inline v match {
case _: A => self.apply(v.asInstanceOf[A])
case _: A1 => other.apply(v.asInstanceOf[A1])
}
}
}
}
}
但我最终发现两个调用都转到“match”的第一个分支:
val f1 = new F[Int, String] {
override def apply(v: Int): String = s"Int => String : $v"
}
val f2 = new F[String, Int] {
override def apply(v: String): Int = v.length
}
val f = f1.orElse(f2)
println(f(42)) // prints "Int => String : 42"
println(f("hello")) // fails in runtime because of trying casting String to Int
所以,我的问题是,这可能吗?如果是的话,我错过了什么?
助手可能是内联的,但整个特征不是内联的,
orElse
也不是,所以A
和A1
仍然被删除。您应该收到编译器的警告,指出无法在运行时检查 A
和 A1
。为此,您需要在范围内有一个 Typeable[A]
和 Typeable[A1]
(TypeTest[A | A1, A]
和 TypeTest[A | A1, A1]
也应该有效,因为它们更具体,但无论出于何种原因,编译器都不会这样做)不要使用它们)。
我决定使用扩展方法而不是特征,因为这样更简单。这样,您也可以将它用于普通函数,只要它们在范围内有一个
Typeable
实例(我相信 Int
、String
和其他没有类型参数或成员的原语/类的实例会自动合成) )。 (斯卡斯蒂)
import scala.reflect.Typeable
extension [A1: Typeable, B1](f1: A1 => B1)
def orElse[A2: Typeable, B2](f2: A2 => B2): (A1 | A2) => (B1 | B2) =
case v1: A1 => f1(v1)
case v2: A2 => f2(v2)
val f1 = (v: Int) => s"Int => String : $v"
val f2 = (v: String) => v.length
val f = f1.orElse(f2)
但是,显式检查类型对我来说感觉像是一种反模式,因此如果您能够提供有关更大问题的更多详细信息,将会有所帮助。