如何消除子查询与带括号表达式的语法歧义？

我定义了如下表达式规则：

expr
    : OpenParen expr (Comma expr)* Comma? CloseParen           # parenExpr
    | OpenParen simpleSelect CloseParen                        # subSelectExpr

但simpleSelect本身也可被括号包裹，导致语句select ((select 1))出现语法歧义。以下是简化后的ANTLR4语法：

grammar Subselect;
options { caseInsensitive=true; }
statement: query_statement EOF;

query_statement
   : query_expr # simple
   | query_statement set_op query_statement # set
   ;

query_expr
    : with_clause?
    ( select | '(' query_statement ')' )
      limit_clause?
    ;

select
    : select_clause
     (from_clause
      where_clause?)?
    ;

with_clause: 'WITH' expr 'AS (' select ')';
select_clause: 'SELECT' expr (',' expr)*;
from_clause: 'FROM' expr;
where_clause: 'WHERE' expr;
limit_clause: 'LIMIT' expr;
set_op: 'UNION'|'INTERSECT'|'EXCEPT';

expr
    : '(' expr ')'                      # parenExpr
    | '(' query_expr ')'                # subSelect
    | Atom                              # identifier
    ;

Atom: [a-z_0-9]+;
WHITESPACE: [ \t\r\n] -> skip;

请问如何解决该歧义？能否限制括号内的query_statement不再包含括号？现有SQL语法是否有解决方案？是否需要预处理去除重复括号？若需要，有哪些工具可用？

1. 消除语法歧义的核心调整 #

歧义根源是expr的两个规则'(' expr ')'和'(' query_expr ')'对((select 1))产生了两种解析路径：

• 路径1：外层括号匹配parenExpr，内层括号匹配subSelect
• 路径2：外层括号直接匹配subSelect，内层括号被query_expr里的'(' query_statement ')'吸收

解决思路是让语法规则明确优先级，而非限制子查询带括号：

• 调整规则顺序：ANTLR4会优先匹配排在前面的规则，把subSelect放在parenExpr前面，让解析器优先识别子查询括号：

expr
    : '(' query_expr ')'                # subSelect
    | '(' expr ')'                      # parenExpr
    | Atom                              # identifier
    ;

• 合并规则边界：query_expr本身已经定义了'(' query_statement ')'来处理带括号的子查询，完全可以移除expr里的subSelect规则，让expr只负责表达式级别的括号，从根源避免规则重叠。

2. 能否限制括号内的query_statement不再包含括号？ #

完全没必要，而且违反SQL语法规范——SQL允许子查询嵌套多层括号，比如select (((select 1)))是合法语句，限制会破坏语法兼容性。

3. 现有SQL语法的解决方案 #

标准SQL通过明确语法层级解决这类问题：

• 子查询属于查询语句层级，表达式括号属于表达式层级，两者在语法规则中有清晰边界。解析器遇到(select ...)时会优先按子查询处理，遇到(1+2)这类纯表达式则按表达式括号处理。
• 对于多层嵌套的子查询括号，SQL解析器会将每一层括号都作为子查询的一部分，不会产生歧义，因为子查询规则优先级高于普通表达式括号。

4. 是否需要预处理去除重复括号？ #

不需要。预处理去括号会带来额外问题：

• 部分场景下的括号带有语义（比如复杂表达式或嵌套子查询），盲目去除可能改变语句含义。
• 解析器本身就该具备处理嵌套括号的能力，预处理属于冗余步骤，不符合解析器的设计原则。

5. 若需处理括号预处理（非必须）的可用工具 #

如果确实要做括号标准化（比如去除无意义的重复括号），可以用这些方式：

• 自行编写词法预处理逻辑：遍历Token流，识别并合并/去除冗余的连续括号（需区分表达式和子查询场景）。
• 使用ANTLR4词法过滤器：在词法分析阶段添加自定义逻辑，过滤无意义的重复括号。
• 利用SQL解析工具的AST处理能力：生成抽象语法树后，遍历树结构去除冗余括号节点，再重新生成SQL语句。

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