F# 比较元组数组并返回不同的元素和索引

Question

#light

let a1 = [| (1, 1); (2, 1); (3, 1) |]

let a2 = [| (1, 1); (2, 3); (3, 1) |]

let aa = Array.zip a1 a2
       |> Array.filter(fun (x, y) -> x <> y)

我想编写一个函数来执行此操作：它将返回两个数组中的不同元组，但我还想返回第二个数组中不同元组的索引以及第二个数组中相应元组的索引。 （我的代码还没有完全工作！） 对于上面的示例，我想返回： 1 和 (2, 3) 再比如：

let a1 = [| (1, 1); (2, 1); (3, 1); (4, 1) |]

let a2 = [| (1, 1); (2, 3); (3, 1); (4, 2) |]

我要返回：1 and (2, 3); 3 和 (4, 2) 如果您有任何想法，请告诉我您的代码。 另外，我不习惯F#的新地方，这种格式让我感觉很难找到一个好的地方来发布我的问题，因此，我仍然在这里发布我的问题。

Answer 1

let a1 = [| (1, 1); (2, 1); (3, 1) |]

let a2 = [| (1, 1); (2, 3); (3, 1) |]

let diff = 
    (a1, a2) 
    ||> Array.mapi2(fun i t1 t2 -> (i, t1, t2))
    |> Array.choose(fun (i, a, b) -> if a <> b then Some (i, b) else None)

Answer 2

这是一种方法：

let diff a b =
  let s = Set.ofSeq a
  b 
  |> Seq.mapi (fun i x -> i, x)
  |> Seq.filter (fun (_, x) -> not (Set.contains x s))

示例

let a1 = [| (1, 1); (2, 1); (3, 1) |]
let a2 = [| (1, 1); (2, 3); (3, 1) |]
diff a1 a2 //output: seq [(1, (2, 3))]

这适用于任何集合（list、array、seq<_>、set 等）并且序列可以具有不同的长度。如果您知道您将始终使用相同长度的数组，则可以进行相应的优化（请参阅 desco 的答案）。

Answer 3

let diff (a:(int * int)[]) b =
  b
  |> Array.mapi (fun i tp -> if a.[i] <> tp then (i, tp) else (-1, tp))
  |> Array.filter (fun (x, _) -> x >= 0) 

演示

 > diff a1 a2;;
val it : (int * (int * int)) [] = [|1, (2, 3)); (3, (4, 2))|]