명령 구문 분석기의 반환 세트

Question

구문 분석 명령을 구문 분석기에 작성해야합니다. 5 명령은 다음과 같습니다.

"a=10" 
"b=foo" 
"c=10,10" 
"clear d" 
"c push_back 2" 

첫 번째 예의 경우 set은 명령이고, a는 개체이며 10은 값입니다.

파서가 위의 각 줄마다 무엇을 반환해야한다고 생각합니까?

"a=10" -> SET (COMMAND_ENUM), INT (VALUE_TYPE), "a", ("10") 
    "b=foo" -> SET (COMMAND_ENUM), STRING (VALUE_TYPE), "b", ("foo") 

이 좋은 방법입니다 : 여기

내 생각? 이 문제에 대한 표준 접근 방식은 무엇입니까? 대신 파견해야합니까?

개체와 관련된 유형을 확인하는 기능이 있습니다. 예를 들어, 위의 a은 INT 유형이며 INT 값을 할당해야합니다. 그렇지 않으면 파서가 일종의 오류를 반환하거나 throw해야합니다. 또한 문자열에서 원하는 형식으로 값을 변환하기위한 변환 함수가 있습니다. 변환이 불가능한 경우에 throw됩니다. 구문 분석기가 문자열에서 값을 필수 유형으로 변환하려고하면 boost :: variant를 통해 문자열을 반환하는 것이 좋습니다.

Answer 1

당신이 알아야 할 명령 언어에 대해 최소한 준 공식적 문법을 생각해 내야합니다. 왜냐하면 많은 것들이 실제로는 모호하게 지정 되었기 때문입니다 (예 : b=foo에서 b이 변수가되기를 원합니다. 이름이지만 foo은 문자열 리터럴이어야합니다. 어떻게 구별합니까? 문자 시퀀스는 할당의 오른쪽에있는 경우 식별자를 나타내지 만 왼쪽에있는 경우 리터럴을 나타내는가? 아니면 하나의 문자가 나타내는가? 식별자이지만 여러 문자가 리터럴을 나타냅니다?) c=10,10에서 10,10은 목록 또는 벡터를 나타 냅니까? 문법을 작성하는 것은 최소한 당신이 그런 것들에 대해 생각하도록 강요 할 것이고, 적어도 파서를 작성하는 방법에 대한 지침으로도 쓰일 것입니다 (대부분 파서로 자동 번역 될 수있는 것입니다).

구문을 추상 구문 트리 (AST)로 표현하는 방법을 생각해 보면 올바른 길을 걷고 있지만 구체적인 구문에 관해서는 한 걸음 뒤로 물러나서 살펴볼 필요가 있습니다.