在ANTLR中需要匹配的括号

Question

I know that in ANTLR4 I can use ? for 0 or 1 times. But For example for identifiers, the user may or may not use parentheses. But if I do this

'('? identifier ')'?

The parser will allow statements like : '(x' or 'y)' instead of requiring (x) . Is there a way to require matching parentheses when defining your grammar in ANTLR4

Answer 1

You can define an alternative with both parentheses and an alternative without any, eg

expression: 
    '(' identifier ')'
    | identifier
;

Answer 2

If you want to allow identifiers either between '(' and ')' or without parentheses, you could simply use two alternatives for that instead of the ? operator:

'(' identifier ')' | identifier

Note that this will only allow one set of parentheses. To allow an arbitrary number, you'd use a recursive rule like this:

identfiierWithParens
    : '(' identifierWithParens ')'
    | identifier
    ;

Since in most languages, arbitrary expressions can be enclosed in parentheses (and identifiers only can when they're used as expressions or other entities that can be parenthesized like this), you'd usually handle this as part of your expression rule instead:

expression
    : identifier
    | '(' expression ')'
    | // other types of expression
    ;