通常template metaprogramming（以下TMP）では型を受け取ってその情報を取得したり操作したりしますが，オブジェクトまたは式のみを受け取ってそのオブジェクトまたは式の型の情報を取得する方法も存在します． 例えば以下のような関数のオーバーロードを宣…