Question

假设我有一个名为LongArrayWritable的类型，它是一个Longs数组的盒装表示。我有隐式定义，可以在这些类型之间进行转换：

implicit def boxLongArray(array: Array[Long]) : LongArrayWritable { /*elided*/}
implicit def unboxLongArray(array: LongArrayWritable) : Array[Long] { /*elided*/}

现在，我也有一些暗示，它们以通用形式在java.lang.Iterable和scala.collection.List [X]之间进行转换：

implicit def iterator2list[X](it : java.lang.Iterable[X]) : List[X] { /* elided */ }
implicit def list2iterator[X](list : List[X]) : java.lang.Iterable[X] { /* elided */ }

使用这些定义，scala编译器可以推断java.lang.Iterable [LongArrayWritable]和List [Array [Long]]（相当于iterator2list(iterator).map(unboxLongArray(_))）之间的隐式转换，或者这是否超出了implicits，因此需要它自己的（显式？）隐式定义？

谢谢，

添

Answer 1

有一篇帖子涵盖了这个问题：How can I chain implicits in Scala?。从本质上讲，您需要有一个视图绑定转换为LongArrayWritable。这意味着，转换为def的隐式LongArrayWritable会收到一个隐式参数（称为视图绑定），因此此def的参数不是直接Array而是某种类型可以转换为Array：

object LongArrayWritable {
  implicit def fromArraySource[A <% Array[Long]](a: A): LongArrayWritable = apply(a)
}
case class LongArrayWritable(a: Array[Long])

def test(a: LongArrayWritable): Unit = println("OK")

现在这适用于阵列：

test(Array( 1L, 2L, 3L))

但是，由于Array不是Iterable且在范围内没有从Iterable到Array的默认转化，您需要添加一个：

implicit def iterable2Array[A: ClassManifest](i: Iterable[A]): Array[A] = i.toArray

然后它起作用：

test(List(1L, 2L, 3L))

视图绑定A <% Array[Long]是类型为A => Array[Long]的隐式参数的快捷方式，因此您也可以编写

implicit def fromArraySource[A](a: A)(implicit view: A => Array[Long]) ...

Scala的含义是否可以转换为更高级别的类型？

1 个答案: