参照を含むC++で式の型を取得する

Question

参照を含む式の型を取得するにはどうすればよいですか？次の擬似コードは3回すべて異なる結果を与えることになります。

int a = 5; 
std::cout << type(a) << std::endl; 
int &b = a; 
std::cout << type(b) << std::endl; 
int &&c = 5; 
std::cout << type(c) << std::endl; 

（。それはオプションではありませんので、typeidが何らかの理由で参照を無視します）

Answer 1

あなただけ推定されるタイプを確認する必要がある場合は、1つのトリックは、インスタンス化に失敗したテンプレートを作ることです。

template<typename T> struct TD; 
TD<decltype(a)> tda; 
TD<decltype(b)> tdb; 
TD<decltype(c)> tdc; 

a/b/cという種類のコンパイルエラーが発生します。