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

发布时间：2020-12-16 10:01:51 所属栏目：安全来源：网络整理

导读：对于 Scala中的特性来说,Manifest上的访问似乎很棘手. 这段代码怎么能在scala中编译？ trait SomeTraitOf[+A] { def newInstanceOfA : A = /* necessary code to make it work */} (相关,它作为参数化类可以正常工作： class SomeTraitOf[A : Manifest] { de

对于 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] }
}

由于traits不能为参数特征提供清单,实现特征的类应该,但我没有得到它.

解决方法

关于协方差：

由于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]) { ....

特征不能具有视图边界,因为它们不能获取任何(值)参数.但这不是一个真正的问题,因为在你的例子中

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!