编译器开发：ParserErr触发索引越界异常，需解析器提取行信息关联AST

看起来你已经在Lexer里搞定了行号提取的基础逻辑，但解析器抛出ParseErr时触发索引越界，大概率是位置参数的合法性问题或者位置信息传递错误导致的。我来给你拆解几个常见原因和对应的解决方案：

1. 给错误函数加安全兜底校验 #

你的error函数直接计算start.pos_cnum - start.pos_bol，如果传入的start或finish位置未正确初始化（比如pos_cnum小于pos_bol，或者字段值为0），就会出现负数索引，触发越界。先给函数加一层安全防护：

exception LexErr of string
exception ParseErr of string

let error msg start finish =
  // 确保字符位置不会为负，且结束位置不小于起始位置
  let char_start = max 0 (start.pos_cnum - start.pos_bol) in
  let char_end = max char_start (finish.pos_cnum - finish.pos_bol) in
  // 行号默认从1开始，避免未初始化的0值
  let line_num = max 1 start.pos_lnum in
  Printf.sprintf "(line %d: char %d..%d): %s" line_num char_start char_end msg

2. 确认解析器错误时的位置来源有效性 #

如果你用的是OCaml解析器生成器（比如ocamlyacc），要确保抛出ParseErr时，传递的是当前解析上下文的真实位置，而非默认空位置。比如在语法规则里，应该用Parsing.symbol_start_pos()和Parsing.symbol_end_pos()获取当前符号的起止位置：

(* ocamlyacc语法规则示例 *)
expr:
  | INT { Int $1 }
  | expr PLUS expr { Add ($1, $3) }
  | error {
      let start = Parsing.symbol_start_pos() in
      let finish = Parsing.symbol_end_pos() in
      raise (ParseErr (error "Syntax error" start finish))
    }

如果错误传入未更新的初始位置，就会导致计算出非法的字符偏移量，触发越界。

3. 验证Lexer的位置更新逻辑 #

虽然你说Lexer已成功提取行信息，但还是要确认每个Token的位置都正确同步：

• 遇到换行符时，必须调用Lexing.new_line lexbuf来更新pos_lnum和pos_bol
• 自定义读取字符的逻辑时，要同步更新lexbuf.pos_cnum（用Lexing.next_char会自动处理，但手动逻辑需注意）

4. 调试定位异常场景 #

如果还是找不到问题，可以在抛出ParseErr前打印位置的详细字段，快速定位异常点：

let debug_pos pos =
  Printf.printf "Debug Pos: lnum=%d, cnum=%d, bol=%d\n" pos.pos_lnum pos.pos_cnum pos.pos_bol

(* 在抛出错误前调用调试 *)
debug_pos start;
debug_pos finish;
raise (ParseErr (error "Syntax error" start finish))

这样就能直观看到是哪个位置参数出了问题（比如pos_cnum小于pos_bol，或者行号为0）。

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