C에서 참조 정의 동작을 얻기 위해 NULL 포인터를 역참조하고 있습니까?

참조를 위한 NULL 포인터 역참조: 해석 및 표준

C에서 다음 코드는 표준이 무엇을 지시하는지에 대한 질문을 제기합니다.

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

구체적으로, NULL 포인터를 얻기 위해 역참조하는 것이 허용됩니까? 이러한 작업의 결과는 무엇입니까?

표준 해석

C 표준에 따르면 NULL 포인터 역참조는 정의되지 않은 동작으로 간주됩니다. 이는 표준의 섹션 8.3.2/4에 명시적으로 명시되어 있습니다.

참고: 특히 null 참조를 생성하는 유일한 방법은 다음과 같이 잘 정의된 프로그램에 존재할 수 없습니다. 널 포인터를 역참조하여 얻은 "객체"에 바인딩하면 정의되지 않은 동작이 발생합니다.

구현 시사점

그러나 실제로 많은 컴파일러는 결과를 NULL로 설정하여 이 동작을 구현합니다. 이는 제공된 코드 조각의 ptr2에 NULL 값이 할당된다는 의미입니다.

컴파일러 해석

위에 설명된 동작이 다음에서 보장되지 않는다는 점에 유의하는 것이 중요합니다. 표준이며 컴파일러와 플랫폼에 따라 다를 수 있습니다. 예를 들어, 일부 컴파일러는 NULL 포인터를 역참조할 때 예외를 발생시키거나 다른 플랫폼별 작업을 수행할 수 있습니다.

특정 예외

이 규칙의 한 가지 예외는 다음과 같습니다. NULL 포인터의 sizeof 연산자. 이러한 맥락에서 역참조는 실제로 발생하지 않으며 sizeof를 사용하면 정의되지 않은 동작을 일으키지 않고 유형의 크기를 결정할 수 있습니다.

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