가상 함수 호출이 실패하는 동안 비가상 함수 호출이 NULL 포인터에서 성공하는 이유는 무엇입니까?

NULL 포인터에서 클래스 멤버 액세스: 이상 현상 및 설명

제공된 C 코드 조각에서 다음을 호출하는 함수가 관찰되었습니다. 가상이 아닌 메서드는 개체 포인터가 NULL인 경우에도 성공했지만 가상 함수 호출로 인해 애플리케이션이 중단되었습니다. 이 이상한 행동은 두 가지 근본적인 질문을 제기합니다:

1. 비가상 메서드는 NULL 포인터에서 어떻게 작동하나요?

가상 함수 호출과 달리 비가상 함수 호출에는 vtable 조회가 필요하지 않습니다. 컴파일러는 함수 호출을 실행할 특정 함수를 가리키는 기계어 명령으로 직접 변환합니다. 함수는 숨겨진 매개변수로 함수가 호출되는 객체에 대한 포인터를 전달받습니다.

주어진 코드에서 say_hi() 함수는 Foo 클래스의 멤버를 참조하지 않습니다. 따라서 this 포인터를 역참조할 필요 없이 실행될 수 있습니다. 기본적으로 say_hi() 호출은 다음과 동일합니다.

void Foo_say_hi(Foo* this);
Foo_say_hi(foo); // where foo is NULL

함수는 객체의 멤버에 액세스하려고 시도하지 않으므로 NULL 포인터를 역참조하는 정의되지 않은 동작이 발생하지 않습니다.

2. foo 객체는 어디에 할당되나요?

제공된 코드에서 foo는 Foo* 유형의 지역 변수로 선언됩니다. 특정 메모리 할당이 주어지지 않기 때문에 다른 지역 변수와 마찬가지로 메인 함수에 대한 스택에 할당될 가능성이 높습니다. 그러나 foo에 저장된 값은 NULL 포인터이며 이는 Foo 유형의 유효한 객체 인스턴스를 가리키지 않음을 나타냅니다.

위 내용은 가상 함수 호출이 실패하는 동안 비가상 함수 호출이 NULL 포인터에서 성공하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!