C++0x では decltype によって「式の型」を得ることが出来ますが、 テンプレートメタプログラミングなんかで「ある型の変数を decltype 内で使いたい」って時には、 その変数をどうやって作るかが問題になります。 例えば T1 と T2 を乗算した結果の型が欲し…