埃菲尔的文件处理

Question

给定一个文件input.txt ，它由 arrays 中的许多元素和 arrays 中的元素组成，我应该读取数据并将其复制到 Eiffel 中的 arrays 中。 例如，对于

3 
3 4 5
2 3 1

我应该得到len = 3 ， a1 = {3,4,5} ， a2 = {2,3,1} 。

我尝试了以下但没有成功

take_input
        -- Read user's input.
    local
        input: PLAIN_TEXT_FILE
        output: PLAIN_TEXT_FILE
        itr: INTEGER
    do
        create input.make_open_read ("input.txt")
        input.read_integer
        len := input.last_integer
        create output.make_open_write ("output.txt")
        create num.make_filled (0, 1, len)
        create rem.make_filled (0, 1, len)
        from
            input.start
            input.read_integer
            itr := 0
        until
            input.off
        loop
            itr := itr + 1
            if itr <= len then
                num [itr] := input.last_integer
                input.read_integer
            else
                rem [itr - len] := input.last_integer
                input.read_integer
            end
        end
        input.close
    end

这里有什么方法可以让我连续读取输入，而不是从文件的开头重新开始？

Answer 1

没有必要在读取元素个数后go到文件开头。 因此，在from之后删除input.start就可以了。

作为健全性检查（以防它对您的程序很重要），在开始循环之前测试len是否为正是有意义的。