如何在 Scala 中使用参数化特征的反射？

Question

由于 scala 中的一个特性，对 Manifest 的访问似乎很棘手。

这段代码如何在 scala 中编译？

trait SomeTraitOf[+A] {

  def newInstanceOfA : A = /*  necessary code to make it work */

}

（相关，它作为参数化类工作得很好：

class SomeTraitOf[A : Manifest] {

  def newInstanceOfA(implicit m : Manifest[A]) : A =
     m.erasure.newInstance.asInstanceOf[A] 

}

但不能使用协变类型参数（+A））

编辑：真正的东西

sealed trait RootPeerProxy[+A] extends Proxy {

  def peer: A
  def self = peer
  def peerManifest[B >: A](): Option[Manifest[B]]
  private[scalavaadin] def newInstance() : Option[A]
}

trait PeerProxy[+A] extends RootPeerProxy[A] {
  override def peerManifest[B >: A](): Option[Manifest[B]]
  override def peer(): A = this.newInstance match {
    case None => {throw new IllegalStateException("oups")} 
    case Some(a) => a
  }
  private[scalavaadin] override def newInstance() : Option[A] = peerManifest map { m =>    m.erasure.newInstance.asInstanceOf[A] }
}

由于特征无法为参数化特征提供清单，所以实现该特征的类应该，但我没有得到它。

Answer 1

关于协方差：

由于Manifest[A]在参数A中是不变的，所以你不能直接做你想做的事情。通常的策略是弱化返回类型，

trait SomeTraitOf[+A] {
  def newInstance[B >: A](implicit m: Manifest[B]): B = {
    m.erasure.newInstance.asInstanceOf[B]
  }
}

您可以使用如下特征，

class Parent
class Child extends Parent
val childBuilder = new SomeTraitOf[Child] {}
val parentBuilder: SomeTraitOf[Parent] = childBuilder
parentBuilder.newInstance // returns a Parent!

关于视图边界：

从下面的评论中，我猜您也在问“视图边界”，这只是声明隐式参数的简洁方法。您的声明

class SomeTraitOf[A : Manifest] { ...

基本上转化为

class SomeTraitOf[A]()(implicit m0: Manifest[A]) { ....

Traits 不能有视图边界，因为它们不能接受任何（值）参数。但这在这里并不是真正的问题，因为在您的示例中

class SomeTraitOf[A : Manifest] {
  def newInstanceOfA(implicit m : Manifest[A]) : A =
     m.erasure.newInstance.asInstanceOf[A] 
}

您没有使用视图绑定！ （您正在使用参数m。）如果您想使用视图绑定，您可以这样做：

class SomeTraitOf[A : Manifest] {
  def newInstanceOfA : A =
     implicitly[Manifest[A]].erasure.newInstance.asInstanceOf[A] 
}