Что означает & Type :: variable?

Question

int main() 
{ 
    struct Bob 
    { 
     int a; 
    }; 

    &Bob::a; 
} 

Что означает &Bob::a означает? Боб - это тип, а не экземпляр, так что он берет адрес?

Answer 1

Это указатель на член класса. В соответствии со стандартом (N4296, 5.3.1):

В результате одноместный & оператора представляет собой указатель на его операнд. Операнд должен быть lvalue или квалифицированный идентификатор. Если операнд является квалифицирован-идентификатор именования нестатического или варианта члена m некоторого класса C с типом T, результата имеет типа «указатель на член класса C типа T» и является prvalue назначения C::m ,