我可以在Scala值类中使用绑定的视图吗？

发布时间：2020-12-16 09:53:59 所属栏目：安全来源：网络整理

导读：在处理一些 Java代码时,我想找到一种方法来减少Raw Set以包含其参数化类型. 我也希望它也适用于Scala集,所以我做了以下工作 implicit class Harden[S % mutable.Set[_]](val set: S) extends AnyVal { def cast[T] = set.map(_.asInstanceOf[T])} 这导致了我

在处理一些 Java代码时,我想找到一种方法来减少Raw Set以包含其参数化类型.

我也希望它也适用于Scala集,所以我做了以下工作

implicit class Harden[S <% mutable.Set[_]](val set: S) extends AnyVal {
    def cast[T] = set.map(_.asInstanceOf[T])
}

这导致了我没想到的编译器错误

Error:(27,27) field definition is not allowed in value class
  implicit class Harden[S <% mutable.Set[_]](val set: S) extends AnyVal {

我在Scala View Bounds或Value Class文档中没有发现任何类型的限制.

为什么不允许这样做？我正在使用Scala 2.10.3.

解决方法

从这个sbt控制台输出可以看出：

scala> :type implicit class Harden[S <% mutable.Set[_]](val set: S)
[S]AnyRef {
  val set: S
  private[this] val set: S
  implicit private[this] val evidence$1: S => scala.collection.mutable.Set[_]
  def <init>(set: S)(implicit evidence$1: S => scala.collection.mutable.Set[_]): Harden[S]
}

……哈登的实际构造者在幕后躲避：

def <init>(set: S)(implicit evidence$1: S => scala.collection.mutable.Set[_]): Harden[S]

…(即在一个参数列表中设置,在另一个参数列表中隐式证据$1).

如值类限制here中所述：

must have only a primary constructor with exactly one public,val parameter whose type is not a value class.

……意味着哈登违反了这个限制.

你可以实现类似的东西.尝试将类上定义的视图绑定转换为方法上的隐式证据.

像这样的东西：

scala> implicit class Harden[S](val set: S) extends AnyVal {
     |     def cast[T](implicit ev: S => scala.collection.mutable.Set[_]) = set.map(_.asInstanceOf[T])
     | }
defined class Harden

这将编译：

scala> Set(1,2,3).cast[Any]
res17: scala.collection.mutable.Set[Any] = Set(1,3)

这将失败,如预期的那样：

scala> List(1,3).cast[Any]
<console>:24: error: No implicit view available from List[Int] => scala.collection.mutable.Set[_].
              List(1,3).cast[Any]
                              ^

（编辑：李大同）

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