如何在F#中不使用内置函数将字符串转换为单词列表

我明白你想在F#里不依赖内置的字符串拆分函数（比如String.Split）来手动把字符串拆成单词列表——这种底层实现练习确实能帮你更透彻理解F#的递归思维和字符串操作细节！

核心思路 #

我们可以用递归遍历字符串的每个字符，同时维护两个状态：

• 当前正在构建的单词（用字符列表存储，因为F#列表的头部操作效率更高）
• 已经收集完成的单词列表

具体逻辑：

1. 遇到非空格字符时，把它加入当前正在构建的单词
2. 遇到空格时：
   • 如果当前有正在构建的单词，就把它转为完整字符串，加入结果列表，然后重置当前单词
   • 如果是连续空格，直接跳过，不做任何操作
3. 遍历到字符串末尾时，记得把最后一个未完成的单词（如果有的话）加入结果列表

实现代码 #

let stringToWords (input: string) =
    // 辅助函数：把字符列表转为字符串（完全手动实现，不依赖内置拼接函数）
    let charListToStr chars =
        let rec build chars sb =
            match chars with
            | [] -> sb.ToString()
            | c::rest -> build rest (sb.Append(c))
        build chars (System.Text.StringBuilder())

    // 递归核心逻辑
    let rec processChars remainingChars currentWord collectedWords =
        match remainingChars with
        // 遍历结束，处理最后一个单词并反转结果（因为我们是往列表头部加元素）
        | [] ->
            match currentWord with
            | [] -> collectedWords |> List.rev
            | _ -> (currentWord |> List.rev |> charListToStr) :: collectedWords |> List.rev
        // 处理当前字符
        | char::rest ->
            if char = ' ' then
                match currentWord with
                // 连续空格，直接跳过
                | [] -> processChars rest currentWord collectedWords
                // 遇到空格，把当前单词加入结果，重置currentWord
                | _ ->
                    let finishedWord = currentWord |> List.rev |> charListToStr
                    processChars rest [] (finishedWord :: collectedWords)
            else
                // 非空格字符，加入当前单词的头部（后续反转得到正确顺序）
                processChars rest (char :: currentWord) collectedWords

    // 启动递归：把输入字符串转为字符列表开始处理
    processChars (input |> List.ofSeq) [] []

测试用例 #

你可以用这些例子验证功能：

// 正常带多空格的字符串
stringToWords "Hello world   this is F#" 
// 输出：["Hello"; "world"; "this"; "is"; "F#"]

// 前后带空格的字符串
stringToWords "   Leading and trailing spaces   "
// 输出：["Leading"; "and"; "trailing"; "spaces"]

// 空字符串
stringToWords ""
// 输出：[]

// 单个单词
stringToWords "SingleWord"
// 输出：["SingleWord"]

代码细节说明 #

• 用List.ofSeq把字符串转为字符列表来遍历，这是F#里处理字符串字符的常用方式，且未用到拆分相关的内置函数
• 往字符列表头部加元素是O(1)操作，比往尾部加高效，所以最后要反转列表来得到正确的字符顺序
• 辅助函数charListToStr用StringBuilder来高效构建字符串，避免了重复拼接字符串的性能问题

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