Bestimmen des Typs eines Ausdrucks

Question

Manchmal muss ich den Typ eines Ausdrucks während der Programmierung in C oder C++ lernen. Manchmal gibt es eine gute IDE oder vorhandene Dokumentation, die mir hilft, aber manchmal nicht. Ich habe oft das Gefühl, ein solches Konstrukt könnte nützlich sein:

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

Dies gilt insbesondere für C++; Denken Sie an Accessoren von const-Objekten - geben sie eine const-Referenz oder eine Kopie zurück? Denken Sie über dynamische Casts und Vorlagen nach.

Wie kann ich das tun? (d. h. lerne den Typ eines Ausdrucks)

Ich benutze GCC, aber soweit ich weiß, hat es keine solche Erweiterung. Ich bin also gespannt, wie Menschen dieses Problem lösen. (Sowohl Kompilierungszeit- als auch Runtime-Lösungen sind willkommen.)

Answer 1

Wonach suchen Sie? Automatische Inferenz oder Suche nach dem Typ, so dass Sie eine Variable manuell korrekt deklarieren können? (Ihre eigenen Antworten sehen so aus, als wollten Sie die zweite haben). In diesem Fall betrachten Geordi mit:

<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 

Automatische Typinferenz ist derzeit nicht möglich, ohne Helfer Bibliotheken wie boost.typeof, die Compiler-Erweiterungen wie __typeof__ für GCC verwenden. Als nächstes wird C++ auto (mit anderer Semantik als der aktuelle) bekommen und kann das zusammen mit decltype tun, um den Typ eines Ausdrucks zu erhalten.

Wenn Sie mit dem Ausstieg aus lokalen Kontext leben können, können Sie immer eine Funktionsschablone wie folgt erstellen:

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

Answer 2

C++ hat einen Operator typeid;

typeid(expression).name() 

würde einen implementierungsdefinierten Namen des Typs des Ausdrucks zurückgeben. Leider ist es normalerweise nicht lesbar.

Answer 3

Manchmal mache ich gerade:

int ***a = expression; 

und suchen Sie nach dem „<Ausdrucksart> nicht zu Zeiger auf^3 int zugewiesen werden kann“ Fehler. Dies scheint die portabelste Problemumgehung zu sein.

Answer 4

Versuchen Sie Boost.Typeof, um zu sehen, ob es passt.

Answer 5

gcc hat typeof() zur Kompilierzeit. Es funktioniert wie sizeof().

http://gcc.gnu.org/onlinedocs/gcc/Typeof.html hat weitere Informationen.