Determinazione del tipo di un'espressione

Question

A volte ho bisogno di imparare il tipo di un'espressione mentre si programma in C o C++. A volte c'è un buon IDE o documentazione esistente per aiutarmi, ma a volte no. Spesso mi sento un tale costrutto potrebbe essere utile:

void (*myFunc)(int); 
printf("%s", nameoftype(myFunc)); //"void (*)(int)" 
int i, unsigned int u; 
printf("%s", nameoftype(i+u)); //"unsigned int" 

Ciò è particolarmente vero per C++; pensa agli accessors degli oggetti const: restituiscono un riferimento const o una copia? Pensa ai cast dinamici e alle classi di modelli.

Come posso fare questo? (Ad esempio, impara il tipo di espressione)

Io uso GCC ma, per quanto ne so, non ha un'estensione del genere. Quindi immagino di essere curioso di sapere come le persone risolvono questo problema. (Sia le soluzioni di compilazione che quelle di runtime sono benvenute.)

Answer 1

Cosa stai cercando? Inferenza di tipo automatica o ricerca del tipo in modo da poter dichiarare una variabile in modo corretto manualmente? (le tue risposte sembrano che tu voglia avere il secondo). In questo caso, è consigliabile utilizzare Geordi:

<litb> make type pointer to function taking pointer to array of 10 int returning void 
<geordi> void (*)(int (*)[10]) 

<litb> geordi: { int a = -1; unsigned int b = 0; cout << ETYPE(a + b), ETYPE_DESC(a + b), (a + b); } 
<geordi> rvalue unsigned int, rvalue unsigned integer, 4294967295 

<litb> geordi: << TYPE_DESC(void (*)(int (*)[10])) 
<geordi> pointer to a function taking a pointer to an array of 10 integers and returning nothing 

tipo automatico deduzione al momento non è possibile senza le librerie di supporto come boost.typeof, che utilizzeranno le estensioni del compilatore come __typeof__ per GCC. Il prossimo C++ riceverà auto (con semantica diversa da quella attuale auto) e sarà in grado di farlo, insieme a decltype per ottenere il tipo di espressione.

Se si può vivere con alzarsi dal contesto locale, si può sempre creare un modello di funzione come questa:

template<typename T> void f(T t) { /* ... */ } 
int main() { int a = -1; unsigned int b = 0; f(a + b); } 

Answer 2

C++ ha un operatore typeid;

typeid(expression).name() 

restituirebbe un nome definito dall'implementazione del tipo di espressione. Ahimè, di solito non è leggibile dall'uomo.

Answer 3

A volte mi basta fare:

int ***a = expression; 

e cercare il "< tipo di espressione > non può essere assegnato al puntatore a^3 int" errore. Questa sembra essere la soluzione più portabile.

Answer 4

Prova Boost.Typeof per vedere se si adatta.

Answer 5

gcc ha typeof() in fase di compilazione. Funziona come sizeof().

http://gcc.gnu.org/onlinedocs/gcc/Typeof.html ha ulteriori informazioni.