OCaml-尾递归将数组转换为列表

Question

我想用尾部递归辅助函数编写函数以将数组转换为列表。

例：

#arraytolist  [|"a";"b"|];;
- :string list = ["a";"b"]
#arraytolist  [||];;
- :'alist = []

这是我的代码：

let arraytolist arr = 
    let rec helper alist index = 
        if arr = [||] then []
        else helper (arr.(index))::(List.tl alist) index+1
    in helper [] 0;;

Error: This expression has type int -> 'a list
       but an expression was expected of type 'a
       The type variable 'a occurs inside int -> 'a list

Answer 1

您的代码有多个问题。

第一个也是最直接的问题是，您没有在括号内正确地递归调用helper 。 如有疑问，应将整个参数放在括号中。 我认为它目前正在像这样解析它： (helper arr.(index)) :: (((List.tl alist) index) + 1) 。

第二个是您的基本情况是arr = [||]当arr永不改变时）。 因此，只有当arr最初为空时，这才是正确的，否则递归不会终止。 当然，除非index超出范围并导致程序崩溃，否则将导致崩溃，因为您没有检查它。

第三个问题是您的函数将始终返回一个空列表，因为这是您在基本情况下返回的内容（如果条件正确）。 您所做的所有其他操作都将被丢弃。 有一种编写函数的方法，在这种情况下，有必要返回一个空列表作为基本情况，而且似乎在尝试中途，但这并不是尾递归。 您将希望递归调用是每次迭代的最后一个操作，而不是递归调用结果的cons操作。

第四个问题是您使用List.tl在每次迭代中都丢弃了alist的头，这将在第一次迭代中失败，因为alist最初是空的。 如果不是这样， alist永远只能包含处理的最后一个元素。

我希望这能给您足够的机会去解决它。 基本思想似乎很好； 您只需要清除错误。