ocaml - 构建字符串的有效方法

Question

我想动态构建一个长字符串，然后将其写入文件。我的代码类似于:

let str = ref ""

let appnd s =
        str := (!str ^ (Printf.sprintf "%s\n" s))

但在运行时它运行起来很慢。我认为这种方法效率不高。构建长字符串的最佳方法是什么？

构建字符串然后写入文件更好还是直接将字符串附加到文件？

Answer 1

当你附加到一个字符串时，你必须复制它。如果你想象附加 n 件，你最终会制作大约 n*n 份它们。如果 n 很大，这会很慢。

您还选择了一种缓慢的追加方式。这样说会更快:

let append s = str := !str ^ s ^ "\n"

使用 Buffer 而不是 String 可能会更好。如果您知道字符串的最终大小，您可以预先分配一个大小合适的缓冲区。它还更好地包装了可变状态。

更新

下面是一些使用 Buffer 的简单代码:

let buf = Buffer.create 1024

let append s =
    Buffer.add_string buf s;
    Buffer.add_char buf '\n'

let getstring () =
    Buffer.contents buf

这是一个 session :

$ ocaml
        OCaml version 4.00.1

# #use "b.ml";;
val buf : Buffer.t = <abstr>
val append : string -> unit = <fun>
val getstring : unit -> string = <fun>
# append "abc";;
- : unit = ()
# append "def";;
- : unit = ()
# getstring ();;
- : string = "abc\ndef\n"

对于它的值(value)，我会尝试编写比这更实用的东西。也就是说，我会将缓冲区传递给想要使用它的函数，而不是将 buf 设为全局变量。