ocaml - scanf 不接受第一个参数

Question

以下代码运行没有错误:

let f x y =
    print_int (max x y);
    print_char ' ';
    print_int (x + y) in
for i = 1 to Scanf.scanf "%d" (fun x -> x) do
    Scanf.scanf "\n%d %d" f;
    print_newline ();
done;

但是当我声明一个变量 fmt 来保存格式“\n%d %d”并将其传递给 scanf 时，我收到错误，这是新代码:

let f x y =
    print_int (max x y);
    print_char ' ';
    print_int (x + y) in
let fmt = "\n%d %d" in (* added *)
for i = 1 to Scanf.scanf "%d" (fun x -> x) do
    Scanf.scanf fmt f; (* edited *)
    print_newline ();
done;

我收到此错误:

  File "prog.ml", line 7, characters 16-19:
  Error: This expression has type string but an expression was expected of type
     ('a, Scanf.Scanning.in_channel, 'b, 'c -> 'd, 'a -> 'e, 'e) format6

为什么它的工作方式不同？这两个代码之间有什么区别吗？

Answer 1

OCaml 中 printf/scanf 格式的处理使用了一些编译器魔法，将字符串常量视为适当上下文中的格式。问题是您不再有字符串常量。

您可以使用 format_of_string 函数将字符串常量预先转换为格式。

将 let fmt = 行更改为:

let fmt = format_of_string "\n%d %d" in

这使您的代码适合我。