C++的模版有时候很可能无法处理某些类型。
例如:
#include
using namespace std;
class man{
private:
string name;
int data;
public:
man(string s,int i):name(s),data(i){
}
void show()const{
cout<<"this name is "<
void mSwap(T t1,T t2){
T temp=t1;
t1=t2;
t2=temp;
cout<<" here="" are="" template="" version="" "<
编译结果:

可以看到会出现很多错误。(虽然这不是重点。)<??http://www.2cto.com/kf/ware/vc/" target="_blank" class="keylink">vcD4KPHA+vNnJ6M7Sz6PN+21Td2Fw1rvKx727u7vBvbj2bWFutcRkYXRho6y2+G5hbWW7ubGjs9bT69StwLTSu9H5oaO4w9T1w7TX9sTYo788L3A+CjxwPjwvcD4KPHA+1eK49sqxuvKjrL7N0OjSqs7Sw8fOqszYtqi1xMDg0M3M4bmpvt/M5buvtcTEo7DmtqjS5cHLoaM8L3A+CjxwPr7fzOW7r7D8wKjP1Mq9vt/M5buv0tS8sNL+yr3KtcD9u6+6zc/Uyr3KtcD9u6+hozwvcD4KPHA+PGJyPgo8L3A+CjxwPjEuz9TKvb7fzOW7r7XE1K3QzbrNtqjS5dOm0tR0ZW1wbGF0ZTw+v6rNt6OssqLNqLn9w/uzxsC01riz9sDg0M2hozwvcD4KPHA+PC9wPgo8cHJlIGNsYXNzPQ=="brush:java;">template<> void mSwap(man &m1,man &m2)
或者
template<>
void mSwap
(man &m1,man &m2)
修改后的例子:
#include
using namespace std;
class man{
private:
string name;
int data;
public:
man(string s,int i):name(s),data(i){
}
void show()const{
cout<<"this name is "<
void mSwap(T &t1,T &t2){
T temp=t1;
t1=t2;
t2=temp;
cout<<" here="" are="" template="" version="" "<
void mSwap(man &m1,man &m2){ int temp=m1.getData(); m1.setData(m2.getData()); m2.setData(temp); cout<<"Here are the man version,successed!"<
运行截图:

这就是模版显式具体化的作用了。
需要注意的是,具体化优先于常规模版,而非模版函数优先于具体化和常规模版。
2.实例化
要进一步了解模版,必须理解术语实例化和具体化。记住,在代码中包含函数模版本身并不会生成函数定义,它只是一个用于生成函数定义的方案。编译器使用模版为特定类型生成函数定义时,得到的是模版实例,例如,上面的mSwap(i,j),函数调用mSwap(i,j)导致编译器生成mSwap()的一个实例,该实例使用int类型。
模版并非是函数定义,但使用int的模版实例是函数定义。这种实例化方式被称为隐式实例化。
C++还可以显式实例化。
语法为,声明所需的种类--用<>符号指示类型,并在声明之前加上关键字template:
templata void mSwap
(man &,man &)
该声明的意思是“使用mSwap()模版生成man类型的函数定义”。