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

问题描述 投票:0回答:1

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

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

scala generics pattern-matching scala-3
1个回答
5
投票

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

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)

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

© www.soinside.com 2019 - 2024. All rights reserved.