函数模板

C++函数模板实质上是一个生成函数的方式，它的目的是减少重复劳动。在调用函数模板时，编译器会生成一个函数实例，这种方式被称为隐式实例化。当我们对不同类型的变量执行同样的操作时，如果用函数重载，会麻烦很多。
例如，我们打一个绝对值函数

int fabs (int a)
{
	return a>0?a:-a;
}

如果我们要对double类型也用绝对值函数，我们又得再打一个

double fabs (double a)
{
	return a>0?a:-a;
}

但如果用函数模板，那么就只用打一次，不仅int,double都可以用，long ,float甚至自定义的类型也可以用。

template <class T>
T fabs (T a)
{
	return a>0?a:-a;
}
//定义两个不同类型的模板这样使用
template <class T1,class T2>

函数显式实例化

即指示编译器直接创建一个函数实例，上面说到，函数模板是一个生成函数的方式，显式实例化就是告诉编译器生成一个函数。
用法

template 函数类型 函数名 <模板类型>(模板类型);//尖括号可省略
eg:
template int fabs <int> (int a);
template int fabs (int a);

上述两种写法是一样的

强制实例化

调用函数时可告诉编译器使用哪种类型进行实例化，类似于变量的强制转化。
用法举例

fabs<long long>(a)

函数显式具体化

当我们对不同类型要做不同处理方式时就用具体化。编译器会对具体化的类型专门使用这个函数，类似于函数重载，不过这是对函数模板的特例化处理。
用法

template <> 函数类型 函数名 <模板类型>(模板类型)//尖括号可省略
{
	函数内容
}
eg:
template <> float fabs <float> (float a)
{
	return a+1;//随便写的内容
}

当我们调用函数时传入的参数是两个float时会使用上述函数
注意不能对实例化和具体化一样类型的函数模板，但可以另外定义相同类型相同名字的函数，即下面的代码不能同时存在

template <> int fabs (int a)
{
	return a+1;
}
template int fabs (int a);

但下面的代码可以

template int fabs (int a);//或者具体化
int fabs (int a)
{
	return a+2;//随便写的
}

调用函数时，在变量类型匹配的上时，优先使用非模板类型的，也可这样操作告诉编译器使用模板类型的函数

fabs<>(a);

关键字$decltype$

当我们使用了复数个模板时，如

template <class T1,class T2>
T1 f (T1 a,T1 b);

如果我们新定义一个变量$c,c=a+b$
那么$c$的类型是什么呢，举个例子

f(1,5.5)//①
f(5.5,1)//②

如果c是T1类型，那么①中本应该是6.5变成了6，如果是T2类型，那么②中则变成了6
而关键字$decltype$就能很好的解决这种问题
我们这么声明c变量，

decltype(a+b) c=a+b;

这表示定义一个类型和a+b一样的变量

后置返回类型

只有$decltype$是不够用的，这无法满足对函数返回值的定义
于是有了这么个语法

auto f (T1 a,T1 b) -> decltype (a+b)

这将返回值类型的声明后置了，$->decltype(a+b)$被称为后置返回类型

最后

以上就是健康微笑为你收集整理的C++函数模板及其实例化和具体化函数模板函数显式实例化强制实例化函数显式具体化关键字 d e c l t y p 的全部内容，希望文章能够帮你解决C++函数模板及其实例化和具体化函数模板函数显式实例化强制实例化函数显式具体化关键字 d e c l t y p 所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。