Question

我是一名C ++程序员，正在尝试学习Scala。我想使用C ++模板实现类似于以下代码的东西

template<typename T>
class Foo {
public:
    T* bar;
    /////////////////Other Code Omitted//////////////////////////
};

由于类型擦除，它在Scala中的反对部分将无法编译

class Foo[E](){
    val bar = new E() //Will not compile 
}

我一直在寻找一个解决方法，这似乎是其中之一

package test
import scala.reflect._

object Type {
  def newInstance[T: ClassTag](init_args: AnyRef*): T = {
    classTag[T].runtimeClass.getConstructors.head.newInstance(init_args: _*).asInstanceOf[T]
  }
}

class Foo[T1:ClassTag](init_args: AnyRef*){
  val bar = Type.newInstance[T1](init_args)
}

class TestClass(val arg:String){
  val data = arg
}

但是，当我尝试在scala控制台中实例化一个（val test = new Foo[Test]("test")）时，会出现以下错误

java.lang.IllegalArgumentException: argument type mismatch
  at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
  at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
  at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
  at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
  at ParActor.Type$.newInstance(ParActor.scala:32)
  at ParActor.Foo.<init>(ParActor.scala:37)
  ... 35 elided

我不确定导致问题的原因以及解决方法。其他工作也受到欢迎。

Answer 1

你应该转

Type.newInstance[T1](init_args)

到

Type.newInstance[T1](init_args: _*)

: _*做的是将列表或序列转换为varargs参数。 varargs参数AnyRef*实际上是IndexedSeq[AnyRef]，更具体地说是WrappedArray[AnyRef]。因此，当您将init_args作为参数传递给newInstance而不告诉编译器将其解释为varargs参数时，您实际上是在传递WrappedArray(WrappedArray("test"))。

在ClassTag（Scala）上键入不匹配运行时错误

1 个答案: