式の型の決定

Question

時々、CまたはC++でプログラミングするときに式の型を知る必要があります。時には私に役立つ良いIDEや存在する文書がありますが、時にはそうではありません。私はしばしば、そのような構成が有用であると感じています。

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

これは特にC++の場合に当てはまります。 constオブジェクトのアクセサを考える - 彼らはconst参照またはコピーを返しますか？ダイナミックキャストやテンプレートクラスを考えてみてください。

どうすればいいですか？ （すなわち、式のタイプを学ぶ）

私はGCCを使っていますが、わかっている限り、そのような拡張子はありません。だから私は、人々がこの問題をどのように解決するのか興味があると思う。コンパイル時と実行時の両方のソリューションが歓迎されています。

Answer 1

あなたは何をお探しですか？自動型の推論や型を探すので、変数を正しく手動で宣言できますか？ （あなた自身の答えは、あなたが2番目のものを持っているように見えます）。この場合、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 

自動型推論GCCのため__typeof__のようなコンパイラの拡張機能を使用しますboost.typeofのようなヘルパーライブラリ、なし現在のところ不可能です。次に、C++はauto（現在のautoとは異なるセマンティクスを持つ）を取得し、decltypeと一緒にこれを実行して式の型を取得します。 youareはそれがmangeled名前です++グラムを使用している場合

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

Answer 2

C++にはtypeid演算子があります。

typeid(expression).name() 

は、式のタイプの実装定義の名前を返します。悲しいかな、それは通常人間が読めるものではありません。

Answer 3

時々私はちょうど行います

int ***a = expression; 

と探しエラー「<式の型>がポインタへ^ 3 int型に割り当てることはできません」。これは最も移植性の高い回避策のようです。

Answer 4

Boost.Typeofを試してみてください。

Answer 5

gccはコンパイル時にtypeof（）を持っています。これはsizeof（）のように機能します。

http://gcc.gnu.org/onlinedocs/gcc/Typeof.html詳細情報があります。