具有特征匹配的Scala泛型

Question

看看这个代码。

trait SomeMix {

}

trait Processor[T] {

  def processMix(t: T with SomeMix) = {
    println("processing T with Mix")
  }

  def processAsUsual(t:T)= {
    println("processing T")
  }

  def process(t:T) = {
    t match {
      case mix: SomeMix => processMix(mix) // <---- error here 
      case _ => processAsUsual(t)
    }
  }
}

愚蠢的Scala编译器在这里显示错误:

错误：（22， 39） 类型不匹配;找到： mix.type （底层类型 SomeMix） 必需： T with SomeMix 大小写混合： SomeMix =

它不理解表达式I匹配到在某种混合已经是类型T。好吧，让我们帮助他。更改代码：

   def process(t:T) = {
    t match {
      case mix: T with SomeMix => processMix(mix) // <---- warning here 
      case _ => processAsUsual(t)
    }
  }

现在，它同意一切都是正确的，但显示警告：

警告：（22，17）抽象类型模式T未选中，因为它已通过擦除大小写混合消除：T与SomeMix=

有什么好的方法可以避免错误和警告吗？

Answer 1

这样地？

trait SomeMix {

}

trait Processor[T] {

  def processMix(t: SomeMix) = {
    println("processing SomeMix")
  }

  def processAsUsual(t:T)= {
    println("processing T")
  }

  def process(t:T) = {
    t match {
      case mix: SomeMix => processMix(mix)
      case _ => processAsUsual(t)
    }
  }
}

Answer 2

因为，正如您所提到的，它肯定是＜code＞T＜/code＞的一个实例，所以您可以取消选中警告：

case mix: (T @unchecked) with SomeMix

注意，它仍然是未检查的，在运行时只测试匹配者是< code>SomeMix的实例；如果你换成例如

def process(t: Any) = ...

你会得到不好的结果。

Answer 3

Scala编译器并不愚蠢。由于类型擦除，无法使用SomeMix检查t是否为＜code＞t的实例。尝试将TypeClass与静态调度一起使用，而不是动态类型调度。

例如

trait SomeMix {
  def someMethod: String = "test2"
}

class SomeType

def process[T](t: T)(implicit P: Process[T]): Unit = P.process(t)

trait Process[T] {
  def process(t: T): Unit
}

implicit val processString: Process[SomeType] = s =>
  println(s"processing $s as usual")
implicit val processStringWithSomeMix: Process[SomeType with SomeMix] = s =>
  println(s"processing $s with mix ${s.someMethod}")

process(new SomeType)
process(new SomeType with SomeMix)