解决脆弱模式匹配的建议

Question

我经常需要匹配应该具有相同构造函数的值元组。包罗万象的_,_ 总是在最后结束。这当然是脆弱的，任何添加到该类型的额外构造函数都将编译得非常好。我目前的想法是让匹配项连接第一个但不是第二个参数。但是，还有其他选择吗？

例如，

type data = | States of int array 
            | Chars  of (char list) array

let median a b = match a,b with
    | States xs, States ys ->
        assert( (Array.length xs) = (Array.length ys) );
        States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i)))
    | Chars xs, Chars ys -> 
        assert( (Array.length xs) = (Array.length ys) );
        let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in
        Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i)))
    (* inconsistent pairs of matching *)
    | Chars  _, _
    | States _, _ -> assert false

Answer 1

您可以使用下面略短的模式：

| (Chars _| States _), _ -> assert false

其实你可以让编译器为你生成，因为还是有点繁琐。 输入以下内容并编译：

let median a b = match a,b with
| States xs, States ys ->
    assert( (Array.length xs) = (Array.length ys) );
    States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i)))
| Chars xs, Chars ys -> 
    assert( (Array.length xs) = (Array.length ys) );
    let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in
    Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i)))

警告 8：这种模式匹配是 并不详尽。这是一个例子 一个不匹配的值：(Chars _, 州_)

您现在可以将建议的模式复制粘贴回您的代码中。这通常是我如何为具有数十个构造函数的类型生成非脆弱的包罗万象的模式。您可能需要多次启动编译器，但仍然比自己键入要快。

Answer 2

这只是品味/风格的问题，但我倾向于将同一个构造函数上的子句组合在一起，而不是先将所有有用的子句放在一起，然后将所有“荒谬的情况”放在一起。当您为一个给定的构造函数编写多个“有用的”子句并想要检查您没有忘记任何内容时，这会非常有用。

let median a b = match a,b with
  | States xs, States ys ->
    assert( (Array.length xs) = (Array.length ys) );
    States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i)))
  | States _, _ -> assert false

  | Chars xs, Chars ys -> 
    assert( (Array.length xs) = (Array.length ys) );
    let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in
    Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i)))
  | Chars _, _ -> assert false

Answer 3

这是相当骇人听闻的（并导致警告），但您可以使用Obj 来检查标签是否相等。它应该捕获 a 和 b 具有不同值的所有情况：

type data = | States of int array 
            | Chars  of (char list) array

let median a b = match a,b with
    | States xs, States ys ->
        assert( (Array.length xs) = (Array.length ys) );
        States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i)))
    | Chars xs, Chars ys -> 
        assert( (Array.length xs) = (Array.length ys) );
        let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in
        Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i)))
    (* inconsistent pairs of matching *)
    | x, y when (Obj.tag (Obj.repr x)) <> (Obj.tag (Obj.repr y)) -> assert false

警告是针对非详尽的模式匹配（因为它无法判断受保护的子句是否与其余部分匹配）。

编辑：你根本不需要使用 Obj，你可以直接比较 x 和 y：

| x, y when x <> y -> assert false

不幸的是，这仍然会导致警告。