OCaml构建可执行文件后读取命令行输入触发Float.of_string异常求助

错误日志显示Float.of_string因空字符串抛出Invalid_argument异常，说明程序运行时读取到了空行（比如直接回车）或无法转换为浮点数的无效输入。你在utop测试时仅输入有效数字，未触发这种场景，所以没遇到异常。

修改代码，在转换前处理无效输入，推荐用Base提供的Float.of_string_opt（安全转换函数，返回option类型而非直接抛异常），可选择忽略无效输入或提示用户：

open Base 
open Stdio

let rec read_and_accumulate accum =
  let line = In_channel.input_line In_channel.stdin in
  match line with
  | None -> accum
  | Some x ->
      match Float.of_string_opt x with
      | None ->
          printf "警告：无法将 '%s' 转换为浮点数，已跳过\n" x;
          read_and_accumulate accum
      | Some num -> read_and_accumulate (accum +. num)

let () = 
  printf "请输入浮点数（输入空行结束）：\n";
  printf "Total: %F\n" (read_and_accumulate 0.)

如果想严格贴合书中逻辑，默认用户不会输入空行，也可以直接过滤空行：

open Base 
open Stdio

let rec read_and_accumulate accum =
  let line = In_channel.input_line In_channel.stdin in
  match line with
  | None -> accum
  | Some x ->
      if String.is_empty x then accum
      else read_and_accumulate (accum +. Float.of_string x)

let () = 
  printf "Total: %F\n" (read_and_accumulate 0.)

• Float.of_string_opt是Base库针对Float.of_string的安全替代，输入无效时返回None，避免程序直接崩溃。
• 书中示例未处理异常，是默认用户输入均为有效浮点数，但实际运行中误触回车输入空行是常见场景，因此需要额外处理。

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