स्काला: parameterization

Question

में पूरी तरह से योग्य classnames साथ पैटर्न मैच समस्या जब यह एक पूरी तरह से योग्य वर्ग के नाम के साथ पैरामिट्रीकृत है मैं स्काला में एक वस्तु मिलान पैटर्न में एक छोटे से समस्या है। यह स्कैला 2.9.0.1 पर आधारित है। कोई भी जानता है कि इस कोड के साथ क्या गलत है?

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] => 

पहला संस्करण क्यों काम करता है, लेकिन बाद में विफल रहता है? समस्या तब होती है जब पैरामीटर के लिए पूरी तरह से योग्य क्लासनाम का उपयोग किया जाता है।

Answer 1

Scala Language Specification से, खंड 8.1 पैटर्न दिखाई देता है तो सक्षम हो सकता है के बाद: क्या, एक प्रकार पैटर्न के रूप में जाना जाता है धारा 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.

तो, वाक्य रचनात्मक रूप से, आप इस स्थिति में एक प्रकार परिवर्तनीय पैटर्न के रूप में पूरी तरह से योग्य वर्ग का उपयोग नहीं कर सकते हैं। हालांकि, आप एक प्रकार के उपनाम का उपयोग कर सकते हैं, इसलिए:

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

अपेक्षित 6 लौटाएगा। समस्या यह है कि एलन बर्लिसन बताते हैं कि निम्नलिखित 6:

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

क्योंकि प्रकार मिटाया जा रहा है। आप आरईपीएल, या स्केलैक को अनचेक विकल्प के साथ चलाकर देख सकते हैं।

Answer 2

वास्तव में अपना पहला उदाहरण या तो काम नहीं करता। - रन-टाइम में वहाँ एक सूची [पूर्णांक के बीच कोई अंतर नहीं है

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

तो आप वास्तव में आप क्या करने की कोशिश कर रहे हैं नहीं कर सकते: आप -unchecked साथ आरईपीएल चलाते हैं, तो आपको निम्न त्रुटि देखेंगे ] और एक सूची [कुछ भी], तो आप इस पर पैटर्न-मिलान नहीं कर सकते हैं। आप एक प्रकट साथ पहचानकर्ता ऐसा करने के लिए, http://ofps.oreilly.com/titles/9780596155957/ScalasTypeSystem.html#Manifests और http://www.scala-blogs.org/2008/10/manifests-reified-types.html