OCaml中如何实现C语言printf("%.3s")的字符串最大宽度输出？

在C语言中，我们可以通过格式化限定符实现截取字符串起始部分打印：

printf("%.3s", "foobar");

执行后会输出foo。

但在OCaml中，直接使用Printf.printf "%.3s" "foobar"会触发报错：

Error: invalid format "%.3s": at character number 0, `precision' is incompatible with 's' in sub-format "%.3s"

下面是几种OCaml里实现该需求的最佳方式：

• 方法一：先截取字符串再打印
  利用String.sub函数先截取目标长度的子串，再传入Printf打印。需要注意如果原字符串长度小于目标长度，直接调用String.sub会报错，因此可以结合min函数处理边界：

let target_str = "foobar"
let take_len = 3
let safe_len = min (String.length target_str) take_len
Printf.printf "%s" (String.sub target_str 0 safe_len)

• 方法二：使用Format模块的格式化语法（推荐）
  OCaml的Format模块支持%.*s格式，第一个参数指定要打印的长度，第二个参数是目标字符串。这种方式会自动处理字符串长度不足的情况，无需额外判断，更简洁安全：

Format.printf "%.*s" 3 "foobar"

执行后同样会输出foo；如果传入的字符串长度小于3，比如"hi"，则会完整打印hi而不会报错。

内容的提问来源于stack exchange，提问作者anol