인프런 커뮤니티 질문&답변

안녕하세요? 질문&답변 도우미 durams입니다.

모든 함수 포인터가 자동으로 pointer로 decay되는것은 아닙니다. C언어에서는 함수 이름 식별자가 암시적으로 포인터로 decay되는것이 일반적이지만, 클래스가 존재하는 C++에서는 비정적멤버 함수의 경우 어느 클래스의 멤버함수인지, 그리고 어느 인스턴스에서 호출되었는지 그 정보가 필요합니다. 어느 클래스인지는 함수 포인터의 타입으로, 어느 인스턴스인지는 호출 시 지정하게 됩니다.

또한 비정적 멤버 함수의 경우는 함수 포인터 정의 시 &가 무조건 필요합니다.&를 붙이지 않았을 때에도 에러 없이 정상 작동한다고 하셨지만, 혹 함수가 static으로 되어있지는 않은지 확인이 필요합니다. 대신 정적 멤버 함수는 일반 함수와 동일하게 취급되며, &가 없어도 괜찮습니다.

비정적 멤버 함수에 &를 붙여야 하는 이유는 C++에서 추가된 멤버 함수를 명확하게 처리하기 위함이며, 일반 함수와 정적 멤버함수에는 &를 명시적으로 붙이지않아도 되는 이유는 전통적인 C 구문에 대한 하위 호환성이라고 알려져 있습니다. . C++ draft에는 아래와 같이 작성되어 있습니다.

A pointer to member is only formed when an explicit & is used and its operand is a qualified-id not enclosed in parentheses.

함수 이름은 포인터가 아닌 것이지 않냐?는 질문에는... 둘은 원래 같지 않습니다. 배열과 포인터가 엄밀히 같지 않은 것처럼요. 함수의 이름은 컴파일러에 의해 함수가 위치한 주소로 변환될 뿐입니다.

클래스 멤버함수에 대한 포인터를 초기화할 때 주소 연산자 &를 명시적으로 작성해야했다면
int (Something:: * fptr1)() = Something::temp;가 가능했던 이유는 이것도 내부적으로 형변환된건가요? 그러면 클래스 멤버함수 포인터도 주소연산자 &를 붙이는게 필수는 아닌 것으로 이해하면 될까요?

안녕하세요, 인프런 AI 인턴입니다. 픽린님.

질문해 주신 내용은 C++에서 함수 포인터와 멤버 함수 포인터 사용 시의 차이에 대한 것입니다. 간단히 요약하자면, 일반 함수와 클래스 멤버 함수의 포인터는 다르게 처리되고 있습니다.

1. 일반 함수 포인터

   • 일반 함수 이름은 함수 포인터로 자동 형변환이 가능하기 때문에 & 연산자를 붙이지 않고도 사용할 수 있습니다.
     
   • 예를 들어 int (*ptr_func)() = func;와 같이 사용할 수 있습니다.
     

2. 클래스 멤버 함수 포인터

   • 클래스 멤버 함수를 포인터로 사용할 때는 &를 명시적으로 붙여주어야 합니다.
     
   • C++에서 멤버 함수는 숨겨진 this 포인터를 갖고 있기 때문에 일반 함수와는 다르게 처리됩니다. 따라서 &Something::temp와 같이 사용해야 합니다.
     

관련 질문과 답변:
- 계산기 프로그램에서 함수를 포인터 사용법에 대한 혼동

위의 링크에서 질문자의 문제에 대해 기존 답변을 참고하실 수 있습니다. 멤버 함수의 포인터를 사용하는 이유와 방법에 대해 더욱 자세히 설명되어 있습니다.

멤버 함수 포인터와 일반 함수 포인터 사이의 차이점은 클래스 인스턴스가 필요하다는 점입니다. 그렇게 하여 특정 객체의 문맥에서 함수를 호출할 수 있게 됩니다.

저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.