4

编辑：对不起大家，我以为我的小考试已经完成，结果不是。 我做了一个新的，真的应该是！

一旦我将格式化程序用作 Scanf 或 Printf 函数的参数，格式化程序类型就会分别绑定到输入或输出通道。有没有办法让函数采用格式化程序（或字符串）并将其用作打印和阅读的格式化程序？

let fmt = format_of_string "%d,%d";;
Scanf.sscanf "2,2" fmt (fun x y -> x,y);;
fmt;;

给

- : (int -> int -> int * int, Scanf.Scanning.scanbuf, '_a, (int -> int -> int * int) -> int * int, (int -> int -> int * int) -> int * int, int * int) format6 = <abstr>

这意味着后续Printf.printf fmt 1 2;;会给出类型错误。这适用于我尝试过 的每种功能组合format_of_string和类似功能。Scanf.format_from_string

例子：

module Thing = struct

(* Just a helper for file IO *)
type 'a result = Success of 'a | Failure of exn;;
let with_out_file filename fn =
  let out_ch = open_out filename in
  let res = try Success (fn out_ch) with
    exn -> Failure exn in
  close_out out_ch;
match res with
| Success a -> a
| Failure a -> raise a;;

(* Uses the format string for writing *)
let print (fmt : ('a, 'b, 'c, 'd, 'e, 'f) format6) fn v =
  with_out_file fn (fun x -> Printf.fprintf x fmt v);;

(* Uses the format string for reading *)
let read (fmt : ('a, 'b, 'c, 'd, 'e, 'f) format6) v =
  Scanf.sscanf v fmt (fun x -> x);;

(* Where things break *)
let both fmt v =
  read fmt "42\n";
  print fmt "tfile" v;;
end;;

给

Error: This expression has type ('a -> 'b, Scanf.Scanning.scanbuf, 'c, ('d -> 'd) -> 'e, ('a -> 'b) -> 'f, 'f) format6 but an expression was expected of type                                                       
     ('a -> 'b, out_channel, unit, unit, unit, unit) format6                                                                                                                                                    
   Type Scanf.Scanning.scanbuf is not compatible with type out_channel

对于both函数的最后一行，这似乎是有道理的，但如果我both从模块中删除函数，我可以使用相同的格式字符串（与参数相同的变量）调用read和，它就可以工作。print

所以，希望你们还没有放弃我；我该如何解决？在这种情况下，eta-expansion 和类型注释似乎都不起作用？

4

3 回答 3

5

您遇到了臭名昭著的价值限制：

# let fmt = format_of_string "%d,%d";;
val fmt : (int -> int -> '_a, '_b, '_c, '_d, '_d, '_a) format6 = <abstr>

那些'_a, '_b, '_c,'_d意思是“我们可以尽快确定的类型”。它们不是参数，即fmt不是多态值。相反，空列表是多态的：

# let emptiness = [] ;;
val emptiness : 'a list = []

现在我们有'a和没有 '_a。但也许你已经知道这一切。关键是当我们申请Printf.printf时fmt，它的类型固定为

(int -> int -> unit, out_channel, unit, unit, unit, unit) format6

但是当我们申请它的类型时Scanf.sscanf，fmt它被固定为

(int -> int -> int * int, Scanf.Scanning.in_channel, '_a,
(int -> int -> int * int) -> int * int,
(int -> int -> int * int) -> int * int, int * int)
format6

这两种类型不兼容，并且因为fmt不是多态的，所以不能同时使用它。解决方案是简单地拥有两个副本，fmt_in并且fmt_out. 该解决方案有什么不可接受的地方吗？

于 2014-07-29T21:36:16.643 回答
4

另一个想法是制作fmt一个函数而不是一个实际的格式值：

# let fmt () = format_of_string "%d,%d";;
val fmt : unit -> (int -> int -> 'a, 'b, 'c, 'd, 'd, 'a) format6 = <fun>
# Scanf.sscanf "2,2" (fmt ()) (fun x y -> (x, y));;
- : int * int = (2, 2)
# Printf.printf (fmt ()) 3 4;;
3,4- : unit = ()

这有点笨拙，但也许还不错……？

于 2014-07-29T21:38:53.903 回答
4

您的示例不遵守值限制，因为它是一个函数应用程序。但是，调用 toformat_of_string不是必需的。format_of_string实际上只是带有类型的标识函数

('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

它通过在其参数上强制使用类型注释来工作，这会导致文字被解释为格式说明符而不是字符串。

相反，您可以简单地自己直接提供类型注释：

# let fmt : ('a, 'b, 'c, 'd, 'e, 'f) format6 = "%d,%d";;
val fmt : (int -> int -> 'f, 'b, 'c, 'e, 'e, 'f) format6 = <abstr>

请注意，该类型现在是完全多态的，因为表达式现在是一个值。

更新：在 OCaml 4.02 中，您现在可以将类型注释缩短为：

let fmt : _ format6 = "%d,%d";;
于 2014-08-06T08:34:22.707 回答