scala - 使用 ClassTag 缩小范围

Question

我正在尝试缩小泛型类型。它可以编译，但结果不是预期的 (Container(A), Container(B) ..) 而不是 (Container(A),Container(A))。我究竟做错了什么？

sealed trait Base
case class A() extends Base 
case class B() extends Base
case class Container[+T](item: Base)


object Test {
  import scala.reflect.ClassTag

  def narrowContainer[T <: Base](list: List[Container[Base]])(implicit tag: ClassTag[T]): List[Container[T]] = {
      list.collect{ case t: Container[T] => t }
  }  

  def testNarrowContainer(){
       val li = List(A(),B(),A(),B()).map(Container(_))
       println(narrowContainer[A](li))  
       println(narrowContainer[B](li)) 
  }

  def main(args: Array[String]){
      testNarrowContainer()
  }

}

Answer 1

在这个表达式中T被删除，所以实际检查的所有案例t都是一个容器

{ case t: Container[T] => t }

我认为您可以添加一个警卫明确检查t反对的内容tag（对不起，现在不知道正确的语法）