莱阳建设局网站,wordpress编辑远程图片,网站建设收费项目,asp学校网站系统非类型模板参数
模板参数有类型形参和非类型形参#xff1b; 类型形参#xff1a;使用typename或者class修饰的参数类型名称
非类型形参#xff1a;一个普通常量作为模板参数形参#xff0c;不能为浮点数#xff0c;字符类型以及类对象#xff1b; #includeiostrea…
非类型模板参数
模板参数有类型形参和非类型形参 类型形参使用typename或者class修饰的参数类型名称
非类型形参一个普通常量作为模板参数形参不能为浮点数字符类型以及类对象 #includeiostream
using namespace std;templateclass T, size_t N 64
class test {private:T data 10;
public:void print(){cout data endl N endl;}};int main()
{testint a;a.print();return 0;
}
上面的代码中T就是典型的类型形参N为非类型形参这个N我们在类函数成员中可以直接使用 模板的特化
我们都知道使用模板能够很方便的做出能够适应各种场景的函数比如比较大小加减法等函数 templateclass T
bool Less(T a, T b)
{return a b;
}int main()
{cout Less(1, 2) endl;Date a(2022, 7, 8);Date b(2022, 7, 7);cout Less(a, b) endl;return 0;
} 比如这样就能够比较 intdouble 之类的类型但是有时候我们的类型可能无法满足我们的需求 比如 我们需要比较的是Date类中的日期大小但是我们传 Date* 类型进行比较时
却发现比较的结果实际上是按照地址的大小来进行比较的。
对于这种情况就需要我们的函数模板的特化出场了 函数模板特化的步骤 1.有一个基础的函数模板 2.有一个template关键字后面跟着一个空的 3.函数名后跟着一个,尖括号中指定需要特化的类型 4.函数形参表必须和模板函数的基础参数类型完全相同否则会报错 比如上面的 Less 模板函数如何特化
templateclass T
bool Less(T a, T b)
{return a b;
}template
bool LessDate*(Date* a, Date* b)
{return *a *b;
} 我们对比基础函数模板我们发现特化的函数模板不仅template后面跟着空的 而且函数名后还有一个 并且里面有特化的类型且形参名都是相同的
这样我们就能够顺利比较 Date* 类型的参数了 即然有函数的模板特化那么就有类的模板特化
类的模板特化和函数的模板特化的规则类似。 类的模板特化
类的模板特化分为两种——全特化和偏特化
我们先了解简单的全特化
全特化
templateclass T1,class T2
class Test {
public:Test(){cout Test(T1,T2) endl;}private:T1 a;T2 b;
};template
class Testchar, char {
public:Test(){cout Test(char,char) endl;}
};int main()
{Testint, int t1;Testchar, char t2;return 0;
} 全特化和函数特化一样需要有基础的类模板并且还得有其他一些条件才能实现特化
若是创建的类对象和特化的类型一致就会使用特化的类 偏特化
所谓偏特化就是指这个类并非全都是指定一个类型而是有特化有没特化的。
templateclass T1
class TestT1, int {
public:Test(){cout Test(T1,int) endl;}
};就比如这个我们指定特化第二个参数是 int 类型的因此若是后面使用 int 类型当做第二个模板参数就会使用这个类型
int main()
{Testint, int t1;Testchar, char t2;Testchar, int t3;return 0;
} 而偏特化里面还有一个更特殊的——针对模板参数进一步条件限制设计出来的特化版本
这个和普通的偏特化不同它的规则不同我们先来看看实例
templateclass T1,class T2
class TestT1, T2 {
public:Test(){cout Test(T1,T2) endl;}
};
我们发现它的template后不是跟着空 ,其内部有正常的模板参数
但是类名后面跟着不同指定特化的类型。
这就是进一步限制条件的特化版本。 模板特化应用示例
比如我们使用一个仿函数用来比较函数时我们有时单纯靠模板无法满足需求就需要特化版本来满足需求
templateclass T
class Less {bool operator()(const Tx,const T y)const {return x y;}
比如这个我们比较普通的类型无所谓但是若是比较的是 Date* 的类型时就会比较地址大小导致出错因此需要特化。
template
class LessDate*
{bool operator()(const Date* x, const Date* y){return *x *y;}
};模板分离编译
当我们写模板类的时候需要注意一个点——模板类不能分离编译。 什么是分离编译就是指模板函数或者模板类的函数声明和定义分别在不同的文件。
而模板函数和模板类的声明和定义在不同位置会导致出错。 这是因为编译器对于每个源文件都是独立编译的若是分离编译则会导致源文件之间没有交互导致对应的模板没有实例化从而出错。
具体解决办法就是将声明定义放在一起从而避免出错。
