Scala: problema di corrispondenza del modello con nomi di classi completamente qualificati nella parametrizzazione

Question

Ho un piccolo problema nel modello che corrisponde ad un oggetto in Scala quando è parametrizzato con un nome di classe completo. Questo è basato su Scala 2.9.0.1. Qualcuno sa cosa c'è di sbagliato con questo codice?

scala> "foo" match { 
| case y : Seq[Integer] => 
| case y : Seq[java.lang.Integer] => 
<console>:3: error: ']' expected but '.' found. 
    case y : Seq[java.lang.Integer] => 

Perché la prima versione funziona, ma il secondo non funziona? Il problema sembra verificarsi solo quando per la parametrizzazione viene utilizzato un nome classe completo.

Answer 1

Dal Scala Language Specification, sezione 8.1 Patterns, l'identificativo dopo il: deve essere quello che viene definito come un tipo di modello, definito nella sezione 8.2:

Type patterns consist of types, type variables, and wildcards. A type pattern T is of one of the following forms:

...

A parameterized type pattern T [a(1), . . . , a(n)], where the a(i) are type variable patterns or wildcards _. This type pattern matches all values which match T for some arbitrary instantiation of the type variables and wildcards. The bounds or alias type of these type variable are determined as described in (§8.3).

...

A type variable pattern is a simple identifier which starts with a lower case letter. However, the predefined primitive type aliases unit, boolean, byte, short, char, int, long, float, and double are not classified as type variable patterns.

Quindi, sintatticamente, non è possibile utilizzare una classe pienamente qualificata come tipo di modello variabile IN QUESTA POSIZIONE. Tuttavia, è possibile utilizzare un alias di tipo:

type JavaInt = java.lang.Integer 
List(new java.lang.Integer(5)) match { 
    case y: Seq[JavaInt] => 6 
    case _ => 7 
} 

restituirà 6 come previsto. Il problema è che, come sottolinea Alan Burlison, quanto segue restituisce anche 6:

List("foobar") match { 
    case y: Seq[JavaInt] => 6 
    case _ => 7 
} 

perché il tipo è stato cancellato. Puoi vederlo eseguendo il REPL, o scalac con l'opzione -unchecked.

Answer 2

In effetti il ​​tuo primo esempio non funziona neanche. Se si esegue il REPL con -unchecked, si vedrà il seguente errore:

warning: non variable type-argument Integer in type pattern Seq[Integer] is unchecked since it is eliminated by erasure

così non si può davvero fare ciò che si sta cercando di fare - a run-time non c'è alcuna differenza tra un elenco [Integer ] e una lista [AnythingElse], quindi non è possibile associarvi a modelli. Potreste essere in grado di fare questo con un manifesto, vedi http://ofps.oreilly.com/titles/9780596155957/ScalasTypeSystem.html#Manifests e http://www.scala-blogs.org/2008/10/manifests-reified-types.html