在Scala中使用协变不可变集合

时间:2015-10-24 08:55:16

标签: scala collections covariance

我正在尝试创建一个适用于具有takeslicedrop的任何集合的函数。也就是说,我想创建一个适用于IndexedSeq[Boolean]Vector[Boolean]的函数,返回相同类型的对象。这是我在查看此How to create object/singleton of generic type in Scala?

后尝试的内容
  

并尝试使用IndexedSeqLike代替Ordering,但无济于事

trait MutateLike[+T,-Y] {
  def apply[U >: T, Y](eo: U): Y
}

case object Mutate extends MutateLike[IndexedSeq[Boolean],IndexedSeq[Boolean]]{
  def apply[U >: IndexedSeq[Boolean],IndexedSeq[Boolean]]( eo : U ): IndexedSeq[Boolean] = {
    val point = (eo.length * scala.util.Random.nextDouble).toInt
    eo.take( point - 1 ) ++ eo.slice( point-1,point ).map(!_) ++ eo.drop( point )
  }  
}

尝试了很多其他的事情。但是,它不起作用,并且会产生value length is not a member of type parameter U曲调的错误。但U与T协变,在这种情况下是IndexedSeq,对吗? 任何帮助将不胜感激。

2 个答案:

答案 0 :(得分:2)

我认为你的生活比你需要的要复杂得多。试试这个

Vector[Boolean]

这只是直接的,老式的面向对象的多态性。 IndexedSeq[Boolean]是一个MutateLike,因此它可以替代。

通过声明MutateLike及其差异,您正在决定MutateLike的哪种参数化被视为继承自mutate的其他参数。但这并不是你有兴趣表达或试图做的事情。

(当然,根本不需要使用对象声明。您可以将r定义为一个简单的函数。)

答案 1 :(得分:1)

也许你想要这样的东西:

import scala.util.Random
import scala.collection.generic.CanBuildFrom
import scala.collection.SeqLike

def mutate[Repr, To](xs: SeqLike[Boolean, Repr], rng: Random)(implicit ev: CanBuildFrom[Repr, Boolean, To]) = {
  val builder = ev.apply()
  val iter = xs.iterator
  var i = rng.nextInt(xs.length)
  while (i > 0) { i -= 1; builder += iter.next }
  builder += !iter.next
  while (iter.hasNext) builder += iter.next
  builder.result
}

现在

val xs = Array(true, true, false, true, false)
mutate(xs, new scala.util.Random(111L))

结果

Array[Boolean] = Array(true, true, false, false, false)

val xs = Vector(true, true, false, true, false)
mutate(xs, new scala.util.Random(111L))

结果

scala.collection.immutable.Vector[Boolean] = Vector(true, true, false, false, false)

mutate方法也可以很容易地进行推广,以处理Booleans以外的类型集合,如下所示:

def mutate[Repr, To, A](xs: SeqLike[A, Repr], f: A => A, rng: Random)(implicit ev: CanBuildFrom[Repr, A, To]) = {
  val builder = ev.apply()
  val iter = xs.iterator
  var i = rng.nextInt(xs.length)
  while (i > 0) { i -= 1; builder += iter.next }
  builder += f(iter.next)
  while (iter.hasNext) builder += iter.next
  builder.result
}

然后

Seq.iterate("I am what I am", 16){ s=> 
  mutate(s, (ch: Char) => (ch ^ 3).toChar, rng)
}.mkString("\n")

结果

I am what I am
J am what I am
I am what I am
J am what I am
J#am what I am
J#am what I bm
J#am what I#bm
J#am what#I#bm
J#am what#I bm
J#am whaw#I bm
J am whaw#I bm
J am what#I bm
J am what#I#bm
J am what#J#bm
I am what#J#bm
J am what#J#bm