Rüd*_*ehn 3 reflection jvm scala
当我有一个@specialized类时,我会保留有关我的类型是什么原语的信息.是否有快速获取方法ClassTag[T],例如创建数组?
这不能编译,因为没有ClassTag [T]可用
class Foo[@specialized T] {
def bar: Array[T] = new Array[T]
}
Run Code Online (Sandbox Code Playgroud)
这有效,但我想避免传递ClassTag
class Foo[@specialized T: ClassTag] {
def bar: Array[T] = new Array[T]
}
Run Code Online (Sandbox Code Playgroud)
这有效,但速度很慢:
class Foo[@specialized T] {
def bar: Array[T] = new Array[T]
implicit def classTag: ClassTag[T] = {
val name = getClass.getName
if(name.endsWith("$I$sp") ClassTag.Int
else if(name.endsWith("$L$sp") ClassTag.Long
else ??? // you get the idea
}
}
Run Code Online (Sandbox Code Playgroud)
专业化发生的时间晚于专业化的ClassTag,因此谷仓门的问题就出现了.
另一个问题是专门化将创建双重定义,因此以明显的方式专门化方法并非易事.
这是尝试混合提供类标记的专用方法.
特殊的专用f呼叫ct,在特征中被覆盖.
我不知道虚拟arg ct是必要的,以使其专业化; 也许ClassTag[A]结果类型不够.
$ scalam
Welcome to Scala 2.12.0-M3 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_60).
Type in expressions for evaluation. Or try :help.
scala> import reflect.ClassTag
import reflect.ClassTag
scala> class CT[@specialized(Int) A] {
| def ct(a: A): ClassTag[A] = ???
| def f: Array[A] = ct(null.asInstanceOf[A]).newArray(1)
| }
defined class CT
scala> trait CTS { def ct$mcI$sp(i: Int): ClassTag[Int] = reflect.classTag[Int] }
defined trait CTS
scala> (new CT[Int] with CTS).f
res0: Array[Int] = Array(0)
Run Code Online (Sandbox Code Playgroud)
显示专门的调用:
scala> :javap -c -
Compiled from "<console>"
[snip]
16: invokevirtual #32 // Method $line16/$read$$iw$$iw$$anon$1.f$mcI$sp:()[I
19: putfield #24 // Field res0:[I
Run Code Online (Sandbox Code Playgroud)