배열에서 구조체 참조 구문 분석

Question

배열 및 구조가있는 프로그래밍 언어에 대한 타사 구문 분석기로 작업하고 있습니다. 다음 식에 대한 STR,이 호출 배열을 포함하는 구조 형식 변수라고 가정하고, I는 정수 변수 :

Str.A[I] 

를 파서 (의사의) 다음 식 트리를 생성한다 :

StructMember 
(
    Left = "Str" 
    Right = ArraySubscript 
    (
     Left = "A" 
     Right = "I" 
    ) 
) 

실행 또는 코드를 생성 할 때, 먼저 구조체 멤버를 해결

ArraySubscript 
(
    Left = StructMember 
    (
     Left = "Str" 
     Right = "A" 
    ) 
    Right = "I" 
) 

때문에, 다음 첨자를 수행

나는 다른 무언가를 기대하고 있었다.

이론적 인 관점에서, 먼저 평가되는 연산이 다음에 평가되는 연산보다 구문 트리에서 더 깊지 않아야합니까? 즉,이 동작을 파서에서 버그로 간주해야합니까? RICI에 대한

편집 : STRA가 구조체의 배열 인 경우, 여기에 내가 얻을 나무가있다 : 표현 STRA [I] .A [I]에 대한했다

StructMember 
(
    Left = ArraySubscript 
    (
     Left = "StrA" 
     Right = "I" 
    ) 
    Right = ArraySubscript 
    (
     Left = "A" 
     Right = "I" 
    ) 
) 

.

EDIT2가 : 표현 S.A [I] .T를 들어, 여기에 내가 무엇을 얻을 :

StructMember 
(
    Left = "S" 
    Right = StructMember 
    (
     Left = ArraySubscript 
     (
      Left = "A" 
      Right = "I" 
     ) 
     Right = "T" 
    ) 
) 

중, 실행 순서의 관점에서 많은 이해가되지 않습니다.

Answer 1

대부분의 언어에서 멤버 액세스 연산자의 오른쪽 피연산자는식이 아닌 식별자가됩니다. 이 경우 당신이 문법에 맞지 않는받은 AST를

expression ::= 
    ... 
    | expression '.' identifier 

: 그에 대한 문법은 다음과 같이 보일 것입니다.사실 노드 의 right 구성원은 expression 유형이 아니어야하며 string (또는 식별자를 나타 내기 위해 사용하는 이름)을 입력해야합니다.

트리는 Str.(A[I])과 같습니다.이 트리는 해당 문법에 따라 유효한 구문이 아닙니다.

그것은 언어의 문법이 아닌처럼 보이는 것이 이론적으로 가능하다 : 그런 경우에는

expression ::= 
    ... 
    | expression '.' expression 

이 Str.(A[I])이 유효 구문하고 .의 우선 순위가 배열 첨자보다 낮은 경우 것입니다, Str.A[I]은 실제로 Str.(A[I])으로 구문 분석되어 올바른 트리를 만듭니다. 이것은 매우 드문 일이며 의견에서 귀하는 귀하가 아는 한 최선을 다할 것이라고 말했습니다.

그래서 우리는 당신 언어의 문법이 내가 처음 보여준 것과 비슷하다고 생각해야합니다. 파서는 버그가 있거나 정확하게 문법과 일치하는 나무를 제공하기위한 것이 아닙니다.

Answer 2

그것은 우리가 같은 간단한 뭔가를해야 할 정보가 무엇인지 고려하는 것이 도움이 될 수 있습니다 : 나는 구문 분석 트리를보고 기대, 여기

X[i]

뭔가 같은 :

ArraySubscript ( Left = "X" Right = "i" )

따라서 배열의 경우 Left 및 Right 속성이 필요합니다. struct 멤버에 대한 참조의 경우 왼쪽에서 구조체를 참조하고 parse-tree의 오른쪽면에서 struct 특성을 참조해야합니다.

Str.simple

:

StructMember ( Left = "Str" Right = "simple" )

이 같은 것을 참조하기 : 구조체의 속성은 정수와 같은 간단한 유형, 다음 StructMember는 다음과 같이 보일 수 있다면, 예를 들어 고려 보고있는 결과는 각 속성을 고려하는 방법에 대한이 간단한 분석과 일치합니다.