Scala学习笔记--Mainfest,ClassTag原理浅析

1> Mainfest上下文界定
1. 在scala中数组必须是有类型的,如果直接是泛型的话将会报错,这时候引入了Manifest上下文界定,需要一个Mainfest[T]对象,而mainifest[T]有一个隐式值,
2. 如果调用makePair(1,2),编译器将定位到隐式的Manifst[Int]并实际上调用makePair(2,3)(intManifest),该方法调用的就是new Array(2)(intManifest),返回的基本类型的数组int[2]
3. 在new ArrayT会创建一个隐式的manifest类型
4. 为啥要搞Manifest? 因为array在创建的时候,编译器仅仅只是创建,并没有指定类型。
Scala学习笔记--Mainfest,ClassTag原理浅析_第1张图片
2> ClassTag
1. 源码中的解释,在泛型中,type T是被擦除的。这个是非常有用的,在我们构建数组的时候,但是数组的类型我们也不知道,编译的时候不知道,但是运行的时候要知道,ClassTag只包含实际运行时的类的类型。
Scala学习笔记--Mainfest,ClassTag原理浅析_第2张图片
2. ClassTag会帮我们存储T的信息,如下面,传入1,2根据类型推到可以指定T是Int类型,这时候ClassTag就可以把Int类型这个信息传递给编译器。ClassTag运行时指定在编译的时候无法指定的类型信息。
这里写图片描述
3. 不需要写这样写,implicit m : Manifest[T]
Scala学习笔记--Mainfest,ClassTag原理浅析_第3张图片
如下代码可以看到,编译器会帮我们翻译成implicit,因为ClassTag中间有隐式参数和隐式值,因为我们没有必要这样去写,直接ClassTag就行了。
Scala学习笔记--Mainfest,ClassTag原理浅析_第4张图片

你可能感兴趣的:(scala)