Scala сопоставление с образцом по параметру типа

Question

Я хочу, чтобы избавиться от типа стирания предупреждения этого образца кода:

val a: Seq[Any] = Seq(1) 
a match { 
    case b: Seq[Int] => b.map(c => println(2 * c)) 
    case _ => println("Not matched") 
} 

Он собирает и работает нормально, но с предупреждением:

Предупреждение :(31, 13) аргумент типа non-variable Тип Int в типе Seq [Int] (лежащий в основе Seq [Int]) не отмечен, так как он равен , удаленным стиранием case b: Seq [Int] => b.map (c => println (2 * c)) ^

У вас есть какое-то простое решение для предотвращения стирания в этом случае?

Что есть я пытался до сих пор (accorting к this):

val a: Seq[Any] = Seq(1) 
a match { 
    case b@Seq(_:Int) => b.map(c => println(2 * c)) 
    case _ => println("Not matched") 
} 

Но это не будет компилироваться, так как с теперь типа Any.

Я считаю, что есть несколько решений этой проблемы. Я соглашусь простейший.

Answer 1

Этот

case b: Seq[Int @unchecked] => b.map(c => println(2 * c)) 

избавится от предупреждения. Но это не решит основной проблемы стирания. Seq("1") будет соответствовать этому случаю.

Answer 2

У меня была такая же проблема, я в конечном итоге делает что-то вроде этого (не нашел ничего красивее):

val a: Seq[Any] = Seq(1) 
a match { 
    case b: Seq[_] => b.map(c => 
    c match { 
     case s: Int => print(2 * s) 
     case _ => print("Not matched") 
    }) 
    case _ => print("Not matched") 
} 

Answer 3

Я не уверен, что это простое решение, но я думаю, что лучше матч над типом с TypeTag сек

def matchOnList[A: TypeTag](l: List[A]) = typeOf[A] match { 
    case t if t =:= typeOf[Int] => 
     l.asInstanceOf[List[Int]].foreach(c => println(2 * c)) 
    case _ => println("Not matched") 
    } 

val a = List(1) 

matchOnList(a)