每行读取一个文件行并将读取的每一行存储在一个列表中

Question

我是一名学生，我接受了一项我已经苦苦挣扎了大约一个月左右的练习。 我正在尝试在 Ocaml 中编写一个函数。该函数必须读取每行一个单词的文本文件，并且必须将所有单词存储在一个列表中。 但问题是这个程序必须是一个递归程序（这意味着没有循环，没有“while”）。

到目前为止，我所能做的就是创建一个读取文本文件的函数（很像 BASH 命令“cat”）

let dico filename =
  let f = open_in filename in
  let rec dico_rec () =
    try
      print_string (input_line f);
      print_newline ();
      dico_rec();
    with End_of_file -> close_in f
  in dico_rec() ;;

我只是不知道该怎么做。 Ocaml 几乎不是我最喜欢的语言。

Answer 1

这是build_list 的另一种定义，它是尾递归的。如果您的输入可以有很多行，您可以使用它来代替 @MitchellGouzenko 的定义。

let rec build_list l =
    match input_line ic with
    | line -> build_list (line :: l)
    | exception End_of_file -> close_in ic; List.rev l

Answer 2

open Printf

let file = "example.dat"

let () =
     let ic = open_in file in
     let rec build_list infile =
          try
               let line = input_line infile in
               line :: build_list(infile)
          with End_of_file ->
               close_in infile;
               [] in
     let rec print_list = function
          [] -> ()
          | e::l -> print_string e ; print_string " " ; print_list l in
     print_list(build_list(ic))

编辑：我之前提出的算法过于复杂。试着理解这一点。

为了理解这个递归，我们假设 build_list 工作正常。也就是说，假设 build_list 正确地将打开的文件作为参数并返回文件中的行列表。

现在，让我们看看函数的主体。它从文件中读取一行并再次调用 build_list。如果文件中有 N 行，再次调用 build_list 应该会返回文件中剩余 N-1 行的列表（因为我们自己只是读取了第一行）。我们将刚刚读取的行追加到从 build_list 返回的列表中，并返回包含所有 N 行的结果列表。

递归一直持续到达到基本情况为止。基本情况是存在 End_of_file 时。在这种情况下，我们返回一个空列表。