Bison의 작업 순서

Question

Bison을 사용하여 C++에서 파서를 생성하려고합니다. 문법은 괜찮지 만, 나는 그 행동에 약간의 문제가있다. 다음은 간단한 샘플입니다.

statements 
: statement 
| statements statement; 

제가 아는 한, 이것은 매우 일반적인 일입니다. 내가 가진 질문은 먼저 파생 된 것입니다. 예를 들어, 나는 들소가

statement (statement (statement (statement)))) 

또는

(((statement) statement) statement) statement 

나는의 연결리스트를 구축하기 위해 노력하고있어 나의 행동을 호출 않습니다

statement statement statement statement 

처럼 보이는 입력이있는 경우 여기에서 규칙이 호출되며 입력 한 순서와 동일한 순서로 목록을 유지하려고합니다. OK, 그래서이 뭔가를 할 수 있습니다 : 바로 지금, 나는

statements 
: statement 
{ 
    $$ = $1; 
} 
| statements statement 
{ 
    dynamic_cast<ParsedFile::Statement*>($1)->Next = dynamic_cast<ParsedFile::Statement*>($2); 
    $$ = $1; 
}; 

편집있어

switch_statement 
: SWITCH '(' expression ')' 
{ 
    auto Switch = p.Make<ParsedFile::SwitchStatement>(); 
    Switch->Test = dynamic_cast<ParsedFile::Expression*>($3); 
    p.NewScope(); 
    $$ = Switch; 
} 
'{' case_statements '}' 
{ 
    auto Switch = dynamic_cast<ParsedFile::SwitchStatement*>($5); 
    Switch->Cases = p.statements.top(); 
    p.PopScope(); 
    p.AddToCurrentScope(Switch); 
}; 

default_statement 
: DEFAULT ':' 
{ 
    auto Default = p.Make<ParsedFile::DefaultStatement>(); 
    p.NewScope(); 
    $$ = Default; 
} 
statements 
{ 
    auto Default = dynamic_cast<ParsedFile::DefaultStatement*>($3); 
    Default->Statements = p.statements.top(); 
    p.PopScope(); 
    p.AddToCurrentScope(Default); 
}; 

case_statement 
: CASE expression 
{ 
    auto case = p.Make<ParsedFile::CaseStatement>(); 
    p->Value = dynamic_cast<ParsedFile::Expression*>($2); 
    p.NewScope(); 
    $$ = case; 
} 
DOUBLE_COLON statements 
{ 
    auto Case = dynamic_cast<ParsedFile::CaseStatement*>($3); 
    Case->Statements = p.statements.top(); 
    p.PopScope(); 
    p.AddToCurrentScope(Case); 
}; 

case_statements 
: case_statement 
| case_statements case_statement 
| case_statements default_statement; 

Answer 1

그것은 왼쪽으로 연관, 즉

(((statement) statement) statement) statement 

당신은 말할 수 이것이 유일한 가능성인데 이는 이것을 작품 중 하나 인 statements statement으로 줄일 수 있기 때문입니다.

statement (statement (statement (statement)))) 

다른 옵션은 제작의 하지 하나입니다 statement statements, 감소되어야 할 것이다. 그러나 대신 오른쪽 연관성을 원한다면 이것을 사용할 수 있습니다.

다른 하나의 문에 가입 한 후, 당신은 첫 문에 대한 포인터를 반환하기 때문에, 그래서 다음 문 주위에 당신이 Next 포인터를 덮어하고 오는대로-때 링크 된 목록을 생성하지 않습니다 귀하의 코드 첫 번째 진술의

순서를 오른쪽 연관으로 변경하면 문제를 해결할 수 있지만 구문의 개수에 선형 파서 스택 공간이 필요합니다. 많은 진술을 기대한다면 연결 목록을 역으로 작성하는 것을 고려해야합니다.