C++模板的定制五：对定制成员函数的补充

王朝c/c++·作者佚名 2006-01-08

作者：袁小凯

华南理工大学计算机研究所北区研发二部

前言

在” 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