OCaml编写列表与整数奇偶性运算递归函数的问题咨询

原始代码错误原因 #

你最初的代码存在4个核心问题，正好对应编译器报错和逻辑错误：

• 空列表分支返回值错误：遍历完所有元素后需要返回当前的累计值a，你写的返回0会直接清空之前所有计算结果。
• match分支重复定义：你写了两次h::t的匹配分支，OCaml的模式匹配按顺序执行，第一个h::t分支命中后永远不会走到第二个分支，逻辑上等于直接丢弃了奇偶性不同的处理分支。
• if表达式缺少else分支：OCaml中if是有返回值的表达式，不是语句，必须同时有then和else分支保证所有路径都有返回值。你第一个h::t分支的if没有写else，条件不成立时没有合法返回值，这就是你看到的编译器报错的直接原因。
• 类型错误与递归参数错误：第二个h::t分支中你误用了列表构造符::，试图把int类型的运算结果和同样返回int的递归调用拼接成列表，类型完全不匹配；同时递归调用时仍然传入了原始的a，没有更新累计值，逻辑完全错误。

基于模式匹配的最优实现 #

你后续写的if版本逻辑是正确的，用模式匹配可以完全替代List.length、List.hd、List.tl的调用，代码更简洁可读性更高，也避免了空列表调用hd/tl的运行时错误风险：

let rec par lst r =
  match lst with
  | [] -> r (* 列表遍历完成，直接返回当前累计值 *)
  | e :: rest ->
    let new_r = if e mod 2 = r mod 2 then r + e else r - e in
    par rest new_r

你给出的测试用例par [4;7;3;6] 5运行后返回结果为-1，完全符合预期。

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