yacc embedded action 문제입니다.

sandrain의 이미지

간단한 컴파일러를 구현해 보고 있습니다. lex와 yacc을 사용해서 구현 중인데요.
yacc 의 embedded action이 생각처럼 동작해 주질 않습니다.

fun_declaration         : type_specifier ID
                                { tname = copy_string(sdata->token->string); }
                          LPAREN params RPAREN compound_stmt
                                {
                                        $$ = create_decl_node(sdata, FunctionD);
                                        $$->attr.name = tname;
                                        $$->child[0] = $1;
                                        $$->child[1] = $5;
                                        $$->child[2] = $7;
                                }
                        ;

이 rule에서 ID까지 token을 읽어들인 후 LPAREN을 읽어 들이기 전에 ID를 저장하려고 합니다. 그런데 생각대로 저장이 안되고 "("(LPARAN)가 ID로 저장이 됩니다. (copy_string함수는 새로운 메모리 공간을 할당받아서 문자열을 그쪽으로 복사한 후 주소를 넘기는 함수입니다)

yacc의 embedded action을 작성하는 방법이 혹시 틀렸는지 알고 싶습니다. 저 방법이 틀린 것인가요?

만약 아니라면 어떤 문제 때문일까요? 도움을 부탁드립니다.

kslee80의 이미지

embedded action 에서 사용한 sdata 가 무엇인지요?

mancord의 이미지

자세하게 더 올려주세요.

ID 는 %token <idval> ID
이렇게 정의 하셨죠?
idval 은 지정한 타입이고

보통 char * 를 사용하죠

type_specifier ID { tname = copy_string($2); }
LPAREN params RPAREN compound_stmt

이렇게 하면 될것같은데...
$$ = create_decl_node(sdata, FunctionD);
$$->attr.name = tname;
$$->child[0] = $1;
$$->child[1] = $5;
$$->child[2] = $7;

$$ 는 리턴 하는 곳인데....

어떻게 $$-> 이렇게 가르킬수 있죠?

궁금하군요.
그 구조체를 좀 보여주세요.

voider의 이미지

ID 는 $2 를 사용해서 읽으면 됩니다.

Quote:
어떻게 $$-> 이렇게 가르킬수 있죠?

$$ = createDeclareNode 부분에서 메모리가 할당되어서
값을 대입할수도 있겠네요.
$$라고 특별한건 아니고 그냥 포인터입니다.
이런식으로도 많이 사용하죠.

ID를 읽으실때 문자열버퍼가 덮어써질 위험이 있다고 하시면 이런
방식보다 lex부분에서 문자열을 복사해서 그 핸들을 넘기시는게 편할것같다는 생각입니다.

-- 아쉬운 하루 되세요 --