java - 重复调用 readLine() 的循环不变式

Question

我有一个 while 循环（如下所示），它不断地从文件中读取，直到达到 EOF。我应该为任何非平凡的循环编写一个循环不变量。这是一个微不足道的循环吗？如果不是，那么这个 while 循环的循环不变量是什么？我以前从未写过不变量。

while (line != null) {
    System.out.println(line);
    line = reader.readLine();
}

Answer 1

您可以使用文件读取器：

while ((line = fileReader.hasNextLine()) != null) {
    String line = fileReader.nextLine(); 
    System.out.println(line);
}

=D