C+范型——模板的具现

在程序源文件中可以采用多种模板来编写一个范型的程序功能模块，他可能是特化模板，偏特化模板（函数模板没有偏特化）以及全特化模板，或者这几种范型模块共存，当多个同一名称范型模块共存的时候，如果源程序出现了这个名称的功能模块的调用，那么编译器势必要在同名的模块中选择一个作为生成实体模块代码的模板，这个选择原则便是C++模板的具现规则：

编译器对一个模块调用的优先顺序是：

特化模板>>偏特化模板>>普通模板>>系统

代码示例

#include<iostream>
using namespace std;
//函数模板
//普通函数模板fm
template<typename T>
T fm(T t1)
{
  cout<<"普通函数模板"<<endl;
  return t1;
}
//fm的指针特化模板
template<typename T>
T* fm(T* t1)
{
  cout<<"int指针特化模板"<<endl;
  return t1;
}
//fm的int特化模板
template<>
int fm(int t1)
{
  cout<<"int特化函数模板"<<endl;
  return t1;
}
template<>
float fm(float t1)
{
  cout<<"float特化模板"<<endl;
  return t1;
}
//普通类模板Test
template<typename T1,typename T2>
class Test
{
public:
  void ply()
  {
    cout<<"普通类模板"<<endl;
  }
};
template<typename T1>
class Test<T1,int>
{
public:
  void ply()
  {
    cout<<"int偏特化类模板"<<endl;

  }
};
template<>
class Test<char,int>
{
public:
  void ply()
  {
    cout<<"全特化类模板"<<endl;
  }
};
//测试程序
int main()
{
  int a =23;
  int *p =&a;

  cout<<fm(a)<<endl;
  cout<<fm(p)<<endl;
  float f =23.4;
  cout<<fm(f)<<endl;
  double d= 99.45;
  cout<<fm(d)<<endl;
  cout<<endl;
  Test<char,char>TT1;
  TT1.ply();
  Test<int,int>TT2; 
  TT2.ply();
  Test<char,int>TT3;
  TT3.ply();
  return 0;
}

输出结果
int特化函数模板
23
int指针特化模板
0x7fff57615988
float特化模板
23.4
普通函数模板
99.45

普通类模板
int偏特化类模板
全特化类模板

我们再把代码修改一下：把75行到78行注释掉42行的int换成char

输出结果
int特化函数模板
23
int指针特化模板
0x7fff58183988
float特化模板
23.4
普通函数模板
99.45

int偏特化类模板

可以看出同时存在Test<T1,char>(偏特化模板) , Test<T1,T2> (普通模板)的时候，优先编译偏特化模板而不是普通模板。