컴파일러가 누락 된 세미콜론을보고하지 않는 이유는 무엇입니까?

이 간단한 프로그램이 있습니다.

#include <stdio.h>

struct S
{
    int i;
};

void swap(struct S *a, struct S *b)
{
    struct S temp;
    temp = *a    /* Oops, missing a semicolon here... */
    *a = *b;
    *b = temp;
}

int main(void)
{
    struct S a = { 1 };
    struct S b = { 2 };

    swap(&a, &b);
}

예를 들어 ideone.com에서 볼 수 있듯이 이것은 오류를 제공합니다.

prog.c: In function 'swap':
prog.c:12:5: error: invalid operands to binary * (have 'struct S' and 'struct S *')
     *a = *b;
     ^

컴파일러가 누락 된 세미콜론을 감지하지 못하는 이유는 무엇입니까?

참고 :이 질문과 답변은 이 질문에 의해 동기가 부여되었습니다 . 이와 유사한 다른 질문 이 있지만 C 언어의 자유 형식 용량에 대해 언급 한 내용이 없는데 이것이이 문제와 관련 오류의 원인입니다.

C는 자유 형식 언어입니다. 즉, 여러 가지 방법으로 형식을 지정할 수 있으며 여전히 법적 프로그램이 될 것입니다.

예를 들어 다음과 같은 진술

a = b * c;

다음과 같이 쓸 수있다

a=b*c;

또는 좋아

a
=
b
*
c
;

그래서 컴파일러가 라인을 볼 때

temp = *a
*a = *b;

의미한다고 생각한다

temp = *a * a = *b;

이것은 물론 유효한 표현식이 아니며 컴파일러는 누락 된 세미콜론 대신 이에 대해 불평 할 것입니다. 유효하지 않은 이유 a는 구조에 대한 포인터 이기 때문에 *a * a구조 인스턴스 ( *a)에 구조 에 대한 포인터 ( ) 를 곱하려고합니다 a.

컴파일러는 누락 된 세미콜론을 감지 할 수 없지만 잘못된 줄에 완전히 관련없는 오류를보고합니다. 오류가보고 된 줄을 아무리 봐도 오류가 없기 때문에주의해야합니다. 때때로 이와 같은 문제는 이전 줄을 살펴보고 오류가 없는지 확인해야합니다.

때로는 오류를 찾기 위해 다른 파일을 찾아야 할 수도 있습니다. 예를 들어 헤더 파일이 헤더 파일에서 마지막으로 구조를 정의하고 구조를 종료하는 세미콜론이 누락 된 경우 오류는 헤더 파일이 아니라 헤더 파일이 포함 된 파일에 있습니다.

그리고 때로는 더 나빠질 수 있습니다. 두 개 (또는 그 이상의) 헤더 파일을 포함하고 첫 번째 파일에 불완전한 선언이 포함 된 경우 대부분 구문 오류가 두 번째 헤더 파일에 표시됩니다.

이와 관련된 것은 후속 오류 의 개념입니다 . 일반적으로 실제로 세미콜론이 누락되어 발생하는 일부 오류는 여러 오류 로보고됩니다 . 첫 번째 오류를 수정하면 여러 오류가 사라질 수 있으므로 오류를 수정할 때 처음부터 시작하는 것이 중요합니다.

물론 이것은 한 번에 하나의 오류를 수정하고 대규모 프로젝트에서는 번거로울 수있는 빈번한 재 컴파일로 이어질 수 있습니다. 이러한 후속 오류를 인식하는 것은 경험과 함께 제공되는 것이며 몇 번 본 후에 실제 오류를 찾아 내고 재 컴파일 당 하나 이상의 오류를 수정하는 것이 더 쉽습니다.

컴파일러가 누락 된 세미콜론을 감지하지 못하는 이유는 무엇입니까?

기억해야 할 세 가지가 있습니다.

1. C의 줄 끝은 일반적인 공백입니다.
2. *C에서는 단항 및 이항 연산자가 될 수 있습니다. 단항 연산자로서 "역 참조"를 의미하고, 이항 연산자로서 "곱하기"를 의미합니다.
3. 단항 연산자와 이항 연산자의 차이는 표시되는 컨텍스트에 따라 결정됩니다.

이 두 가지 사실의 결과는 파싱 할 때입니다.

 temp = *a    /* Oops, missing a semicolon here... */
 *a = *b;

첫 번째와 마지막 *은 단항으로 해석되지만 두 번째 *는 이진으로 해석됩니다. 구문 관점에서 보면 괜찮아 보입니다.

컴파일러가 피연산자 유형의 컨텍스트에서 연산자를 해석하려고 할 때만 구문 분석 후에 오류가 표시됩니다.

위에서 몇 가지 좋은 답변이 있지만 자세히 설명하겠습니다.

temp = *a *a = *b;

이것은 실제로 와 x = y = z;둘 다 의 값이 할당되는 경우입니다 .xyz

당신이 말하는 것은 the contents of address (a times a) become equal to the contents of b, as does temp입니다.

요컨대 *a *a = <any integer value>유효한 진술입니다. 이전에 지적했듯이 첫 번째 *는 포인터를 역 참조하고 두 번째는 두 값을 곱합니다.

대부분의 컴파일러는 소스 파일을 순서대로 구문 분석하고 문제가 있음을 발견 한 줄을보고합니다. C 프로그램의 처음 12 줄은 유효한 (오류없는) C 프로그램의 시작일 수 있습니다. 프로그램의 처음 13 줄은 할 수 없습니다. 일부 컴파일러는 자체적으로 오류가 아닌 항목의 위치를 ​​기록하고 대부분의 경우 코드에서 나중에 오류를 트리거하지 않지만 다른 항목과 결합하여 유효하지 않을 수 있습니다. 예를 들면 :

int foo;
...
float foo;

선언 int foo;자체만으로도 완벽 할 것입니다. 마찬가지로 선언 float foo;. 일부 컴파일러는 첫 번째 선언이 나타난 줄 번호를 기록하고 정보 메시지를 해당 줄과 연결하여 프로그래머가 이전 정의가 실제로 잘못된 경우를 식별하도록 도울 수 있습니다. 컴파일러는 또한 a와 같은 항목과 연결된 줄 번호를 유지할 do수 있으며, 연결된 항목 while이 올바른 위치에 나타나지 않는 경우보고 될 수 있습니다 . 그러나 문제의 가능성있는 위치가 오류가 발견 된 줄 바로 앞에있는 경우 컴파일러는 일반적으로 위치에 대한 추가 보고서를 추가하지 않습니다.