if 语句是否应该与 ocaml 中的 else 语句相关联？

Question

在 ocaml 中，我希望有许多嵌套的 if 语句和每个条件的返回值。代码变得像这样复杂。

let func arg1 arg2 = 
   if condition1 then arg1+arg2
   else
   (
       //code1
       if condition2 then arg1*arg2
       else
       (
          //code2
          if condition3 then arg1+arg2
          else
          (
             //code3
          )
       )
   )

我可以用这样的代码代替这样的嵌套语句吗？

let func arg1 arg2 = 
   if condition1 then arg1+arg2
   //code1
   if condition2 then arg1*arg2
   //code2
   if condition3 then arg1+arg2
   //code3

Answer 1

您可以使用不带else 的if 语句，如果它返回类型为unit 的值（基本上当它做 某事时）。

if condition then print_int 3

但是，在您的情况下，您希望返回 int 类型的值，因此 else 分支是强制性的。不过可以使用else if 语句缩短它。

if condition1 then arg1+arg2
else if condition2 then arg1*arg2
else if condition3 then arg1+arg2
else arg1

请注意，最后需要使用else。

模式匹配也可以扩展为使用when子句验证某些条件：

match 3 with
| 0 -> 0
| 1 -> 1
| x when x mod 2 = 0 -> x/2
| x when x mod 3 = 0 -> x/3
| x -> x

Answer 2

OCaml 是一种强静态类型语言，这意味着在编译时检查每个表达式的类型。

看看下面的sn-p。

if condition then true_value else false_value

在编译期间，类型检查器将检查以下内容：

1. condition 必须有 bool 类型；
2. true_value 必须与false_value 具有相同的类型；
3. 整个表达式的类型与true_value 和false_value 相同。

如果其中任何一个语句不正确，则编译失败并出现类型错误。

---

现在，让我们看看没有else 的if 语句。

if condition then true_value

如果条件为假，则表达式的计算结果为()，这是unit 类型的唯一值。使用前面的语句 2 和 3，true_value 在此处可以拥有的唯一类型是 unit。这意味着您不能使用 int 或 string 或任何作为 true_value 的东西。

---

通常，深层嵌套的if-else 语句被视为code smell：它可能表明您的代码需要重构。例如，OCaml 提供pattern-matching。根据您的实际代码的样子，这可能是要走的路。

Answer 3

仅供参考，您不需要所有这些括号。 else 之后的任何内容都被视为“else”分支中的单个表达式。你可以写你的代码像

let func arg1 arg2 = 
  if condition1 then arg1+arg2 else
  (* code1 *)

  if condition2 then arg1*arg2 else
  (* code2 *)

  if condition3 then arg1+arg2 else
  (* code2 *)