Scala`view`：`force`不是`Seq`的成员
|
似乎应用地图和过滤器以某种方式将视图转换为Seq.
documentation包含这个例子：
> (v.view map (_ + 1) map (_ * 2)).force res12: Seq[Int] = Vector(4,6,8,10,12,14,16,18,20,22) 但如果我做类似的事情,我会收到一个错误： > val a = Array(1,2,3) > s.view.map(_ + 1).map(_ + 1).force <console>:67: error: value force is not a member of Seq[Int] 似乎如果我不止一次映射数组视图,SeqView就变成了Seq. > a.view.map(_+1) res212: scala.collection.SeqView[Int,Array[Int]] = SeqViewM(...) > a.view.map(_+1).map(_+1) res211: Seq[Int] = SeqViewMM(...) 我怀疑这种行为可能与Array是一个可变集合有关,因为我不能用List或Vector复制这种行为.但是,我可以根据需要多次过滤数组视图. 解决方法
专业提示：在REPL中调试含义时,从反射中获取是你的朋友.
scala> import reflect.runtime.universe.reify scala> import collection.mutable._ // To clean up reified exprs scala> reify(a.view.map(_ + 1).map(_ * 2)) Expr[Seq[Int]](Predef.intArrayOps($read.a).view.map(((x$1) => x$1.$plus(1)))(IndexedSeqView.arrCanBuildFrom).map(((x$2) => x$2.$times(2)))(Seq.canBuildFrom)) 按照设计,IndexedSeqView.arrCanBuildFrom不会产生另一个IndexedSeqView,而是一个普通的旧SeqView.但是,从那时起,你会期望SeqViews保持如此.为了实现这一点,传递给第二张地图的CBF应该是SeqView.canBuildFrom,但出于某种原因,我们从Seq获得了一张.现在我们知道了这个问题,让我们手动传递SeqView.canBuildFrom并解析错误. scala> a.view.map(_ + 1).map(_ * 2)(collection.SeqView.canBuildFrom)
<console>:??: error: polymorphic expression cannot be instantiated to expected type;
found : [A]scala.collection.generic.CanBuildFrom[collection.SeqView.Coll,A,scala.collection.SeqView[A,Seq[_]]]
(which expands to) [A]scala.collection.generic.CanBuildFrom[scala.collection.TraversableView[_,_ <: Traversable[_]],Seq[_]]]
required: scala.collection.generic.CanBuildFrom[scala.collection.SeqView[Int,Array[Int]],Int,?]
a.view.map(_ + 1).map(_ * 2)(collection.SeqView.canBuildFrom)
^
好的,所以这不是隐式解决方案或编译器或其他任何东西的错误;它是错误的库,因为编译器能够给我们一个在这里失败的充分理由. scalac要求CBF的第二个类型参数是Int或它的超类型,并且因为我们给它的那个需要任何A,所以我们很好.第三个是未知的,所以它也可以是任何东西,也是好的.因此,问题出在第一位. scala> implicitly[collection.SeqView[Int,_] <:< collection.TraversableView[_,_]] <function1> 这将问题缩小到Array [Int]< ;:Traversable [_].它就是.数组不是可遍历的,因此它们在这里失败并且被Seq中的CBF强制成为Seqs. 要解决这个问题,SeqView需要像IndexedSeqView那样有一个arrCanBuildFrom.这是库中的一个错误.这与Array是可变的无关;这真的是因为Array并不是一个真正的集合(它没有实现Traversable),而且必须加入. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |