我是一个新手,试图读取一个文件并创建一个 Vector[Vector[Char]]。文件的每一行都应该产生一个不同的向量。
这是我想出的:
val empty: Vector[Vector[Char]] = Vector()
lazy val lines: List[String] = Source.fromFile("test.txt").getLines.toList
lazy val vecList: List[Vector[Char]] = lines.map(str => Vector(str: _*))
lazy val vector: Vector[Vector[Char]] = vecList.foldRight(empty) (_ +: _)
该文件永远不会很大,因此可伸缩性不是问题。上面的代码似乎可以工作,但我觉得它在谷仓里到处都是。有没有更简单、更直接的方法来做到这一点?