yacc 질문~~

Abstract Syntax Tree를 잘 그려보면 declarator가 변수명인지 함수명인지 구분가능하지 않나요?

제 생각엔 declarator 정의 부분에서 심볼테이블을 생성하도록 하고, (이때는 무조건 변수로 간주),

 
declaration_specifiers declarator declaration_list compound_statement{사용자코드}

이 부분에서 {사용자 코드} 부분에 해당 심볼테이블을 찾아서 함수로 변경하도록 짜면 될거 같습니다.

http://www.lysator.liu.se/c/ANSI-C-grammar-y.html#direct-abstract-declarator
을 참고하면, 두가지 방법이 있을 듯 합니다.

여기서,

direct_declarator
	: IDENTIFIER
	| '(' declarator ')'
	| direct_declarator '[' constant_expression ']'
	| direct_declarator '[' ']'
	| direct_declarator '(' parameter_type_list ')'
	| direct_declarator '(' identifier_list ')'
	| direct_declarator '(' ')'
	;

direct_abstract_declarator
	: '(' abstract_declarator ')'
	| '[' ']'
	| '[' constant_expression ']'
	| direct_abstract_declarator '[' ']'
	| direct_abstract_declarator '[' constant_expression ']'
	| '(' ')'
	| '(' parameter_type_list ')'
	| direct_abstract_declarator '(' ')'
	| direct_abstract_declarator '(' parameter_type_list ')'
	;

이 두부분을 보면, 함수와 변수의 차이는 declarator 다음에 '(', 와 ')'가 오느냐 오지 않느냐의 차이 같습니다. 따라서, 아래쪽 뒤에 괄호가 나오는 부분이 함수이며 나오지 않거나, 대괄호가 나오는 부분은 배열이나 변수 표현 같습니다.
그러므로, 결론은 이 두부분에 따로따로 코드를 추가하는 방법이 있을 것 같습니다.
그러나, 이 방법은 제가 변수뒤에 괄호가 나오는 경우는 못본것 같아서 이러한 방법을 제시했는데, 씨언어를 열심히 안해서 혹시 그런 경우가 있는지 잘 모르겠습니다.

그리고, 또 한가지 방법은 전에도 언급했다 시피..

function_definition
	: declaration_specifiers declarator declaration_list compound_statement
	| declaration_specifiers declarator compound_statement
	| declarator declaration_list compound_statement
	| declarator compound_statement
	;

이 코드에서 첫번째 문법을 예로 들면,
$1은 declaration_specifiers,
$2는 declator
$3는 declaration_list 를 의미합니다.

그러므로, 코드 부분에 $2에 해당하는 심볼을 찻고, 그 그 심볼은 무조건 함수심볼로 표시합니다. 또한, declator 부분의 문법을 찾아서 그 부분에는 심볼테이블에 해당 심볼을 추가하는 루틴을 작성하고요.

첨부 화일은 예전에 lex, yacc로 구현한 공학용 계산기 입니다.

숙제 내용은 "미/적분이 가능한 계산기를 구현하라" 여서 symbol processing을 하라는 의미였습니다만, 그건 구현하지 못하고 수치 미분/적분을 구현했습니다. 혹시 참고가 되면 좋겠습니다. 사용법은 help를 치면 나옵니다.

아마도..
int *fp(int);
이렇게 함수 포인터를 선언하려면 위와 같은 룰이 필요할 것 같습니다.

그리고 abstract_declarator는 IDENTIFIER를 포함하는 것이 아니라 파라미터의 타입 선언과 같은 곳에 사용되는 룰이고, declarator가 실제 IDENTIFIER 토큰을 처리해주는 룰인 것 같은데..

단순히 괄호가 있거나 없는 것만으로는 위의 함수 포인터와 같은 경우를 처리해주지 못하니 정확한 방법이 되지 못 할 듯 보이네요.

제 생각에도 두번째 말씀하신 것처럼 function_definition쪽에서 처리해주는 방향이 되어야 할 것 같아요(사실 Yacc는 잘 모릅니다-_-;).

함수 포인터라면 변수 심볼로 처리하는 게 맞는 거 아닌가요? 보통 포인터 변수처럼 말이죠.

- 토끼군

함수의 주소를 저장할 수 있다고 해서 포인터 변수라는 게 바뀌는 건 아니라고 생각해서 그렇게 썼습니다. 실제로 함수 포인터 변수에 항상 일정한 함수만 대입되지 않는 경우도 많고요. (함수 심볼이라면 그 함수가 절대로 변할 일이 없어야 겠죠) 이걸 함수 심볼로 처리하면 혼란을 줄 수 있지 않을까요?

그리고 함수 포인터에 대한 처리가 그렇게 많이 필요한 건지도 모르겠습니다. 기껏해 봐야 call할 때 immediate value가 아닌 뭔가 다른 걸 넘겨 주는 것 뿐이지 않나요.

- 토끼군

typedef void F(void);      // F is a function type
typedef void (*PF)(void);  // PF is a pointer-to-function type

F f(void);   // error
PF g(void);  // ok

sizeof(F);   // error
sizeof(PF);  // ok

F fa[];      // error
PF pfa[];    // ok