这与这个问题类似,但并不完全相同。
我天真地尝试了这个:
let s prec = "%." ^ (string_of_int prec) ^ "f" in
Printf.printf (s 2) 1.23
但这被拒绝以及用^^
代替^
。有办法做到这一点吗?
由于格式字符串是类型安全的,因此在编译时应该知道它们。不能将任意字符串用作格式字符串。这个限制仍然允许您从片段构建格式,您不应该忘记调用format_of_string
函数,并确保所有格式都是静态的,并且生成的格式具有相同的类型。
但是,格式已经解决了您的特定情况,所以您不需要在这里做任何花哨的事情。有一个*
说明符,它正是你想要的:
# printf "%.*f" 10 1.0;;
1.0000000000- : unit = ()
# printf "%.*f" 1 1.0;;
1.0- : unit = ()
还有Scanf.format_from_string
,它允许您从动态字符串构建任意格式。以下程序演示了OCaml中格式的灵活性:
let () =
print_endline "Floating point format: ";
let f = match read_line () with
| "engineering" -> "%e"
| "regular" -> "%f"
| "pretty" -> "%g"
| user -> user in
let fmt =
try Scanf.format_from_string f "%f"
with exn -> invalid_arg "Unrecognized format" in
Printf.printf (fmt^^"n") (4. *. atan 1.)
示例:
ivg$ ocaml formats.ml
Floating point format:
pi = %.16f
pi = 3.1415926535897931