String.sub的性能和缺陷是什么？

Question

我正在考虑将String.sub用于热路径上的任务，该路径在任意位置的大字符串中插入多个元素。

知道这种功能总是有其他语言，我想知道标准OCaml实现中的内容。

Answer 1

String.sub（与大多数字符串操作函数一样）allocates a new string and copies the contents of the original string。因此，如果它处于热门道路，它可能会非常缓慢。