C++模板函数

模板函数的声明

先来看一个正常声明的函数形式：

//函数1
ReturnType func(Type1 x1,Type2 x2,...,Type9 x9)
{
    return (ReturnType) x;
}
1
2
3
4
5

对于函数应用模板应该这样声明：

//函数2
Template<typename T,typename U> void func(T x1,U x2)
{
   ....
}
1
2
3
4
5

可以看出实际上就是在函数之前加上一个$typename$的声明$T、U$，即:

Template<typename T,typename U>
1

有了这个$T$之后，可以在函数的任意一个部分用到它，比如返回值、参数类型、函数内部定义的任何类型如$int、float$等。而基于这个模板函数的声明，可以在其上新加函数声明，用于特定类型参数的函数声明。比如：

//函数3
Template<> void func<int,float>(int x1,float x2)
{
    .....
}
1
2
3
4
5

之后如果传入的$T$是$int$，$U$是$flaot$，就可以调用这个$func$函数。

再说一些比较特殊类型的$T$，我们之前见到的都是$typename$形式的，然而$T$也可以是$int、bool$类型的参数。比如声明如下的函数：

//函数4
Template<int T,typename U> void func1()
{
     U b;
     printf("%d",T);
 }
1
2
3
4
5
6

这个时候如果想要声明特定类型的$func1$参数模板，可以这样声明：

Template<> void func1<1,int>()//函数5
{
     printf("这里的T为1！");
 }
1
2
3
4

这个时候如果想要调用这个$func1$，传入的$T$值必须为$1$.

模板函数的使用

如果想要调用函数$4$，需要这样写：

func1<2,int>();
1

当然也可以省去显示的类型说明，比如调用函数$2$：

func(1,2);
1

这里面就是自动转换类型了。
如果想要调用特定类型的函数$5$，需要这样写：

func1<1,int>();
1

如果第一个参数不是$1$，那么推导不出来函数$5$.