如何找出哪个行分隔符 BufferedReader#readLine() 用于拆分行?
2022-09-04 07:14:14
我正在通过缓冲阅读器读取文件
String filename = ...
br = new BufferedReader( new FileInputStream(filename));
while (true) {
String s = br.readLine();
if (s == null) break;
...
}
我需要知道这些行是否由“\n”或“\r\n”分隔,有没有办法找到答案?
我不想打开FileInputStream,所以最初扫描它。理想情况下,我想问一下BufferedReader,因为它必须知道。
我很高兴覆盖BufferedReader来破解它,但我真的不想打开文件流两次。
谢谢
注意:当前行分隔符(由 System.getProperty(“line.separator”) 返回)无法使用,因为该文件可能已由另一个操作系统上的另一个应用程序写入。