함수 포인터가있는 가상 멤버 함수의 기본 클래스 정의를 호출합니다.

Question

멤버 함수 포인터를 사용하여 가상 함수의 기본 클래스 구현을 호출하려고합니다. FUNC의 파생 클래스 구현 위 코드에서

class Base { 
public: 
    virtual void func() { cout << "base" << endl; } 
}; 

class Derived: public Base { 
public: 
    void func() { cout << "derived" << endl; } 

    void callFunc() 
    { 
     void (Base::*fp)() = &Base::func; 
     (this->*fp)(); // Derived::func will be called. 
         // In my application I store the pointer for later use, 
         // so I can't simply do Base::func(). 
    } 
}; 

는 callFunc 호출한다. Base :: func를 가리키는 멤버 함수 포인터를 저장할 수있는 방법이 있습니까? 아니면 어떤 식 으로든 using을 사용해야합니까?

실제 응용 프로그램에서는 boost :: bind를 사용하여 callFunc에서 boost :: function 개체를 만들었습니다.이 개체는 나중에 내 프로그램의 다른 부분에서 func를 호출하는 데 사용됩니다. boost :: bind 또는 boost :: function에 도움이 될이 문제를 해결하는 방법이 있다면.

Answer 1

참조 또는 포인터를 통해 가상 메서드를 호출하면 항상 파생 된 형식을 찾는 가상 호출 메커니즘이 활성화됩니다.

가장 좋은 방법은 가상이 아닌 대체 기능을 추가하는 것입니다.

Answer 2

함수 포인터를 통해이 작업을 수행해야하는 특별한 이유가 있습니까?

당신은 쓸 수 있어야 :

Base::func(); 

는 기본 클래스 구현을 호출 할 수 있습니다.

Answer 3

문제는 멤버 함수 포인터가 베어 함수 포인터와 완전히 같지 않다는 것입니다. 실제로 포인터 일뿐만 아니라 considerably more complex structure이며 컴파일러 구현 수준에서 세부 사항이 다릅니다. (this->*fp)() 구문을 통해 호출하면 실제로 원래 함수에서 호출되므로 가상 함수를 전달합니다.

작동하지 않을 수있는 한 가지 방법은 비 - 메소드 포인터 유형으로 변환하는 것입니다. 이것은 조금 삐걱 거리지만 나는 생각하면 그것이 작동합니다. 당신은 여전히 ​​Base *를 통과해야하지만 당신은 명시 적으로 수행하고, 가상 함수 파견 통과하여-입니다 :

typedef void BasePointer(Base*); 

void callFunc() 
{ 
    BasePointer fp = (BasePointer *)&Base::func; 
    fp(this); 
} 

업데이트 : 좋아, 아니, 당신이 그런 식으로 할 수 없습니다. 불법이며 합법적 인 경우 안전하지 않습니다. C++ FAQ은 more on this입니다. 그러나 그것이 당신의 문제를 해결하지 못한다는 것을 안다. 문제는 Base 포인터를 통해 Base::func을 호출하려는 경우 포인터를 가리키는 개체가 이고 인 개체는 Base이어야합니다. 이를 조정할 수 있으면 멤버 함수 포인터를 사용할 수 있습니다.

또 다른 생각이 있지만 꽤 좋지는 않지만 적어도 실행 가능합니다. 가상이 아닌 Derived에 함수를 제공하고 명시 적으로 Base::func을 호출합니다. 대신 그 지점을 가리 키십시오. func 및 callFunc의 다양한 변형의 일반적인 경우이 작업을 수행해야하는 경우 확장되지 않지만 한 가지 방법으로는 잘 작동합니다.

Answer 4

쿼크가 말하는 것 외에도 일반적인 기능 포인터 대신 신호/슬롯 구현을 사용해야한다는 것이 일반적입니다. Boost에는 libsigc와 다른 것들이 있습니다.

Answer 5

불행히도 당신이하려는 것은 불가능합니다. 함수 포인터의 가상 기능을 유지하기 위해 포인터 - 구성원 - 기능은 으로 설계된입니다.

Answer 6

무엇이 문제입니까?

(Base(*this).*fp)(); 

이제는 만족 스럽다면 처음부터 함수 포인터를 사용하는 이유가 무엇인지에 대한 질문이 제기됩니다. 나는 좀 더 많은 맥락이 도움이 될 것이라고 생각한다.