Scala字符串以减少字符数量的方式进行拆分

Question

给定诸如之类的字符串

val s = (0 to 9).mkString
s: String = 0123456789

努力找到一种功能性的（整洁的）方法来获得像这样的Array[String]

Array("0123", "456", "78", "9")

在预先计算的指数上使用substring证明是相当混乱的。

更新数组大小n和字符串长度l始终通过相关

val l = n*(n+1)/2

换句话说，输入n=1,2的字符串，。。。长度为1,3,6,10,15，。。。因此，正如@m-z所指出的，像0123456789a这样的字符串没有解决方案。

Answer 1

您可以尝试使用Iterator:

Iterator.from(0).map { i => 
    s.dropRight(i*(i+1)/2).takeRight(i+1)
}.takeWhile(!_.isEmpty).toList.reverse

或递归：

def incSplit(s: String, iter: Int = 1): List[String] = s match {
    case "" => Nil
    case s => incSplit(s.dropRight(iter), iter + 1) :+ s.takeRight(iter)
}

Answer 2

这是的另一个解决方案

  val s = "0123456789" 
  (4 to 1 by -1).foldLeft((s,List[String]()))
                         {case ((t, res), n) => 
                            (t.drop(n), t.take(n)::res)}
                ._2
                .reverse

每次我们从字符串中去掉前n个字符时，将其添加到结果中，并将字符串（减去前n个字符串）传递给下一次迭代

编辑：到目前为止，所有的答案都很难看。所以这里有一个更优雅的（IMO）

val s = "0123456789"
    //> s  : String = 0123456789
val indicies = (4 to 1 by -1).scanLeft(0) {_ + _}
    //> indicies  : List[Int] = List(0, 4, 7, 9, 10)
val slices = indicies zip indicies.tail   
    //> slices  : List[(Int, Int)] = List((0,4), (4,7), (7,9), (9,10))
for ((start,end) <- slices) yield s.slice(start, end)
    //> res1: List[String] = List(0123, 456, 78, 9)