scala迭代器上的尾巴

dr *_*rry 0 scala

我想检查文件中的每一行,除了第一个标题行,都包含字符串"14022015".我想用Scala的方式做这个,我想出了一些聪明的东西(我想)使用foldLeft:

assert(Source.fromFile(new File(s"$outputDir${File.separator}priv.txt"))
  .getLines().foldLeft(true)((bool, line) => (bool && line.contains("14022015"))))
Run Code Online (Sandbox Code Playgroud)

直到我发现标题行,需要从测试中排除.tail将无法工作,因为getLines返回a Iterator而不是a List.我还能做些什么吗(Scala明智的)?

Jea*_*art 6

只是:

val res: Boolean = myFile.getLines.drop(1).forall(_.contains("14022015"))
Run Code Online (Sandbox Code Playgroud)