F#三数组问题：将原数组中唯一值替换为新值

我来帮你分析一下问题所在，以及怎么修复这个替换逻辑~

为什么你的注释行逻辑不生效？ #

你的代码里有几个关键问题导致替换没起作用：

1. 误用了Array.iter2
Array.iter2是用来遍历两个数组并执行副作用操作的（比如打印、修改外部变量），它的返回值是unit（也就是没有实际返回值）。所以你在Array.map里用它的话，每个元素都会被映射成unit，而不是你想要的替换后的字符串，这完全不符合你的需求。

2. 函数没有使用传入的参数
   你的rplc函数定义了x、y、z三个参数，但函数体里直接用了全局的first变量，根本没用到传入的x。这也是为什么你现在的代码输出和原数组完全一样——因为rplc直接返回了first，替换逻辑根本没被执行。

3. 替换逻辑的思路不对
   你试图在map里通过遍历second和third来找到对应值，但这种方式不仅效率低，还因为iter2的特性无法返回正确的结果。

正确的实现方式 #

最简洁高效的方法是先把second和third的对应关系转换成一个映射字典，然后用这个字典来快速查找替换值：

module SOQN = 
    open System
    let first = [|"A"; "B"; "C"; "A"; "B"; "A"; "C"; "B"; "C"; "C"; "C"|]
    let second = [|"A"; "B"; "C"|]
    let third = [|"1"; "2"; "3"|]
    
    let rplc (source:string[]) (keys:string[]) (values:string[]) = 
        // 把keys和values配对成字典，方便快速查找
        let replacementMap = Map.ofArray (Array.zip keys values)
        // 遍历原数组，每个元素替换成字典中对应的 value
        source |> Array.map (fun item -> replacementMap.[item])
    
    let fourth = rplc first second third
    printfn ""
    printfn "fourth: %A" fourth 
    // 现在输出就是你预期的：[|"1"; "2"; "3"; "1"; "2"; "1"; "3"; "2"; "3"; "3"; "3"|]

代码解释： #

• Array.zip second third：把两个数组的元素一一配对，生成[|("A","1"); ("B","2"); ("C","3")|]这样的元组数组。
• Map.ofArray：将元组数组转换成Map<string, string>，这样查找替换值的时间复杂度是O(1)，比每次遍历数组高效得多。
• Array.map：遍历原数组的每个元素，从字典中取出对应的替换值，最终生成目标数组。

更健壮的版本（处理不存在的键） #

如果担心原数组里有second中没有的元素，可以用Map.tryFind来处理，避免抛出异常：

let rplc (source:string[]) (keys:string[]) (values:string[]) = 
    let replacementMap = Map.ofArray (Array.zip keys values)
    source |> Array.map (fun item ->
        match Map.tryFind item replacementMap with
        | Some replacement -> replacement
        | None -> item // 如果找不到替换值，保留原元素
    )

这样即使原数组里有不在second中的元素，代码也不会崩溃，而是保留原元素。

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