ocaml - 如果在 OCaml 中为 false，则语句提前结束函数

Question

假设 pos_of_xy (x, y) n 已被定义为返回一个 int，一旦其中一个 if 语句返回 false，此代码段就退出，就好像它们是嵌套的一样。不管前面的 if 语句如何，我都需要它们全部运行。我不确定我忘记了什么。

let final = ref [] in begin
  if x < (size-1) then let pos = pos_of_xy (x+1, y) size in final := pos::!final;
  if y < (size-1) then let pos = pos_of_xy (x, y+1) size in final := pos::!final;
  if y > 0 then let pos = pos_of_xy (x, y-1) size in final := pos::!final;
  if x > 0 then let pos = pos_of_xy (x-1, y) size in final := pos::!final;
end;

Answer 1

描述问题的一种方式是 let 比 if 强。 let 在 in 之后接受一系列语句，随后的 if 被视为该序列的一部分。如果您将每个 let 括起来，事情应该会起作用:

if x < size - 1 then
    (let pos = pos_of_xy (x + 1, y) size in final := pos :: !final);

或者你可以不用let:

if x < size -1 then final := pos_of_xy (x + 1, y) size :: !final;

作为旁注，如果您以更函数式的风格(没有可变值)编写，代码对于 FP 程序员来说可能看起来更好。

更新

下面是计算列表的更实用方法的快速草图:

let good (x, y) = x >= 0 && x < size && y >= 0 && y < size in
let topos (x, y) = pos_of_xy (x, y) size in
let goodxy =
    List.filter good [(x + 1, y); (x, y + 1); (x - 1, y); (x, y - 1)] in
List.map topos goodxy