Сужение с помощью ClassTag

Question

Я пытаюсь сузить общий тип. Он компилируется, но результат не является предполагаемым (Контейнер (A), Контейнер (B) ..) вместо (Контейнер (A), Контейнер (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 является Container

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

Я думаю, вы можете добавить охранник явно проверяя содержимое t против tag (извините, не знаю правильного синтаксиса для этого прямо сейчас)