Perché non è possibile memorizzare un puntatore a funzione di una classe base?

Question

Il seguente codice restituisce un errore di compilazione per void b() { m = &A::a; }; che indica che A::a() è protetto. (Il che è - ma non dovrebbe essere un problema)
Tuttavia al compilatore non interessa quando scrivo B::a(). Anche se entrambi lo stesso significato io preferirei A::a() perché afferma esplicitamente che a() è definito in A.

Quindi qual è la ragione per cui è vietato A::a()?
EDIT
Forse qualcuno può trovare un esempio che potrebbe essere problematico se A::a() è stato permesso in B::b(). Se c'è un esempio, lo contrassegnerò come risposta alla domanda.
/EDIT

#include <iostream> 
#include <iomanip> 
#include <string> 
#include <cstdio> 

class A { 
protected: 
    void a(){ std::cout << "A::a()" << std::endl; }; 
}; 

typedef void (A::*f)(); 
class B : public A { 
public: 
    void b() { m = &A::a; }; // wont compile 
    // void b() { m = &B::a; }; // works fine 
    void c() { (this->*m)(); }; 
protected: 
    f m; 
}; 

int main(){ 
    B b; 
    b.b(); 
    b.c(); 
} 

// compile with 
// g++ -Wall main.cpp -o main 

Spiegazione del codice:
In B Voglio memorizzare un puntatore a funzione a un metodo in A per essere in grado di chiamare che più tardi in B::c(). E sì, questo succede anche nella vita reale. :-)

Answer 1

Il motivo dovrebbe essere simile a cui non si può fare questo in B sia:

class B: public A 
{ 
    //... 
    void foo(A& x) { 
     x.a(); //error 
    } 

    void foo(B& x) { 
     x.a(); //OK 
    } 
}; 

Che protetta non significa che B può accedere al Una parte di ogni classe purché sia un A/derivato da A. Il materiale protetto è disponibile solo per questa e altre istanze di B.

Answer 2

Perché altrimenti il ​​mondo esterno può trovare questo membro protetto: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11174.

Vedere anche http://gcc.gnu.org/ml/gcc-patches/2004-06/msg00610.html.

Answer 3

Si tenta di accedere al membro protetto tramite lo spazio dei nomi globale (A :: a is :: A :: a qui), utilizzare invece B :: A :: a.