TypeTest 以克服 scala3 中泛型类型的擦除

Question

我在理解TypeTest中的 TypeTest 如何替换TypeTag中的 TypeTag 2. 用例能够匹配 x: List[Int] 等通用参数时遇到问题。

我试图解决的具体例子：

enum Foo :
  case Bar()
  case Baz()

case class Mod[T <: Foo](modFn: T => T)

def modifyBarsOrBaz(mod: Mod[_]) = mod match
  case barMod: Mod[Foo.Bar] => ???
  case bazMod: Mod[Foo.Baz] => ???

编译器警告中的编译结果（如预期）

the type test for Mod[Foo.Bar] cannot be checked at runtime和无法访问的情况。

现在我的问题是：这可能在 scala3 中完成吗？

我的印象是我必须以某种方式为所有 X 提供一个TypeTest[Any, Mod[Foo.X]] ，它们是Foo枚举的子类。

但是我什至在努力实现这些测试，以及了解using modifyBarsOrBaz需要什么参数才能使其工作。

因此，我想出了以下（不工作）解决方案：

def modifyBarsOrBaz[T <: Foo](mod: Mod[T])(using TypeTest[Any, Mod[T]]) = mod match
  case barMod: Mod[Foo.Bar] => ???
  case bazMod: Mod[Foo.Baz] => ???

和一个天真的 tt 实现

val tt: TypeTest[Any, Mod[Foo.Bar]] =
  new TypeTest[Any, Mod[Foo.Bar]] :
    def unapply(x: Any): Option[x.type & Mod[Foo.Bar]] = x match
      case m: Mod[_] => ??? // what to do here? use a classtag on Mod?

我试图在 web 中搜索答案，但由于这是相当新的，我并不幸运。 有什么提示吗？

Answer 1

这里的问题是TypeTest[Any, Mod[T]]将能够检查Any是否是Mod[T] ，而不是检查Mod[T]是否是Mod[Foo.Bar]或一个Mod[Foo.Baz] 。 您需要的是TypeTest[Any, Mod[Foo.Bar]和TypeTest[Any, Mod[Foo.Baz] ：

def modifyBarsOrBaz(mod: Mod[?])(using asBar: TypeTest[Any, Mod[Foo.Bar]], asBaz: TypeTest[Any, Mod[Foo.Baz]]) =
  mod match
    case asBar(barMod) => println("barMod")
    case asBaz(bazMod) => println("bazMod")

我不知道为什么一个简单的barMod: Mod[Foo.Bar]不能与 scope 中的TypeTest[Any, Mod[Foo.Bar]]一起工作，我稍后会谈到。

但是，您现在必须自己实际实现这些TypeTest 。 由于 JVM 没有具体化，因此您必须将有关T的信息存储在Mod class 中。 如果你真的想保留Mod一个单独的案例 class，你可以这样做：

type BarOrBaz[T <: Foo] <: String = T match {
  case Foo.Bar => "Bar"
  case Foo.Baz => "Baz"
}

case class Mod[T <: Foo](modFn: T => T, tag: BarOrBaz[T])

现在可以为Bar和Baz的TypeTest实例提供内联方法：

import compiletime.constValue

inline given [T <: Foo]: TypeTest[Mod[?], Mod[T]] = new TypeTest:
  def unapply(mod: Mod[?]) = Option.when(mod.tag == constValue[BarOrBaz[T]])(mod.asInstanceOf[mod.type & Mod[T]])

modifyBarsOrBaz将是

def modifyBarsOrBaz(mod: Mod[?])(using asBar: TypeTest[Mod[Foo], Mod[Foo.Bar]], asBaz: TypeTest[Mod[Foo], Mod[Foo.Baz]]) = mod match
  case asBar(barMod) => println("barMod")
  case asBaz(bazMod) => println("bazMod")

为方便起见，可以制作一个内联的apply方法：

object Mod:
  inline def apply[T <: Foo](modFn: T => T) = new Mod(modFn, constValue[BarOrBaz[T]])

你可以像这样使用它（ Scastie ）：

modifyBarsOrBaz(Mod[Foo.Bar](bar => bar))  //barMod
modifyBarsOrBaz(Mod[Foo.Baz](baz => baz))  //bazMod

但实际上，对这样的类型测试的需求对我来说就像是代码味道。 我建议重新考虑您的设计以解决它，而不是使用这样的标签。