Manifest与TypeTag
来源:互联网 发布:钉钉源码 编辑:程序博客网 时间:2024/06/05 14:23
Manifest是scala2.8引入的一个特质,用于编译器在运行时也能获取泛型类型的信息。在JVM上,泛型参数类型T在运行时是被“擦拭”掉的,编译器把T当作Object来对待,所以T的具体信息是无法得到的;为了使得在运行时得到T的信息,scala需要额外通过Manifest来存储T的信息,并作为参数用在方法的运行时上下文。
def test[T] (x:T, m:Manifest[T]) { … }
有了Manifest[T]这个记录T类型信息的参数m,在运行时就可以根据m来更准确的判断T了。但如果每个方法都这么写,让方法的调用者要额外传入m参数,非常不友好,且对方法的设计是一道伤疤。好在scala中有隐式转换、隐式参数的功能,在这个地方可以用隐式参数来减轻调用者的麻烦。
这里给出了一个例子摘自 StackOverflow :
def foo[T](x: List[T])(implicit m: Manifest[T]) = {
if (m <:< manifest[String])
println(“Hey, this list is full of strings”)
else
println(“Non-stringy list”)
}
foo(List(“one”, “two”)) // Hey, this list is full of strings
foo(List(1, 2)) // Non-stringy list
foo(List(“one”, 2)) // Non-stringy list
隐式参数m是由编译器根据上下文自动传入的,比如上面是编译器根据 “one”,”two” 推断出 T 的类型是 String,从而隐式的传入了一个Manifest[String]类型的对象参数,使得运行时可以根据这个参数做更多的事情。
不过上面的foo 方法定义使用隐式参数的方式,仍显得啰嗦,于是scala里又引入了“上下文绑定”,回顾一下之前的这篇:scala类型系统:13) context bounds,使得foo方法
def foo[T](x: List[T]) (implicit m: Manifest[T])
可以简化为:
def foo[T:Manifest] (x: List[T])
这个机制起因是scala2.8对数组的重新设计而引入的,原本只是为了解决数组的问题(后续介绍数组类型),后续被用在更多方面。在引入Manifest的时候,还引入了一个更弱一点的ClassManifest,所谓的弱是指类型信息不如Manifest那么完整,主要针对高阶类型的情况:
scala> class A[T]
scala> val m = manifest[A[String]]
scala> val cm = classManifest[A[String]]
根据规范里的说法,m的信息是完整的:m: Manifest[A[String]] = A[java.lang.String],而 cm 则只有 A[_] 即不包含类型参数的信息,但我在2.10下验证cm也是:cm: ClassManifest[A[String]] = A[java.lang.String]
在获取类型其类型参数时也是都包含的:
scala> m.typeArguments
res8: List[scala.reflect.Manifest[_]] = List(java.lang.String)
scala> cm.typeArguments
res9: List[scala.reflect.OptManifest[_]] = List(java.lang.String)
后来从这个帖子里,看到一些案例,只在:
scala> class A[B] // 注意在2.10下与帖子中不一致,A[+B] 也是同样的效果
defined class A
scala> manifest[A[_]]
res15: scala.reflect.Manifest[A[]] = A[ <: Any]
scala> classManifest[A[_]]
res16: scala.reflect.ClassTag[A[_]] = A[
- Manifest与TypeTag
- scala 类型: Manifest与TypeTag
- scala类型系统:19) Manifest与TypeTag
- scala类型系统:19) Manifest与TypeTag
- scala类型系统:19) Manifest与TypeTag
- ClassTag 、Manifest、ClassManifest、TypeTag代码实战
- Scala中Manifest、ClassTag、TypeTag的学习
- scala Manifest、ClassTag、TypeTag的学习
- scala进阶5-classtag、typetag、manifest、classmanifest
- Scala关于ClassTag 、Manifest、ClassManifest、TypeTag的使用
- Scala中ClassTag 、Manifest、ClassManifest、TypeTag的关系
- Type与Class、ClassTag与TypeTag
- scala-46: ClassTag 、Manifest、ClassManifest、TypeTag代码实战及其在Spark中的应用源码解析
- 46.ClassTag 、Manifest、ClassManifest、TypeTag代码实战及其在Spark中的应用源码解析
- 第46讲:ClassTag 、Manifest、ClassManifest、TypeTag代码实战及其在Spark中的应用源码解析学习笔记
- Scala深入浅出进阶经典 第46讲: ClassTag 、Manifest、ClassManifest、TypeTag代码实战及其在Spark中的应用源码解析
- manifest与控件风格
- vc2010 与 manifest
- TCP协议疑难杂症全景解析
- MySQL递归查询树状表的子节点、父节点
- mysql之完全卸载
- 第一次来博客
- Http长连接
- Manifest与TypeTag
- Android开发流程(句句真言)
- 移动开发UI设计之图片资源网站
- 变量交换之数字交换
- UI第三MVC
- 算法之4--拓扑排序
- 【UML】用例图
- Merge Sorted Array II
- [BZOJ1030][JSOI2007]文本生成器