通过使用漂亮的打印机从值中获取字符串

我已经编写了许多类型为out_channel -> 'a -> unit的漂亮打印机，现在我想要一段代码通过使用漂亮的打印机从值中获取字符串。通过使用漂亮的打印机从值中获取字符串

举例来说，我已经实现了以下功能：

type t = 
    { x: int; 
    y: int } 

let co = { x = 4; y = 5 } 

let print (chan: out_channel) (co: t) : unit = 
    Printf.fprintf chan "(%d, %d)" co.x co.y

我觉得功能Printf.sprintf可以帮助我得到字符串(4, 5)。我试过Printf.sprintf "%a" print co，它在print：This expression has type out_channel -> t -> unit but an expression was expected of type unit -> 'a -> string处给了我一个错误。

有没有人知道如何提醒这条线，或没有人有一个解决方案，而不是sprintf？

来源

2013-12-16 SoftTimur

对于类型检查的原因，这是不可能直接使用%a在sprintf的格式化指令。如果你能负担得起使用Format代替Printf，事情会容易很多：

如果你使用的OCaml 4.01，你直接拥有Format.asprintf，根据该文件，你想要做什么。
如果您有较早的版本，使用创建格式化程序的临时缓冲区很容易模拟此行为。然后您可以写入此格式化程序，一旦完成，您只需检索缓冲区的内容。

事实上，你必须使用Format.kfprintf，这样就可以使用任意的格式化功能：

let sfprintf fmt = 
    let b = Buffer.create 20 in 
    let return fmt = Format.pp_print_flush fmt(); Buffer.contents b in 
    Format.kfprintf return (Format.formatter_of_buffer b) fmt 

    let s = sfprintf "%a" print co

同样的技术可以适用于Printf格式化功能，但这里还有另外一个问题：有没有从Buffer.t中创建out_channel的方法。我能想到的最接近的方式是依靠Unix模块的pipe功能：

let sfprintf fmt = 
    let (infd,outfd) = Unix.pipe() in 
    let inc = Unix.in_channel_of_descr infd in 
    Unix.set_nonblock infd; 
    let outc = Unix.out_channel_of_descr outfd in 
    let return outc = 
    Printf.fprintf outc "%!"; 
    let b = Buffer.create 10 in 
    try 
     while true do 
     Buffer.add_char b (input_char inc) done; 
     assert false;  
    with Sys_blocked_io -> 
     Unix.close outfd; Unix.close infd; Buffer.contents b 
    in 
    Printf.kfprintf return outc fmt;; 

let s = sfprintf "%a" print co

来源

2013-12-18 09:32:50 Virgile

我怕我不清楚地了解你需要什么，所以让我猜：

let prints (co: t) : string = 
    Printf.sprintf "(%d, %d)" co.x co.y 

let print ch co = Printf.fprintf ch "%s" (prints co) 

# print stdout co;; 
(4, 5)- : unit =()

来源

2013-12-17 08:19:12 Kakadu

这不是我想要的。我想我的功能'print'使用... – SoftTimur

我不不认为这是可能的。如果有人会做你想做的 - 我真的很想看到结果。 – Kakadu

通过使用漂亮的打印机从值中获取字符串

回答

相关问题