如何加速读取文件并返回其内容的函数？

如何解决如何加速读取文件并返回其内容的函数？

我是 OCaml 的新手，但我有 F# 和 Haskell 的经验。我真的很惊讶标准库中明显缺乏看似基本的功能，为了说明，我只想读取文件的内容，以便然后可以解析文本（多次）。似乎没有任何函数返回文件的内容（有 In_Channel.read_all，但这是 Janes Street 库的一部分，它不是跨平台的，因此我不想使用它）。

所以我用标准库提供的功能实现了我的功能，但一方面我真的不觉得它很惯用，另一方面它很慢，所以我想知道如何让它更有效率或更好：如果没有其他更有效的方法来做我想做的事。

功能如下：

let read_file filename =
    let res = ref "" in
    let read_contents = open_in filename in
    try while true
        do res := input_line read_contents ^ !res ^ "\n"
        done; !res
    with End_of_file -> close_in read_contents; !res

此外，如果文件以新行开头，生成的字符串将不会考虑它们，这有点烦人，但对我来说并不太严重。

解决方法

您可以使用 containers 及其 read_all 函数作为标准库的扩展。

关于你的函数，它偶然是二次的，因为

    res := input_line read_contents ^ !res ^ "\n"

正在为每个新行重新分配一个新字符串。通过重复附加小字符串来构建字符串时，最好使用 Buffer（或 String.concat）。

,

确实，OCaml 标准库非常稀疏。

如果您不介意使用 Unix 原语（其中许多也适用于 Windows），您可以像这样使用一个 read 调用来读取文件：

 let read_whole_file filename =
     let open Unix in
     let fd = openfile filename [O_RDONLY] 0o666 in
     let len = lseek fd 0 SEEK_END in
     ignore (lseek fd 0 SEEK_SET);
     let res = Bytes.make len '\000' in
     if read fd res 0 len <> len then
         failwith "partial read";
     close fd;
     res

请注意，这以字节形式返回结果（本质上是一个可变的字符数组）。如有必要，您可以转换为字符串。在最近的 OCaml 版本中，字符串是不可变的（恕我直言，它们应该是这样）。

更新

我不知道昨天我是怎么错过这些的，但是标准库中有一些函数可以做到这一点。这是一个修订版，以防万一它有用：

 let read_whole_file filename =
     let chan = open_in_bin filename in
     let res =
         really_input_string chan (in_channel_length chan)
     in
     close_in chan;
     res

请注意，这使用 open_in_bin 来避免在 Windows 下修改行尾。这是（我相信）与 in_channel_length 返回的长度一致的必要条件。

（OCaml 标准库确实非常稀疏。）