>>949
素晴らしい！素晴らしすぎます！！！
どうもありがとうございました。

どうしてそんなことを知っているのでしょうか？
"C++""限定子"で検索かけても一つ引っかかるだけ。。。
C++は奥が深いですね。

ちなみにテストコードは以下のようになりました。

template<class T> class CLS{
public:
template<class U>
void memfunc(U&){U i;}
};
template<class T>
void func(T& a){
// a.template memfunc(a); //テンプレート関数の型推論を試すその２。error
a.template memfunc<T>(a);
}
int main(){
CLS<int> a;
func(a); //テンプレート関数の型推論を試すその１。ok
}

型推論の機構もあわせてもう少し調べてみます。
ありがとうございました。