Wie komme ich bei Scala mit Typ-Löschen zurecht? Oder, warum kann ich den Typparameter meiner Sammlungen nicht erhalten?

Können Sie dies mit TypeTags (wie Daniel schon erwähnt, aber ich werde einfach spell it out explizit):

import scala.reflect.runtime.universe._
def matchList[A: TypeTag](list: List[A]) = list match {
  case strlist: List[String @unchecked] if typeOf[A] =:= typeOf[String] => println("A list of strings!")
  case intlist: List[Int @unchecked] if typeOf[A] =:= typeOf[Int] => println("A list of ints!")
}

Können Sie auch dies tun, indem Sie ClassTags (welche speichert Sie vom müssen davon abhängen, scala-spiegeln):

import scala.reflect.{ClassTag, classTag}
def matchList2[A : ClassTag](list: List[A]) = list match {
  case strlist: List[String @unchecked] if classTag[A] == classTag[String] => println("A List of strings!")
  case intlist: List[Int @unchecked] if classTag[A] == classTag[Int] => println("A list of ints!")
}

ClassTags kann verwendet werden, solange Sie nicht erwarten, dass die Typ-parameter A um sich einen generischen Typ.

Leider ist es etwas Ausführlicher, und Sie müssen das @ - deaktiviert Anmerkung zu unterdrücken, um eine compiler-Warnung. Der TypeTag eingearbeitet werden können in die pattern-match-automatisch durch den compiler in die Zukunft: https://issues.scala-lang.org/browse/SI-6517

InformationsquelleAutor der Antwort tksfz

Habe ich eine relativ einfache Lösung, das würde genügen, in der limited-use-Situationen, die im wesentlichen der Verpackung parametrisierte Typen, die würden leiden unter dem Typ erasure problem in wrapper-Klassen, die verwendet werden können in einem match-statement.

case class StringListHolder(list:List[String])

StringListHolder(List("str1","str2")) match {
    case holder: StringListHolder => holder.list foreach println
}

Dieser hat die erwartete Ausgabe und die Grenzen der Inhalt in unserem Fall die Klasse, um den gewünschten Typ, String-Listen.

Mehr details hier: http://www.scalafied.com/?p=60

InformationsquelleAutor der Antwort thricejamie

Fand ich einen etwas besseren workaround für diese Einschränkung der ansonsten wunderbare Sprache.

In Scala die Ausgabe von type erasure tritt nicht mit arrays. Ich denke, es ist einfacher zu zeigen dies mit einem Beispiel.

Lassen Sie uns sagen, wir haben eine Liste von (Int, String) dann die folgende gibt eine Art Löschung Achtung

x match {
  case l:List[(Int, String)] => 
  ...
}

Um dies zu umgehen, erstellen Sie zuerst eine Fall-Klasse:

case class IntString(i:Int, s:String)

dann in den pattern-matching-tun Sie etwas wie:

x match {
  case a:Array[IntString] => 
  ...
}

scheint zu funktionieren perfekt.

Dies erfordert kleine änderungen im code, um die Arbeit mit arrays anstelle von Listen, sollte aber kein großes problem.

Beachten Sie, dass die Verwendung case a:Array[(Int, String)] wird immer noch ein type-erasure Warnung, so ist es notwendig, einen neuen container-Klasse (in diesem Beispiel IntString).

InformationsquelleAutor der Antwort Jus12

Frage ich mich, ob dies eine geeignete Problemumgehung:

scala> List(1,2,3) match {
     |    case List(_: String, _*) => println("A list of strings?!")
     |    case _ => println("Ok")
     | }

Es entspricht nicht der "leere Liste", aber es gibt einen compile-Fehler, keine Warnung!

error: type mismatch;
found:     String
requirerd: Int

Diese auf der anderen Seite scheint zu funktionieren....

scala> List(1,2,3) match {
     |    case List(_: Int, _*) => println("A list of ints")
     |    case _ => println("Ok")
     | }

Ist es nicht irgendwie auch besser, oder übersehe ich den Punkt hier?

InformationsquelleAutor der Antwort agilesteel

Wollte ich hinzufügen, dass eine Antwort, die vergröbert das problem: Wie bekomme eine String-Darstellung des Typs von meiner Liste zur Laufzeit

import scala.reflect.runtime.universe._

def whatListAmI[A : TypeTag](list : List[A]) = {
    if (typeTag[A] == typeTag[java.lang.String]) //note that typeTag[String] does not match due to type alias being a different type
        println("its a String")
    else if (typeTag[A] == typeTag[Int])
        println("its a Int")

    s"A List of ${typeTag[A].tpe.toString}"
}

val listInt = List(1,2,3)
val listString = List("a", "b", "c")

println(whatListAmI(listInt))
println(whatListAmI(listString))

InformationsquelleAutor der Antwort Steve Robinson