OCaml函数类型错误修正：如何将string->string转为string类型？

问题分析 #

你的代码存在两个核心问题导致类型不匹配及逻辑错误：

1. 错误地在每次递归时递增l_index，无论当前索引是否匹配列表元素，这会导致List.nth在列表元素耗尽后抛出异常，同时破坏了索引匹配逻辑；
2. 递归调用时误将n+1（整数）传递给需要字符串类型的第三个参数，直接引发类型不匹配错误。

修复后的代码 #

let remplace_positions lst c str =
  let rec acc remaining_indices current_pos result =
    if current_pos >= String.length str then
      result
    else
      match remaining_indices with
      | [] ->
          (* 无更多替换索引，直接追加剩余字符 *)
          result ^ String.sub str current_pos (String.length str - current_pos)
      | idx :: rest when idx = current_pos ->
          (* 当前位置需替换，追加目标字符并移动到下一个待替换索引 *)
          acc rest (current_pos + 1) (result ^ String.make 1 c)
      | idx :: rest when idx > current_pos ->
          (* 当前位置无需替换，追加原字符并检查下一个位置 *)
          acc remaining_indices (current_pos + 1) (result ^ String.make 1 (String.get str current_pos))
      | _ ->
          (* 处理无序索引：跳过小于当前位置的无效索引 *)
          acc (List.tl remaining_indices) current_pos result
  in
  acc lst 0 ""

关键修复点 #

• 重构递归辅助函数，参数改为剩余待检查的索引列表、当前处理位置、已构建结果，移除冗余的重复参数；
• 不再使用List.nth，直接匹配索引列表头部，避免越界异常；
• 增加无序索引处理逻辑（输入索引列表无需预先排序）；
• 无替换需求时直接追加字符串剩余部分，优化拼接效率；
• 修正递归参数传递，确保所有分支返回类型统一为字符串。

验证示例 #

调用remplace_positions [1;4] 'u' "Hello"，输出结果为"Hullu"，符合预期。

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