Tại sao không thể lưu trữ một con trỏ hàm của một lớp cơ sở?

Question

Mã sau đây cung cấp lỗi biên dịch cho void b() { m = &A::a; }; cho biết rằng A::a() được bảo vệ. (Nó là gì - nhưng đó không phải là vấn đề)
Tuy nhiên trình biên dịch không quan tâm khi tôi viết B::a(). Mặc dù cả hai có nghĩa là cùng tôi muốn A::a() vì nó khẳng định rằng explicitely a() được định nghĩa trong A.

Vì vậy lý do tại sao A::a() cấm là gì?
EDIT
Có thể ai đó có thể tìm thấy ví dụ có thể gặp sự cố nếu A::a() được phép trong B::b(). Nếu có ví dụ như vậy, tôi sẽ đánh dấu nó là câu trả lời cho câu hỏi.
/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 

Giải thích về các mã:
Trong B Tôi muốn để lưu trữ một con trỏ hàm đến một phương pháp A để có thể gọi đó là sau này trong B::c(). Và vâng, điều này cũng xảy ra trong cuộc sống thực. :-)

Answer 1

Lý do nên tương tự như lý do tại sao bạn không thể làm điều này trong B hoặc:

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

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

Đó bảo vệ không có nghĩa là B có thể truy cập vào một phần của bất kỳ lớp học miễn nó là A/có nguồn gốc từ A. Nội dung được bảo vệ chỉ khả dụng cho trường hợp này và các trường hợp khác của B.

Answer 2

Vì nếu không, thế giới bên ngoài có thể tìm thấy thành viên được bảo vệ này: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11174.

Xem thêm http://gcc.gnu.org/ml/gcc-patches/2004-06/msg00610.html.

Answer 3

Bạn cố gắng truy cập thành viên được bảo vệ thông qua không gian tên chung (A :: a is :: A :: a here), sử dụng B :: A :: a thay thế.