獲取導致進入OCaml中

Question

一個字符串變量我有這個功能的工作，其打印出的offsetmap值：

let pretty_offsetmap_original lv fmt offsetmap = 
    begin match offsetmap with 
    | None -> Format.fprintf fmt "<BOTTOM>" 
    | Some off -> 
    let typ = Some (typeOfLval lv) 
    in 
    Format.fprintf fmt "%a%a" 
     pretty_lval_or_absolute lv 
     (Cvalue.V_Offsetmap.pretty_typ typ) off 
end 

現在我想獲得的價值在一個字符串變量轉化爲我的目的。我用Printf.sprintf替換了Format.fprintf fmt，但它不起作用。該編譯錯誤：

Error: This expression has type 
     Format.formatter -> Cvalue.V_Offsetmap.t -> unit 
    but an expression was expected of type unit -> 'a -> string 

Answer 1

不幸的是，你是對的：Format.sprintf沒有好的類型。在Frama-C中，函數Pretty_utils.sfprintf將完全符合您的需求。您可能還想看看Pretty_utils.to_string。

Answer 2

好像意味着你需要Format.sprintf不Printf.sprintf更換Format.fprintf。