循环不变以重复调用readLine（）

Question

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

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

Answer 1

您可以使用fileReader：

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

= d