Tipo typedf non chiaro

Question

Mi sono imbattuto in questo codice e mi chiedevo cosa significasse. Ma anche dopo circa 15 minuti di guardarlo non ha senso per me.

template< typename T > 
struct Vector4 { 
    typedef T Vector4<T>::* const vec[4]; 
    static const vec constVec; 

    //just to have some member instances of T 
    T member1, member2, member3, member4; 
}; 

Quindi qual è il tipo di constVec? Si prega di non ripetere semplicemente il typedef ma di spiegare nel linguaggio comune.

Le mie note finora:

• Perché ci sono due tipi (T e Vector4<T>), questo è un puntatore a funzione?
• Cosa significa :: *? Prendi tutto dalla portata di Vector4?
• È un array di puntatori const? Ma perché il :: allora?

Answer 1

constVec è un array di 4 puntatori costanti ai membri della classe Vector4<T> che sono di tipo T

Nota: I membri non sono costanti, i puntatori stessi sono.

In primo luogo, poiché questi sono puntatori costanti, è necessario inizializzarli nel costruttore: (Ho appena notato il qualificatore static, quindi deve essere inizializzato al di fuori della classe, ma se non fosse statico, si 'd bisogno di farlo nella lista di inizializzazione)

template< typename T > 
struct Vector4 { 
    typedef T Vector4<T>::* const vec[4]; 
    static const vec constVec; 

    //just to have some member instances of T 
    T member1, member2, member3, member4; 

}; 

template<typename T> 
const typename Vector4<T>::vec Vector4<T>::constVec = {&Vector4::member1,&Vector4::member2,&Vector4::member3,&Vector4::member4}; 

int main() { 
    Vector4<int> v; 
    for(int i=0; i<4; i++) { 
     (v.*Vector4<int>::constVec[i]) = 5; 
    } 
return 0; 
}