いや、例えば
template<typename T>struct X{
tyoedef T type;
};
template<typename T>void foo(T t){
X<T> tx;
}
となっていれば、変数を渡して型を摂れるかなと思いまして。
やっぱﾑﾘですね。