a question about the precedence of C++ operators "address of" and "scope resolution"

Question

Hello I have this code with a compiler error (error is from Microsoft Visual Studio 2008):

class B { protected:     int b; };  class A : public B { public:     void foo() { &B::b; }  // error C2248: 'B::b' : cannot access protected member declared in class 'B' }; 

while this code is error free:

class B { protected:     int b; };  class A : public B { public:     void foo() { &(B::b); } }; 

The two snippets seem to me equivalent based on my knowledge of the precedence of operators, because :: has an higher precedence than & (see for example table 2 at page 137 of "JOINT STRIKE FIGHTER AIR VEHICLE C++ CODING STANDARDS FOR THE SYSTEM DEVELOPMENT AND DEMONSTRATION PROGRAM" )

But they are different... I think it is something related to "pointer-to-data-member" but I do not know how does it fit with the operators precedence.

Any explanation?

Answer 1

In the first case you're taking the address of pointer-to-member B::b. Since such a pointer is NOT a member of the parent of A but a separate object, it can't access it via the protected mechanism.

In the SECOND case where it works you're asking for the address of the specific instance of b, qualifying it with its base class so that in the case of multiple inheritance the compiler would know which base class you mean. In this context the protected attribute is visible.

Note that this compiles:

class B { protected: int b; };  class A : public B { public: void foo(){ &A::b; }  // Note here &A:: instead of &B:: }; 

As an added example it doesn't work for the same reason that the following (hopefully more familiar) code doesn't work:

class B { protected: int b; };  class A : public B { public: void foo(const B* b_obj) { b_obj->b; } };