컴파일러의 논리적 단계 중 자료형 검사(Type Checking)를 수… | [사무자동화산업기사 필기] 18년 1회차 기출문제 상세 페이지
1[사무자동화산업기사 필기] 18년 1회차
컴파일러의 논리적 단계 중 자료형 검사(Type Checking)를 수행하는 단계는?
1
의미분석
2
구문분석
3
어휘분석
4
코드분석
해설
자료형 검사(Type Checking)는 의미분석(Semantic Analysis) 단계에서 수행된다. 의미분석은 구문분석을 통해 생성된 구문트리의 의미적 타당성을 검증하는 단계로, 변수의 자료형 일치 여부, 연산자와 피연산자의 호환성, 함수 호출의 인자 개수 및 자료형 등을 확인한다. 어휘분석은 토큰 단위로 분해하고, 구문분석은 문법 규칙에 따른 구조 검증만 수행하므로 자료형 검사는 수행하지 않는다.
내용에 오류가 있거나 최신 법령·기준과 다른 부분이 보이면 알려주세요. 확인 후 반영하겠습니다.