Określanie typu wyrażenia

Question

Czasami muszę nauczyć się typu wyrażenia podczas programowania w C lub C++. Czasami istnieje dobre IDE lub istniejąca dokumentacja, która mi pomoże, ale czasami nie. Często czuję, że taki konstrukt może być przydatny:

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

Jest to szczególnie prawdziwe w C++; think accessors obiektów const - czy zwracają odwołanie do const lub kopię? Zastanów się nad dynamicznymi rzutami i klasami wzorcowymi.

Jak mogę to zrobić? (ucz się typu wyrażenia)

Używam GCC, ale o ile mi wiadomo, nie ma takiego rozszerzenia. Sądzę więc, że jestem ciekawy jak ludzie rozwiązują ten problem. (Zadowalające są zarówno rozwiązania kompilacyjne, jak i runtime).

Answer 1

Czego szukasz? Automatyczne wnioskowanie o typie lub szukanie typu, aby można było poprawnie zadeklarować zmienną ręcznie? (twoje własne odpowiedzi wyglądają tak, jakbyś chciał mieć drugi). W tym przypadku, należy rozważyć użycie 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 

Automatyczna wnioskowanie nie jest obecnie możliwe bez bibliotek pomocniczych takich jak boost.typeof, które używają rozszerzenia kompilatora jak __typeof__ dla GCC. Następnie C++ otrzyma auto (z inną semantyką niż aktualny auto) i będzie w stanie to zrobić, wraz z decltype, aby uzyskać typ wyrażenia.

Jeśli można żyć z uzyskiwanie z kontekstu lokalnego, zawsze można utworzyć szablon funkcji takich jak to:

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

Answer 2

C++ ma operatora typeid;

typeid(expression).name() 

zwróci zdefiniowaną przez implementację nazwę typu wyrażenia. Niestety, zwykle nie jest to czytelne dla człowieka.

Answer 3

Czasami po prostu zrobić:

int ***a = expression; 

i poszukaj "< typu ekspresyjnego > nie może być przypisany do wskaźnik do int^3" błąd. To wydaje się najbardziej przenośne obejście.

Answer 4

Wypróbuj Boost.Typeof, aby sprawdzić, czy pasuje.

Answer 5

gcc ma typeof() w czasie kompilacji. Działa jak sizeof().

http://gcc.gnu.org/onlinedocs/gcc/Typeof.html ma więcej informacji.