调用模板类的模板成员函数的问题

今天写程序碰到有一个需求，要调用模板类的模板成员函数，那个模板成员函数本身没有办法根据参数来实例化。例子如下：

template <class _T>
class CTest
{
public:
template <class _N>
void f() {   }
};

template <class _T>
void g()
{
CTest<_T> tt;
   tt.f<int>();
}

int main(int argc, char* argv[])
{
g<int>();
return 0;
}

按理来说应该能够通过编译才对，结果用g++编译出错，expected primary-expression before ‘int’，错误在红色的那一行上面。应该是模板实例化的时候出错，我想到替代的办法可以是把  template <class _N>   void f() {  } 加一个参数让编译器解析，改成  template <class _N>  void f(_N* p = NULL)  {  } ，然后调用的时候用  tt.f(static_cast<_T*>(NULL)); 即可，经过测试这样是可以编译通过的。但毕竟不是一个终极解决办法，而且看上去很难看，别的看代码的人会不知道那个指针只是用来辅助编译器推导模板参数用的。

在网上找了半天，终于找到了 http://bytes.com/topic/c/answers/159935-problem-calling-template-member-function ，这个上面和我的问题一样，也有人提出了加指针的解决方案。不过网上牛人还是真多，终极解决方案是在调用的时候显式地指出需要掉一个模板函数，把  tt.f<int>(); 改成 tt.template f<int>(); 即可。完整代码如下：

template <class _T>
class CTest
{
public:
template <class _N>
void f()
{
}
};

template <class _T>
void g()
{
CTest<_T> tt;
    tt.template f<int>();
}

int main(int argc, char* argv[])
{
g<int>();
return 0;
}


出错的原因好像和模板解析的 dependent names 相关。

BTW: 据那个网页上说，先前的代码在 Visual Studio 7.1 上面编译通过，不知道哪种写法是标准。

原文：http://hi.baidu.com/huangyunict/item/861afc8d002dccc499255ff7