Strange declaration (templates). C++

Question

Come posso capire quanto dichiarato qui: (questo è preso da un altro post su this forum)

template<typename C> static char (&f(ChT<int Fallback::*, &C::x>*))[1]; 

Ecco come ho letto:

modello di funzione statica f chiamato con (ChT<int Fallback::*, &C::x>*), ma poi ho non ha senso perché c'è un indirizzo di operatore e perché c'è un array?

Sto ancora imparando a capire le dichiarazioni C++, quindi spiegatelo lentamente e con attenzione.

Answer 1

È importante vedere il tipo di reso. Quindi, il tipo di ritorno di questa funzione è riferimento a char[1]; Immaginate che f restituisce qualcosa di simile riferimento alla seguente:

char ret[1]; 

Per esempio

template<typename C> static char (&f(ChT<int Fallback::*, &C::x>*))[1] 
{ 

    static char xx[1] = {'F'}; 
    return xx; 
} 

Answer 2

Utilizzando alcuni typedef:

typedef char (&arrayref_t)[1]; 

Questo è un riferimento ad un array di caratteri. L'array ha un elemento.

typedef ChT<int Fallback::*, &C::x> tmpl_t; 

Questa è una classe template, istanziato con il tipo "puntatore ad un int membro della classe Fallback", e un puntatore membro per x in classe C.

static arrayref_t f(tmpl_t*); 

La funzione ora prende un puntatore ad una tmpl_t e restituisce un arrayref_t.