OCaml是否存在Elvis运算符/默认值语法糖？若无，有何最佳实践？

OCaml 没有内置类似 Elvis 运算符（?:）的默认值语法，也没有直接实现“左侧为空时返回右侧”的反向可选链运算符。不过针对你需求的场景，有几种常用的最佳实践：

1. 利用 Option 模块的内置函数 #

OCaml 中通常用 option 类型（Some v 表示有效值，None 表示空值）来处理可能为空的情况，标准库的 Option 模块提供了现成的函数来简化默认值逻辑：

获取值或返回默认值 #

如果右侧是确定的非可选值，使用 Option.value：

let get_val val1 val2 = Option.value val1 ~default:val2

若右侧也是可选值（可选链场景） #

如果右侧本身也是 option 类型，用 Option.value_opt 来实现“左侧为空则 fallback 到右侧可选值”：

let get_val val1 val2 = Option.value_opt val1 ~default:val2

2. 自定义运算符（模拟 Elvis 语法） #

你可以自己定义一个运算符来模拟 Elvis 运算符的效果，让代码更简洁：

(* 定义自定义运算符，左侧为 option，右侧为默认值 *)
let (<?>) = Option.value ~default

(* 使用示例 *)
let result = Some 42 <?> 0  (* 返回 42 *)
let result = None <?> 0     (* 返回 0 *)

3. 模式匹配（基础且灵活的方式） #

模式匹配是 OCaml 处理可选值的原生方式，虽然没有语法糖，但逻辑清晰且通用：

let get_val val1 val2 =
  match val1 with
  | Some v -> v
  | None -> val2

关于你提供的示例代码 #

你原来的代码 if (val_1) then (val_1) else (val_2) 在 OCaml 中是不合法的——OCaml 的 if 条件必须是布尔类型，无法直接将“空值”作为判断条件。正确的做法是用 option 类型来表示可能为空的值，再通过上面的方式处理。

内容的提问来源于stack exchange，提问作者Dav