gpt4 book ai didi

ocaml - 将结果放入 OCaml 中的字符串变量中

转载 作者:行者123 更新时间:2023-12-04 23:55:19 25 4
gpt4 key购买 nike

我有这个功能可以打印出偏移图中的值:

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

现在我想将值放入一个字符串变量中,以便为我的目的进行转换。我换了 Format.fprintf fmt来自 Printf.sprintf但它不起作用。编译错误:
Error: This expression has type
Format.formatter -> Cvalue.V_Offsetmap.t -> unit
but an expression was expected of type unit -> 'a -> string

最佳答案

不幸的是,您是对的:Format.sprintf没有好类型。在 Frama-C 中,函数 Pretty_utils.sfprintf会做你需要的。您可能还想看看 Pretty_utils.to_string .

关于ocaml - 将结果放入 OCaml 中的字符串变量中,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17436988/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com