запутанных ЬурейиЕ включает класс сферу

Question

Я читаю код проекта C++ и содержит некоторый код следующего вида:

namespace ns { 
    class A {}; 
    class B {}; 
} 

struct C { 
    typedef ns::A* ns::B::* type; 
}; 

Может кто-нибудь объяснить смысл typedef линий? type, кажется, какой-то указатель на член ns::B, который указывает на ns::A, но я не уверен.

Класс A и B в реальном коде не пустые, но я думаю, что здесь это не актуально. И вот live example.

Answer 1

ns::B::* 

является переменной-указателем-членом-членом B. Тогда его тип ns::A*.

Таким образом, вся декларация означает

указатель на член-переменную B типа ns::A*

Answer 2

The answer by @vsoftco уже отвечает ядро ​​вопроса. Этот ответ показывает, как можно использовать такой typedef.

#include <iostream> 
#include <cstddef> 

namespace ns { 

    struct A {}; 

    struct B 
    { 
     A* a1; 
     A* a2; 
    }; 
} 

struct C { 
    typedef ns::A* ns::B::*type; 
}; 

int main() 
{ 
    C::type ptr1 = &ns::B::a1; 
    C::type ptr2 = &ns::B::a2; 

    ns::B b1; 
    b1.*ptr1 = new ns::A; // Samething as b1.a1 = new ns::A; 

    return 0; 
}