使用Java从文件中读取大量数据

Question

我有包含1 000 002以下格式的数字的文本文件：

123 456
1 2 3 4 5 6 .... 999999 100000

现在，我需要读取该数据并将其分配给int变量（前两个数字），并将其余所有数据（ 1 000 000个 数字）分配给数组int[]。

这不是一项艰巨的任务，但是-这太慢了。

我的第一次尝试是java.util.Scanner：

 Scanner stdin = new Scanner(new File("./path"));
 int n = stdin.nextInt();
 int t = stdin.nextInt();
 int array[] = new array[n];

 for (int i = 0; i < n; i++) {
     array[i] = stdin.nextInt();
 }

它按例外方式工作，但执行大约需要 7500毫秒 。我需要在几百毫秒内获取该数据。

然后我尝试了java.io.BufferedReader：

使用BufferedReader.readLine()和String.split()我大约在 1700毫秒内
得到了相同的结果，但是仍然太多了。

如何在不到1秒的时间内读取该数据量？最终结果应等于：

int n = 123;
int t = 456;
int array[] = { 1, 2, 3, 4, ..., 999999, 100000 };

根据trashgod的回答：

StreamTokenizer 解决方案速度很快（大约需要1400毫秒），但仍然太慢：

StreamTokenizer st = new StreamTokenizer(new FileReader("./test_grz"));
st.nextToken();
int n = (int) st.nval;

st.nextToken();
int t = (int) st.nval;

int array[] = new int[n];

for (int i = 0; st.nextToken() != StreamTokenizer.TT_EOF; i++) {
    array[i] = (int) st.nval;
}

PS。无需验证。我100％确定./test_grz文件中的数据正确。

Answer 1

感谢您的每一个回答，但我已经找到了一种符合我的标准的方法：

BufferedInputStream bis = new BufferedInputStream(new FileInputStream("./path"));
int n = readInt(bis);
int t = readInt(bis);
int array[] = new int[n];
for (int i = 0; i < n; i++) {
    array[i] = readInt(bis);
}

private static int readInt(InputStream in) throws IOException {
    int ret = 0;
    boolean dig = false;

    for (int c = 0; (c = in.read()) != -1; ) {
        if (c >= '0' && c <= '9') {
            dig = true;
            ret = ret * 10 + c - '0';
        } else if (dig) break;
    }

    return ret;
}

读取1百万个整数只需要 300毫秒 ！