scala - 我可以使用绑定(bind)在 Scala 值类中的 View 吗？

Question

在处理一些 Java 代码时，我想找到一种方法来减少原始集以包含其参数化类型。

我也希望它也适用于 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 or Value Class 文档中没有发现任何提及这种类型的限制。

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

Answer 1

从这个 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]
}

... Harden 的实际构造函数在幕后脱糖:

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

...(即在一个参数列表中采用 set，在另一个参数列表中采用隐式 evidence$1)。

如值类限制 here 中所述:

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

... witch 意味着 Harden违反了这个限制。

但是，您可以实现类似的目标。尝试将在类上定义的 View 绑定(bind)转换为方法上的隐式证据。

像这样的东西:

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, 2, 3)

正如预期的那样，这将失败:

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