OCaml实现upper函数统计列表中大于x的元素个数遇阻求助

你的代码存在几个关键问题，导致无法正常运行，以下是问题分析和修复方案：

问题点 #

• 参数顺序颠倒：题目要求函数签名是upper l x（列表作为第一个参数，阈值x作为第二个），但你定义的是upper x l1，调用时参数传递完全错误。
• 递归逻辑不完整：当元素大于x时，你仅返回1，没有递归处理剩余列表，导致只统计了第一个符合条件的元素。
• 缺少相等分支：当元素等于x时，没有对应的match分支，会触发运行时匹配失败错误。
• 冗余分支：单元素列表的分支|[a]|是多余的，a::r已经覆盖了单元素场景（此时r为空列表）。

修复后的代码 #

方案一（使用match with分支判断） #

let rec upper l x =
  match l with
  | [] -> 0
  | a::r when a > x -> 1 + upper r x
  | a::r -> upper r x  (* 处理a <= x的情况，无需区分小于或等于 *)

方案二（使用if-else简化逻辑） #

let rec upper l x =
  match l with
  | [] -> 0
  | a::r ->
      if a > x then 1 + upper r x
      else upper r x

测试验证 #

调用upper [10;20;30;40;50] 35，会返回2，符合题目要求。

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