OCaml 嵌套模式 - 尽管定义了模式但仍存在异常

Question

我有一个这样定义的函数：

 let test_func lis =
   match lis with h::t ->
    match h with h2::t2 ->
      h2
    | [] ->
      []
  | [] ->
    [];;

编译时，我收到一条警告，指出该函数与模式 [] 不匹配 - 即使我将其定义为第二种情况！我发现我可以通过用括号包围第二个匹配语句来解决这个问题：

 let test_func lis =
   match lis with h::t ->
    (match h with h2::t2 ->
      h2
    | [] ->
      [])
  | [] ->
    [];;

但我想知道为什么这是必要的。此外，交换顶级匹配语句中的第一个和第二个案例也有效：

 let test_func lis =     
   match lis with [] ->
     []
   | h::t ->
    match h with h2::t2 ->
      h2
    | [] ->
      [];;

谢谢！

Answer 1

如果我们修复代码的缩进，它看起来像这样：

let test_func lis =
  match lis with h::t ->
    match h with h2::t2 ->
      h2
    | [] ->
      []
    | [] ->
      [];;

如果你看一下，很明显第一个和第二个 | 之间没有区别。 []-> []。因此编译器无法知道您希望第二个匹配语句属于外部匹配语句而不是内部匹配语句。因此，您需要使用括号告诉编译器内部匹配语句应该在第一个 | 之后结束。 []-> []。

在您的第二个版本中，第一个 | []-> [] 显然属于外部匹配语句，因为内部匹配语句直到程序的更深处才会出现。所以没有歧义，因此不需要括号。