我正在尝试将字符串列表转换为 char 向量的向量:
import collection.breakOut
def stringsToCharVectors(xs: List[String]) =
xs.map(stringToCharVector)(breakOut) : Vector[Vector[Char]]
def stringToCharVector(x: String) =
x.map(a => a)(breakOut) : Vector[Char]
有没有一种stringToCharVector
不涉及与身份函数映射的方法?一般来说,是否有更短/更好的实施方式stringsToCharVectors
?