2

在以下上下文中，我在处理 OCaml 中深度嵌套的列表时遇到问题。

class foo (pIn:int)=
object (self)
    val p = pIn
    val even = if (pIn mod 2) = 0 then true else (false)
    method doIt = "doIt"
    method isEven = even
    method getP = p
end;;

let rec createListOfElements howMany =  (
    Random.self_init ();
    if howMany > 1 then ((new foo (Random.int 10))::(createListOfElements (howMany - 1)))
    else ([(new foo (Random.int 10))])  );;

let myList = createListOfElements 5;;

let rec process1 param =
     if param <= 10 then
          let f = new foo param in          (
                if f#isEven then (myList <- List.append myList (createListOfElements f#getP));
                Printf.printf "%s\n" f#doIt;
                process1 (param+1)                                  )
in process1 0;;

我得到的错误是“未绑定的实例变量 myList”。在这种情况下，如何将“List.append myList (createListOfElements f#getP) 的结果分配给 myList？

谢谢！

编辑功能：

let myList = ref (createListOfElements 5);;

let rec process1 param =
     if param <= 10 then
          let f = new foo param in          (
                if f#isEven then (myList <- !myList @ (createListOfElements f#getP));
                Printf.printf "%s\n" f#doIt;
                process1 (param+1)                                  )
in process1 0;;
4

1 回答 1

1

您必须使用引用来破坏持久性——因为函数式编程使用持久性数据。ref在 myList 的声明中使用关键字：

let myList = ref (createListOfElements 5)

要取消引用列表使用!，所以有问题的行变成

if f#isEven then
  myList := !myList @ f#getP;

我建议您使用累加器，因为它本着函数式编程风格的精神，如下所示：

let rec process1 lst = function
  | x when x <= 10 ->
      let f = new foo x in
      if f#isEven then
          process1 (lst @ (createListOfElements f#getP)) (param+1)
      else
          process1 lst (param+1)
  | _ -> lst

编辑：

我没有编译我的代码，也没有注意到您使用了错误的符号来更改引用的值。正确的符号是，:=。请参阅上面的更改。不过，我强烈建议您避免引用，并走累积路线。

于 2009-03-11T15:29:16.390 回答