C에서 Null 포인터를 통한 메서드 호출의 예기치 않은 동작

제공된 코드 조각에서는 메서드가 Null 포인터를 통해 호출되지만 놀랍게도 메서드 호출은 충돌 없이 실행되는 것 같습니다. 이러한 비정상적인 동작은 다음과 같은 질문을 제기합니다. 이것이 C 표준에서 허용되는 것입니까, 아니면 단순히 구현 최적화입니까?

이 설명은 C의 메서드 호출 특성에 있습니다. 객체의 메소드가 호출되면 컴파일러는 객체의 유형과 실행될 메소드의 주소를 알고 있습니다. 이 경우 포인터의 유형이 알려져 있으므로(값이 null이더라도) 컴파일러는 여전히 메서드의 주소를 결정할 수 있습니다.

결정적으로 호출되는 메서드(표시)는 개체의 주소에 액세스하지 않습니다. 상태(this 포인터로 표시됨). 결과적으로 메소드 실행은 메소드가 작동하는 객체가 초기화되지 않은 경우에도 예상대로 진행됩니다.

이 동작은 예상치 못한 것처럼 보일 수 있지만 표준을 준수하지 않습니다. C 표준에서는 널 포인터를 통해 멤버에 액세스하면 정의되지 않은 동작이 발생함을 명확하게 명시하고 있습니다. 그러나 일부 컴파일러는 널 포인터 검사를 건너뛰고 메서드를 직접 호출하여 이러한 호출을 최적화할 수 있습니다.

이러한 최적화는 의도하지 않은 경우에도 메서드 호출이 실행되도록 허용하므로 효율성 대신 안전을 보장합니다. 실행하는 동안 시간을 ​​절약할 수 있지만 미묘한 버그와 정의되지 않은 동작이 발생할 가능성이 있습니다.

따라서 정확하고 예측 가능한 프로그램 동작을 보장하려면 개체 멤버에 액세스하기 전에 항상 null 포인터를 확인하는 것이 좋습니다.