C++模板的定制五：对定制成员函数的补充
作者：袁小凯
华南理工大学计算机研究所北区研发二部
Email – ccplusplus@21cn.com
前言
在” C++模板的定制四：定制成员函数和缺省类参 “一文中我简单介绍了模板类中成员函数的定制（全特化），但是有一细节还是说清楚的好，以免大家误解。在C++中不能局部定制模板类中的成员函数。再说一下模板类中的模板成员函数的用法。希望对大家有帮助。
一、 定制模板类中的成员函数
在” C++模板的定制四：定制成员函数和缺省类参 “中说了可以定制模板类中的成员函数。这时你会不会认为下例也应该可以。
template <typename T, typename P>
class classname
{
public:
classname(T t):_val(t){}
~classname(){}
void display(P p);
private:
T _val;
};
定制模板类中的成员函数void display(P p):
template <typename T>
void classname<T,char*>:: display(char* p)
{
if(NULL==_val)
cout<<”No Content”<<endl;
else
cout<<_val<<endl;
……
}
很对不起！这样是不行的，我真的希望能行，我开始时认为如果可以这样写多好。但事实上的确不可以。我也不知道为什么，但我很想知道，如果那位大侠能告知，在下万分感谢！记住吧，不要再犯我同样的错误。^_^
二、 模板类中的模板成员函数
当我们得到了模板类的好处后，还希望能使用模板成员函数，下面就简单的做一下介绍。假设有个模板类中需要一个加法函数可以处理任何型别。
template <typename T>
class classname
{
template <typename I1, typename I2>
I1 add (I1 i1,I2 i2)
{
return ….;
}
};
上例中add成员函数就是个模板类中的模板成员函数。但当你不内联时该如何写呢？如果你在VC上试的话，你会永远都得不到正确的结果，因为它不支持。正确的写法如下：
template <typename T>
template <typename I1, typename I2>
I1 classname<T>::add(I1 i1,I2 i2)
{
……
}
这是C++标准的写法，请不要说有没有必要，你知道总比不知道的好，不是吗？好了，不说了，希望能对你有所帮助。文章写的仓促，有错别字或错误请大家多批评指出。欢迎和大家交流。
2001-11-24
