如何在F#中按分隔符%将字符串列表转换为字符串列表的列表？

嘿，我来帮你搞定这个OCaml列表折叠的问题！

首先，先明确你的需求：把源列表 ["A"; "B"; "%"; "C"; "Y"; "%"] 按标记 "%" 拆分，得到嵌套列表 [["A"; "B"]; ["C"; "Y"]]。你想用 List.fold 实现，但当前代码的类型不对——这主要是因为累加器的处理逻辑和匹配条件出了问题。

先分析你现有代码的问题 #

1. 匹配条件错误：你写的是匹配 ""，但实际要识别的标记是 "%"，这会导致标记完全没被处理；
2. 累加器操作类型不兼容：你写的 current @ acc 试图把字符串列表和字符串嵌套列表拼接，类型自然不匹配；
3. 未正确提取结果：List.fold 返回的是你定义的累加器元组，你需要从中取出第一个元素才是最终的嵌套列表结果。

正确的实现方案 #

我们可以用一个元组作为累加器：(已完成的子列表集合, 当前正在收集的子列表)，类型是 string list list * string list。然后按以下逻辑处理每个元素：

let folder (acc, current) item =
  match item with
  | "%" ->
      (* 遇到标记时，把当前收集的子列表加入结果（跳过空列表，避免无效拆分），然后重置当前列表 *)
      if current = [] then (acc, [])
      else (acc @ [current], [])
  | _ ->
      (* 非标记元素，直接加入当前收集列表 *)
      (acc, current @ [item])

let source = ["A"; "B"; "%"; "C"; "Y"; "%"]
let result, _ = List.fold_left folder ([], []) source
(* 此时 result 就是你想要的 [["A"; "B"]; ["C"; "Y"]] *)

性能优化小技巧 #

上面的代码用了 @ 操作符，它的时间复杂度是 O(n)，如果你的源列表很大，频繁拼接会影响性能。我们可以改成反向收集+最后反转的方式，因为往列表头部添加元素是 O(1) 的，效率更高：

let folder (acc, current_rev) item =
  match item with
  | "%" ->
      if current_rev = [] then (acc, [])
      else (List.rev current_rev :: acc, [])
  | _ ->
      (acc, item :: current_rev)

let source = ["A"; "B"; "%"; "C"; "Y"; "%"]
let result_rev, _ = List.fold_left folder ([], []) source
let result = List.rev result_rev
(* 最终结果和之前一致，但处理大列表时更快 *)

为什么这个逻辑能工作？ #

• 初始累加器是 ([], [])：空的结果集合，空的当前收集列表；
• 遍历到非标记元素时，不断往当前列表里添加；
• 遇到 "%" 时，把当前收集的列表作为子项加入结果集合，然后重置当前列表；
• 最后从fold返回的元组中取出结果集合，就是拆分后的嵌套列表。

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