[syntax] 프로그래밍 언어에서 구문과 의미의 차이점은 무엇입니까?

구문은 언어 의 구조 또는 문법에 관한 것입니다. 질문에 대한 답입니다. 유효한 문장을 어떻게 구성합니까? 모든 언어, 심지어 영어 및 기타 인간 (일명 “자연”) 언어에는 문법, 즉 문장이 제대로 구성되었는지 여부를 정의하는 규칙이 있습니다.

다음은 C 언어 구문 규칙입니다.

• 세미콜론으로 구분 된 문
• IF 문의 조건식을 괄호로 묶습니다.
• 중괄호로 묶어 여러 문을 하나의 문으로 그룹화
• 데이터 유형 및 변수는 첫 번째 실행 가능 명령문 이전에 선언되어야합니다 (이 기능은 C99에서 삭제되었습니다. C99 및 후자는 혼합 유형 선언을 허용합니다.)

의미론은 문장 의 의미 에 관한 것 입니다. 질문에 답합니다.이 문장이 유효한가요? 그렇다면 그 문장은 무엇을 의미합니까? 예를 들면 :

x++;                  // increment
foo(xyz, --b, &qrs);  // call foo

구문 상 유효한 C 문입니다. 그러나 그들은 무엇을 의미합니까? 이러한 명령문을 실행 가능한 명령 시퀀스로 변환하는 것이 유효합니까? 이러한 질문은 의미론의 핵심입니다.

첫 번째 명령문에서 ++ 연산자를 고려하십시오. 우선, 이것을 시도하는 것이 유효합니까?

• x가 float 데이터 유형 인 경우이 명령문은 의미가 없으므로 (C 언어 규칙에 따라) 명령문이 구문 상 정확하더라도 오류 입니다.
• x가 일부 데이터 유형에 대한 포인터 인 경우 명령문의 의미는 ” 주소 x의 값에 sizeof ( some data type )을 추가 하고 결과를 주소 x의 위치에 저장”하는 것입니다.
• x가 스칼라이면 명령문의 의미는 “주소 x의 값에 1을 더하고 결과를 주소 x의 위치에 저장”입니다.

마지막으로, 일부 의미 체계는 컴파일 타임에 결정할 수 없으므로 런타임에 평가해야합니다. ++ 연산자 예제에서 x가 이미 데이터 유형의 최대 값에있는 경우 여기에 1을 더하려고하면 어떻게됩니까? 또 다른 예 : 프로그램이 값이 NULL 인 포인터를 역 참조하려고하면 어떻게됩니까?

요약하면, 구문은 문장이 언어의 문법에 유효한지 여부에만 관련된 개념입니다. 의미론은 문장이 유효한 의미를 가지고 있는지 여부에 관한 것입니다.

답변

Type token;

while (boolean_expr) statement