OCaml中str_A ^ str_B字符串拼接操作的复杂度是多少

OCaml 标准库中的字符串是不可变连续字节存储结构，str_A ^ str_B的实现逻辑非常直接：新申请一块能容纳两个字符串总长度的内存块，依次把str_A、str_B的字节内容拷贝到新内存块中，全程不会修改原本的两个输入字符串。

• 时间复杂度：O(len(str_A) + len(str_B))
  操作的核心开销是完整拷贝两个输入字符串的所有字节，总拷贝字节数恰好等于两个字符串的长度之和，耗时和两个字符串的总长度呈严格线性关系，没有额外的冗余遍历或者预处理步骤。
• 空间复杂度：O(len(str_A) + len(str_B))
  除了最终返回的新字符串占用的len(str_A)+len(str_B)字节空间，整个拼接过程只用到几个常数级的临时变量（比如拷贝偏移量、循环计数），辅助空间开销为O(1)，整体空间占用和拼接结果的长度线性相关。

补充注意：不要在循环中反复使用^累加拼接长字符串。比如循环k次、每次拼接一个长度为c的短串，每次拼接都要完整拷贝之前已经生成的全部内容，总时间复杂度会退化到O((k*c)²)，这种高频拼接场景应该使用Buffer模块来获得线性的拼接性能。

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