एक TypeTag
समस्या यह है कि स्काला के प्रकार के क्रम (प्रकार विलोपन) में मिट जाता है हल करती है। अगर हम करना चाहते हैं
class Foo
class Bar extends Foo
def meth[A](xs: List[A]) = xs match {
case _: List[String] => "list of strings"
case _: List[Foo] => "list of foos"
}
हमें चेतावनियाँ मिलेंगी:
<console>:23: warning: non-variable type argument String in type pattern List[String]↩
is unchecked since it is eliminated by erasure
case _: List[String] => "list of strings"
^
<console>:24: warning: non-variable type argument Foo in type pattern List[Foo]↩
is unchecked since it is eliminated by erasure
case _: List[Foo] => "list of foos"
^
इस समस्या को हल करने के लिए मैनिफेस्ट्स को स्काला में पेश किया गया था। लेकिन उनके पास समस्या है कि वे बहुत से उपयोगी प्रकारों का प्रतिनिधित्व करने में सक्षम नहीं हैं, जैसे कि पथ-निर्भर-प्रकार:
scala> class Foo{class Bar}
defined class Foo
scala> def m(f: Foo)(b: f.Bar)(implicit ev: Manifest[f.Bar]) = ev
warning: there were 2 deprecation warnings; re-run with -deprecation for details
m: (f: Foo)(b: f.Bar)(implicit ev: Manifest[f.Bar])Manifest[f.Bar]
scala> val f1 = new Foo;val b1 = new f1.Bar
f1: Foo = Foo@681e731c
b1: f1.Bar = Foo$Bar@271768ab
scala> val f2 = new Foo;val b2 = new f2.Bar
f2: Foo = Foo@3e50039c
b2: f2.Bar = Foo$Bar@771d16b9
scala> val ev1 = m(f1)(b1)
warning: there were 2 deprecation warnings; re-run with -deprecation for details
ev1: Manifest[f1.Bar] = Foo@681e731c.type#Foo$Bar
scala> val ev2 = m(f2)(b2)
warning: there were 2 deprecation warnings; re-run with -deprecation for details
ev2: Manifest[f2.Bar] = Foo@3e50039c.type#Foo$Bar
scala> ev1 == ev2 // they should be different, thus the result is wrong
res28: Boolean = true
इस प्रकार, उन्हें टाइपटेग्स द्वारा प्रतिस्थापित किया जाता है , जो कि उपयोग करने के लिए बहुत सरल हैं और नए प्रतिबिंब एपीआई में अच्छी तरह से एकीकृत हैं। उनके साथ हम उपर्युक्त मार्ग पर निर्भर प्रकार से समस्या को हल कर सकते हैं:
scala> def m(f: Foo)(b: f.Bar)(implicit ev: TypeTag[f.Bar]) = ev
m: (f: Foo)(b: f.Bar)(implicit ev: reflect.runtime.universe.TypeTag[f.Bar])↩
reflect.runtime.universe.TypeTag[f.Bar]
scala> val ev1 = m(f1)(b1)
ev1: reflect.runtime.universe.TypeTag[f1.Bar] = TypeTag[f1.Bar]
scala> val ev2 = m(f2)(b2)
ev2: reflect.runtime.universe.TypeTag[f2.Bar] = TypeTag[f2.Bar]
scala> ev1 == ev2 // the result is correct, the type tags are different
res30: Boolean = false
scala> ev1.tpe =:= ev2.tpe // this result is correct, too
res31: Boolean = false
वे प्रकार के मापदंडों की जांच करने के लिए उपयोग करना आसान है:
import scala.reflect.runtime.universe._
def meth[A : TypeTag](xs: List[A]) = typeOf[A] match {
case t if t =:= typeOf[String] => "list of strings"
case t if t <:< typeOf[Foo] => "list of foos"
}
scala> meth(List("string"))
res67: String = list of strings
scala> meth(List(new Bar))
res68: String = list of foos
इस बिंदु पर, समानता की जांच के लिए =:=
(प्रकार समानता) और <:<
(उपप्रकार संबंध) का उपयोग करना समझना अत्यंत महत्वपूर्ण है । का उपयोग कभी नहीं है ==
या !=
, जब तक आप पूरी तरह से पता है कि आप क्या करते हैं:
scala> typeOf[List[java.lang.String]] =:= typeOf[List[Predef.String]]
res71: Boolean = true
scala> typeOf[List[java.lang.String]] == typeOf[List[Predef.String]]
res72: Boolean = false
उत्तरार्द्ध संरचनात्मक समानता के लिए जाँच करता है, जो अक्सर ऐसा नहीं किया जाना चाहिए क्योंकि यह उपसर्गों (उदाहरण में) जैसी चीजों की परवाह नहीं करता है।
A TypeTag
पूरी तरह से कंपाइलर-जनरेटेड है, इसका मतलब है कि कंपाइलर TypeTag
जब कोई कॉल करता है और भरता है, तो ऐसी विधि की अपेक्षा करता है TypeTag
। टैग के तीन अलग-अलग रूप मौजूद हैं:
ClassTag
प्रतिस्थापन ClassManifest
जबकि TypeTag
अधिक या कम प्रतिस्थापन के लिए है Manifest
।
पूर्व सामान्य सरणियों के साथ पूरी तरह से काम करने की अनुमति देता है:
scala> import scala.reflect._
import scala.reflect._
scala> def createArr[A](seq: A*) = Array[A](seq: _*)
<console>:22: error: No ClassTag available for A
def createArr[A](seq: A*) = Array[A](seq: _*)
^
scala> def createArr[A : ClassTag](seq: A*) = Array[A](seq: _*)
createArr: [A](seq: A*)(implicit evidence$1: scala.reflect.ClassTag[A])Array[A]
scala> createArr(1,2,3)
res78: Array[Int] = Array(1, 2, 3)
scala> createArr("a","b","c")
res79: Array[String] = Array(a, b, c)
ClassTag
रनटाइम पर प्रकार बनाने के लिए आवश्यक जानकारी प्रदान करता है (जो प्रकार मिटाए जाते हैं):
scala> classTag[Int]
res99: scala.reflect.ClassTag[Int] = ClassTag[int]
scala> classTag[Int].runtimeClass
res100: Class[_] = int
scala> classTag[Int].newArray(3)
res101: Array[Int] = Array(0, 0, 0)
scala> classTag[List[Int]]
res104: scala.reflect.ClassTag[List[Int]] =↩
ClassTag[class scala.collection.immutable.List]
जैसा कि ऊपर देखा जा सकता है, वे प्रकार के क्षरण की परवाह नहीं करते हैं, इसलिए यदि कोई "पूर्ण" प्रकार TypeTag
का उपयोग करना चाहता है:
scala> typeTag[List[Int]]
res105: reflect.runtime.universe.TypeTag[List[Int]] = TypeTag[scala.List[Int]]
scala> typeTag[List[Int]].tpe
res107: reflect.runtime.universe.Type = scala.List[Int]
scala> typeOf[List[Int]]
res108: reflect.runtime.universe.Type = scala.List[Int]
scala> res107 =:= res108
res109: Boolean = true
एक देख सकते हैं, विधि tpe
का TypeTag
एक पूर्ण में परिणाम Type
है, जो एक ही हम जब मिलता है typeOf
कहा जाता है। बेशक, दोनों का उपयोग करना संभव है, ClassTag
और TypeTag
:
scala> def m[A : ClassTag : TypeTag] = (classTag[A], typeTag[A])
m: [A](implicit evidence$1: scala.reflect.ClassTag[A],↩
implicit evidence$2: reflect.runtime.universe.TypeTag[A])↩
(scala.reflect.ClassTag[A], reflect.runtime.universe.TypeTag[A])
scala> m[List[Int]]
res36: (scala.reflect.ClassTag[List[Int]],↩
reflect.runtime.universe.TypeTag[List[Int]]) =↩
(scala.collection.immutable.List,TypeTag[scala.List[Int]])
शेष प्रश्न अब क्या है WeakTypeTag
? संक्षेप में, TypeTag
एक ठोस प्रकार का प्रतिनिधित्व करता है (इसका मतलब है कि यह केवल पूरी तरह से त्वरित प्रकार की WeakTypeTag
अनुमति देता है ) जबकि बस किसी भी प्रकार की अनुमति देता है। ज्यादातर समय कोई परवाह नहीं करता है कि कौन सा है (जिसका अर्थ है कि इसका TypeTag
उपयोग किया जाना चाहिए), लेकिन उदाहरण के लिए, जब मैक्रोज़ का उपयोग किया जाता है जो सामान्य प्रकार के साथ काम करना चाहिए, जिनकी उन्हें आवश्यकता है:
object Macro {
import language.experimental.macros
import scala.reflect.macros.Context
def anymacro[A](expr: A): String = macro __anymacro[A]
def __anymacro[A : c.WeakTypeTag](c: Context)(expr: c.Expr[A]): c.Expr[A] = {
// to get a Type for A the c.WeakTypeTag context bound must be added
val aType = implicitly[c.WeakTypeTag[A]].tpe
???
}
}
यदि एक त्रुटि के WeakTypeTag
साथ एक प्रतिस्थापित किया TypeTag
जाता है:
<console>:17: error: macro implementation has wrong shape:
required: (c: scala.reflect.macros.Context)(expr: c.Expr[A]): c.Expr[String]
found : (c: scala.reflect.macros.Context)(expr: c.Expr[A])(implicit evidence$1: c.TypeTag[A]): c.Expr[A]
macro implementations cannot have implicit parameters other than WeakTypeTag evidences
def anymacro[A](expr: A): String = macro __anymacro[A]
^
इस प्रश्न के बीच अंतर के बारे में अधिक विस्तृत विवरण के लिए TypeTag
और WeakTypeTag
इस प्रश्न को देखें: स्काला मैक्रोज़: "टाइप टी से अनसुलझे टाइप पैरामीटर वाले टाइपटेग नहीं बना सकते हैं"
स्काला की आधिकारिक प्रलेखन साइट में परावर्तन के लिए एक गाइड भी है ।