>>770
>>759 の言ってるのは

foo(c); // T = cの型, U = デフォルト型
foo<int>(c); // T = cの型, U = int

みないな感じのことがしたい、という話だろ。