Question

当我有一个@specialized类时，我会保留有关我的类型是什么原语的信息。是否有快速方式来获取ClassTag[T]，例如创建数组？

这不能编译，因为没有ClassTag [T]可用

class Foo[@specialized T] {
  def bar: Array[T] = new Array[T]
}

这样可行，但我想避免传递ClassTag

class Foo[@specialized T: ClassTag] {
  def bar: Array[T] = new Array[T]
}

这有效，但速度很慢：

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
  }
}

Answer 1

专业化发生的时间晚于专业化的ClassTag，所以谷仓门就是问题。

另一个问题是专门化将创建双重定义，因此以明显的方式专门化方法并非易事。

这是尝试混合使用提供类标记的专用方法。

专门的f调用专门的ct，在特征中被覆盖。

我不知道ct的虚拟arg是必要的，以使其专业化;也许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)

显示专门的调用：

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

从专业课程中获取ClassTag

1 个答案: