한국어
메뉴

C 언어 기초

C 언어 규격에서 말하는 미정의 동작의 설명으로 올바른 것은?

  1. A규격이 아무것도 정하지 않은 동작으로, 컴파일러는 그것이 일어나지 않는다고 가정하고 최적화해도 되며, 예상하지 못한 결과가 되기도 한다
  2. B처리계마다 결과를 정하고, 그 결과를 문서에 적어 두는 것이 의무화되어 있는 동작
  3. C실행 시에 반드시 검출되어, 오류 메시지를 내고 프로그램이 멈추는 동작
정답과 해설 보기

정답: A. 규격이 아무것도 정하지 않은 동작으로, 컴파일러는 그것이 일어나지 않는다고 가정하고 최적화해도 되며, 예상하지 못한 결과가 되기도 한다

미정의 동작은 부호 있는 정수의 오버플로, 배열의 범위 밖 참조, NULL 포인터의 참조, 해제 후 사용 등과 같이 규격이 아무것도 요구하지 않는 동작입니다. 우연히 기대대로 동작하기도 하지만, 컴파일러는 '올바른 프로그램에서는 일어나지 않는다'고 가정하고 최적화해도 되므로, 최적화 설정이나 컴파일러의 버전을 바꾸기만 해도 결과가 바뀌는 경우가 있습니다. 이에 비해 int의 크기나 char의 부호 유무처럼 처리계가 정하고 문서에 적어야 하는 것을 처리계 정의 동작이라고 합니다. gcc나 clang에서는 -fsanitize=undefined를 붙이면 일부 미정의 동작을 실행 시에 검출할 수 있습니다.

이 분야 연습하기 분야로 돌아가기

C 언어 기초의 다른 문제

  1. int와 unsigned int는 32비트로 한다. 다음 중 C 언어 규격에서 미정의 동작이 되는 것은?
  2. 위의 함수를 gcc로 최적화를 켜고 컴파일하면 if (p == NULL)의 판정이 삭제되는 경우가 있다. 그 이유로 올바른 것은?
  3. C 언어 규격에서 int형의 크기에 대해 정해져 있는 것으로 올바른 것은?
  4. 임베디드 프로그램에서 32비트 주변 장치 레지스터의 값을 넣는 변수를 unsigned int가 아니라 stdint.h의 uint32_t로 선언하는 경우가 많다. 주된 이유로 올바른 것은?
  5. 정수끼리의 나눗셈을 포함하는 위의 코드를 실행했을 때의 출력으로 올바른 것은?