C의 \'정의되지 않은 동작\'과 \'잘못된 형식, 진단이 필요하지 않음\'의 차이점은 무엇입니까?

정의되지 않은 동작과 잘못된 동작의 차이점: 진단이 필요하지 않음

C 사양은 정의되지 않은 동작, 지정되지 않은 동작, 구현 정의된 동작, 잘못된 동작을 비롯한 다양한 유형의 프로그램 동작을 정의합니다. , 그리고 형식이 잘못되었습니다. 일부 구별은 상대적으로 명확하지만 "잘못된 형식, 진단이 필요하지 않음"이라는 용어는 정확한 의미에 대한 의문을 제기했습니다.

정의

잘못된 형식: A 구문 또는 진단 가능한 의미 규칙을 위반하는 프로그램

정의되지 않음 동작: 표준에서 구현 작업에 대한 가정이나 요구 사항을 제시하지 않는 프로그램 동작입니다.

잘못됨: 프로그램의 형식이 잘못되었음을 나타내기 위해 표준에서 사용하는 용어입니다. 또는 정의되지 않은 동작에 참여합니다.

잘 구성된: 구문과 진단 가능한 의미 규칙.

"잘못된 형식, 진단이 필요하지 않은" 경우

이 특정 표현은 구현이 새로운 구문이나 동작을 도입하는 방식으로 언어를 확장할 때 나타납니다. 표준에 따르면 이러한 확장은 형식이 잘못된 것으로 간주되지만 구현 시 진단 메시지를 발행하지 않는 것이 허용됩니다.

정의되지 않은 동작과 구별

여기서 중요한 차이점은 정의되지 않은 동작이 명시적으로 있다는 것입니다. 프로그램의 잘못된 특성을 인정하는 반면 "잘못된 형식, 진단이 필요하지 않음"은 구현이 명확한 오류를 제공하지 않고 위반을 허용하는 특정 사례를 나타냅니다. 메시지.

컴파일 및 실행에 미치는 영향

잘못된 형식의 프로그램은 기술적으로 컴파일되지 않아야 합니다. 그러나 "잘못된 형식, 진단 필요 없음"의 경우 구현 시 기술적으로 경고 없이 프로그램을 자동으로 컴파일하고 실행할 수도 있습니다.

일관성 문제

표준의 일관되지 않은 사용 오류를 둘러싼 용어의 사용으로 인해 혼란이 발생했습니다. "잘못된"이라는 용어는 진단이 필요한 오류를 의미하지만 1.3.13의 "참고" 섹션에서는 구현이 이러한 문제를 자동으로 무시할 수 있도록 허용합니다.

결론

미묘한 차이가 있을 수 있지만 "잘못된 형식, 진단이 필요하지 않음"과 "정의되지 않은 동작" 사이의 표준 불일치로 인해 명확한 구별을 하기가 어렵습니다. 궁극적으로 두 용어 모두 프로그램의 동작을 예측할 수 없고 예상치 못한 결과를 초래할 수 있는 상황을 나타냅니다.

위 내용은 C의 \'정의되지 않은 동작\'과 \'잘못된 형식, 진단이 필요하지 않음\'의 차이점은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!