Ocaml 嵌套 if 没有 else

Question

如果没有 else 语句，是否可以嵌套。 我编写了以下无用的程序来演示嵌套的 ifs。 我该如何解决这个问题，使其在语法方面是正确的。 第 5 行和第 6 行给出错误。

let rec move_helper b sz r = match b with
    [] -> r
    |(h :: t) ->
        if h = 0 then
            if h - 1 = sz then h - 1 ::r
            if h + 1 = sz then h + 1 ::r
        else move_helper t sz r
;;

let move_pos b = 
    move_helper b 3 r
;;

let g = move_pos [0;8;7;6;5;4;3;2;1]

Answer 1

你不能有if没有else ，除非该表达式的结果是一个类型的unit 。 您的代码不是这种情况，因此是不可能的。

这是一个结果为unit的示例：

let f x =
    if x land 1 <> 0 then print_string "1";
    if x land 2 <> 0 then print_string "2";
    if x land 4 <> 0 then print_string "4"

Answer 2

您必须了解if ... then是一个与其他表达式一样的表达式。 如果没有else内容，则必须将其理解为if ... then ... else ()并因此具有类型unit 。 为了强调它是一个表达式的事实，假设您有两个类型为f和g的函数，例如int → int 。 你可以写

(if test then f else g) 1

您还必须了解x :: r根本不会改变r ，它构造了一个将x放在r前面的新列表（此列表的尾部与列表r共享）。 在您的情况下，逻辑尚不清楚：当h=0 ， if两个失败，结果是什么？

let rec move_helper b sz r = match b with
  | [] -> r
  | h :: t ->
     if h = 0 then
       if h - 1 = sz then (h - 1) :: r
       else if h + 1 = sz then (h + 1) :: r
       else (* What do you want to return here? *)
     else move_helper t sz r

Answer 3

当你有一个 if 时，总是放一个 else。 因为当你不放 else 时，Java 将不知道情况是真是假。