Scala 3 中可以通过泛型类型进行模式匹配吗？

Question

我正在尝试将我的思维从 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

所以，我的问题是，这可能吗？如果是的话，我错过了什么？

Answer 1

助手可能是内联的，但整个特征不是内联的，

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)

但是，显式检查类型对我来说感觉像是一种反模式，因此如果您能够提供有关更大问题的更多详细信息，将会有所帮助。