下面两种写法,哪一种更有效率?
String s; while (!StdIn.isEmpty()) { s = StdIn.readString(); ... } while (!StdIn.isEmpty()) { String s = StdIn.readString(); ... }