为什么此代码不起作用递归函数会出现错误

时间:2019-04-20 12:21:53

标签: ocaml

我应该检查两个列表是否是字谜,我认为我为该任务编写了正确的代码,但这需要帮助

let rec ana l1 l2 = 
    if l1=[] && l2=[] then true
    else if List.hd l1 = List.hd l2 then  ana (List.tl l1) l2
    else if  List.hd l1 != List.hd l2 then ana l1 (List.tl l2)
    else false;; 

  ana [2;9;4;7] [2;4;7;9];;

1 个答案:

答案 0 :(得分:1)

仅当两个列表都为空时,您才不会处理其中一个列表为空的情况。因此,当您进入else if List.hd l1 = List.hd l2时,l1l2为空时,List.hd将引发异常,因为它没有为空列表定义。

您可能想改用模式匹配,这样可以避免这种情况,并警告您任何遗漏的情况。这是使用模式匹配重写的代码。它仍然无法满足您的要求,但至少不会引发异常:

let rec ana l1 l2 =
  match l1, l2 with
  | [], [] ->
    true

  | h1::t1, h2::t2 ->
    if h1 = h2 then
      ana t1 l2
    else
      ana l1 t2

  | _ ->
    false