참조를 얻기 위해 NULL 포인터를 역참조하는 것이 C에서 잘 정의될 수 있습니까?

참조를 얻기 위해 NULL 포인터를 역참조할 수 있습니까?

C 표준에서는 NULL 포인터 역참조를 정의되지 않은 동작으로 정의합니다. 그러나 다음과 같이 참조를 얻기 위해 NULL 포인터 역참조를 포함하는 코드 조각은 질문을 제기합니다.

int* ptr = NULL;
int& ref = *ptr;
int* ptr2 = &ref;

표준 정의:

C 표준에 따름 (8.3.2/4 "참조"), 잘 정의된 프로그램에는 Null 참조가 존재할 수 없습니다. 이는 그러한 참조를 생성하려면 정의되지 않은 동작을 구성하는 null 포인터를 역참조하여 얻은 "객체"에 바인딩해야 하기 때문입니다.

구현 세부 사항 또는 Well-Defined?

실제로 제공된 코드 조각으로 인해 ptr2가 NULL로 설정됩니다. 그러나 이는 단지 구현 세부 사항일 뿐입니다. 표준에서는 널 포인터 역참조가 정의되지 않았다고 명시적으로 명시합니다.

NULL 포인터 역참조가 미치는 영향:

일반적으로 널 포인터를 역참조하면 충돌이 발생합니다. 참조를 얻기 위해 이를 사용하는 특정 경우에 컴파일러는 참조를 포인터로 구현하여 실제 역참조 작업을 제거합니다. 그럼에도 불구하고 근본적인 정의되지 않은 동작은 그대로 유지됩니다.

예외: sizeof 연산자

잘 정의된 방식으로 널 포인터를 역참조하는 데 대한 예외는 sizeof 연산자입니다. sizeof를 사용하면 피연산자가 평가되지 않으므로 역참조 연산을 피할 수 있습니다.

위 내용은 참조를 얻기 위해 NULL 포인터를 역참조하는 것이 C에서 잘 정의될 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!