C++学习之函数模板的使用详解

template void Swap(T &a ,T &b) { T temp; temp = a; a = b; b = temp; } 

template void Swap(T &a ,T &b); //#1 template void Swap(T *a ,T *b,int n);//#2 最后一个参数是具体类型 int main() { int i =10,j=20; Swap(i,j);//使用#1 const int Lim = 8; int d1[Lim]={0,1,2,3,4,5,6,7}; int d2[Lim]={7,6,5,4,3,2,1,0}; Swap(d1,d2,Lim);//使用#2 } template void Swap(T &a ,T &b) { T temp; temp = a; a = b; b = temp; } template void Swap(T *a ,T *b,int n) { T temp; for(int i=0;i

void Swap(job& ,job&); template  void Swap(T&,T&); template<> void Swap(job& ,job&);//显示具体化 //Swap中是可选的，因为函数的参数类型表明，这是job的一个具体化，所以也可以这样写： template<> void Swap(job& ,job&); 

template void Swap(T &a ,T &b); int a =10,b=20; Swap(a,b);//因为提供了int类型的参数，所以自动生成了int类型的模板实例。这样是==隐式实例化== //也可以直接命令编译器创建特定的实例 //显示实例化 template void Swap(int &,int &);//使用Swap()模板生成int类型的函数定义 //显示具体化 template<> void Swap(int& ,int&); template<> void Swap(int& ,int&); //区别在于：具体化是不使用Swap()模板函数生成函数定义，而是使用专门为int类型显示定义的函数定义 //简单的理解，具体化是对函数的声明，而实例化是对模板函数的使用 

template T Add(T a,T b) { return a+b; } int m=6; double x=10.5; Add(x,m); //与Add(x,m)不匹配，因为一个是int一个是double //通过Add实例化，可强制将m转为double //但是同样的对Swap便不能成功，因为Swap中使用的是引用类型 Swap(m,x);//double& 不能指向int 

//使用案例 template  void Swap(T &,T &); template<> void Swap(job&,job&);//具体化 int mian() { template void Swap(char& ,char&); short a,b; Swap(a,b);//隐式实例化 job n,m; Swap(n,m);//显示具体化 char g,h; Swap(g,h);//显示实例化 } 

template void fun(T1 x,T2 y) { ?type? s=x+y; //因为是模板函数，此时?type?类型不确定 } 

template void fun(T1 x,T2 y) { decltype(x+y) s=x+y; //s类型与x+y的类型一致 } 

double x =5.5; double& z =x; const double* pd; decltype(x) w; //w为double类型 decltype(z) u; //u为double& 类型 decltype(pd) v; //v为const double* 类型 

double x = 4.5; decltype((x)) r = x;//r是double&类型 decltype(x) r = x;//r是double类型 //括号不会改变expression的值和左值性 //可理解为加括号仅仅是decltype声明引用的一种方式 

int j=3; int &k=j; int &n=j; decltype(j+6) x; //x是int decltype(k+n) y;//y是int ，虽然k和n是引用，但是k+n不是引用是2个int的和 

typedef decltype(x+y) xytype; xytype z = x+y; xytype arr[10]; 

template ?type? fun(T1 x,T2 y) //此时无法确定类型 { return x+y; } 

template auto fun(T1 x,T2 y)->decltype(x+y) //后置类型使用decltype { return x+y; }