将通用附加函数迁移到 Scala 2.13 集合

Question

我有以下扩展 class，它向任何东西添加 myAppend 方法 SeqLike。

implicit class WithAppend[A, R](s: SeqLike[A, R]) extends AnyVal {
  def myAppend(i: A)(implicit cbf: CanBuildFrom[R, A, R]): R = s :+ i
}

如何将此代码移植到 Scala 2.13 并保留类似的性能特征？如果扩展 class 可以保持 AnyVal

则加分

我尝试过的一些东西：

class Extends1[R, S <: IsSeq[R]](c: R, isSeq: S) {
  def myAppend(a: isSeq.A): R = (isSeq(c) :+ a).asInstanceOf[R]
}

但是 asInstanceOf 令人失望 - 它安全吗？

我能做到：

class Extends3[S[_], A](c: SeqOps[A, S, S[A]]) {
  def myAppend(a: A): S[A] = c :+ a
}

但现在我们只能使用 S[A] 形式的集合，而 Scala 2.12 代码可以采用任何 R.

Answer 1

我可以想出一个无需强制转换即可工作的方法签名和实现：

implicit class WithAppend[Repr](private val repr: Repr) extends AnyVal { 
  def myAppend[A0, C](a: A0)(
    implicit 
    isSeq: IsSeq[Repr]{ type A = A0 }, 
    b: BuildFrom[Repr, A0, C]
  ): C = b.fromSpecific(repr)(isSeq(repr) :+ a) 
}

很难保证它的性能，但我怀疑它会比您以前拥有的性能差很多。另一种选择是 b.newBuilder(repr).addAll(isSeq(repr)).addOne(a).result().

scala> List(1,2).myAppend(3)
res3: List[Int] = List(1, 2, 3)

scala> Vector(1,2).myAppend(3)
res4: scala.collection.immutable.Vector[Int] = Vector(1, 2, 3)

scala> "Strin".myAppend('g')
res5: String = String

将通用附加函数迁移到 Scala 2.13 集合

Migrating a generic append function to Scala 2.13 collections

scala

scala-2.13