SQL错误语句处理方案是否为合理的实现方式？

我对错误SQL语句的处理效果不佳：当前序语句出现错误时，后续语句将无法被正确解析。为此我新增了errorStatement分支，代码如下：

root
: sqlStatements? (MINUS MINUS)? EOF
;
sqlStatements
: (sqlStatement (MINUS MINUS)? SEMI?
| emptyStatement
| errorStatement
)
(sqlStatement (MINUS MINUS)? SEMI?
| emptyStatement
| errorStatement
)
;

errorStatement
: erroneous=.+? SEMI
{notifyErrorListeners("error statement: " + $erroneous.text);}
;

请问该实现方案是否合理？

这个方案的核心思路是对的——通过新增错误分支实现语句级错误恢复，避免单个错误阻塞后续语句解析，但具体实现存在几个明显问题，算不上完全合理：

• 匹配逻辑有缺陷：erroneous=.+? SEMI用了非贪婪的任意字符匹配，若错误语句本身包含分号（比如字符串里的分号），会提前终止匹配，把分号后的内容当成新语句，反而触发更多错误。
• 语法规则冗余：sqlStatements写了两组重复分支，只能匹配固定2条语句，无法处理多语句脚本，应该用*量词实现任意数量语句的匹配。
• 无分号场景会崩溃：如果错误语句没有结尾分号（比如语句不完整），errorStatement不会触发，ANTLR会直接触发全局错误，导致后续所有内容都无法解析。
• 存在性能隐患：.+?这种任意字符匹配会触发大量回溯，在大SQL脚本中会显著降低解析效率。

优化建议 #

1. 重构sqlStatements规则，支持任意数量的语句：

sqlStatements
: (sqlStatement (MINUS MINUS)? SEMI? | emptyStatement | errorStatement)*
;

2. 修改errorStatement的匹配逻辑，避免任意字符和非贪婪匹配的问题：

errorStatement
: erroneous ~SEMI+ SEMI
{notifyErrorListeners("error statement: " + $erroneous.text);}
;

这里用~SEMI+匹配除分号外的所有字符，比.+?更精准，也不会触发回溯。
3. 补充无分号场景的错误恢复：新增分支匹配到下一个语句起始标记或者EOF，避免无分号时全局崩溃：

errorStatement
: (erroneous ~SEMI+ SEMI)
| (erroneous .+? (sqlStatement | EOF))
{notifyErrorListeners("error statement: " + $erroneous.text);}
;

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