Un typedef déroutant implique la portée de classe

Question

Je suis en train de lire le code d'un projet C++ et il contient du code de la forme suivante:

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

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

Quelqu'un peut m'expliquer le sens de l' typedef ligne? type semble être une sorte de pointeur de membre de l' ns::B des points de ns::A, mais je ne suis pas sûr.

Classe A et B dans le code réel ne sont pas vides, mais je pense qu'il n'est pas pertinent ici. Et ici est un exemple vivant.

Answer 1

 ns::B::*
 

est une variable pointeur-membre-membre de B . Alors ns::A* est son type.

Donc, toute la déclaration signifie

pointeur sur membre variable de B de type ns::A*

Answer 2

La réponse de @vsoftco répond déjà au coeur de la question. Cette réponse montre comment utiliser un tel 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;
}