企业官网建设流程全解析

重庆水舟科技做网站,网站的功能和作用是什么,wordpress 收费主题破解,网页游戏 手机非类型模板参数 模板参数分类类型形参与非类型形参。 类型形参即#xff1a;出现在模板参数列表中#xff0c;跟在class或者typename之类的参数类型名称。非类型形参#xff0c;就是用一个常量作为类(函数)模板的一个参数#xff0c;在类(函数)模板中可将该参数当成常量来…非类型模板参数模板参数分类类型形参与非类型形参。类型形参即出现在模板参数列表中跟在class或者typename之类的参数类型名称。非类型形参就是用一个常量作为类(函数)模板的一个参数在类(函数)模板中可将该参数当成常量来使用。namespace bite { // 定义一个模板类型的静态数组 templateclass T, size_t N 10 class array { public: T operator[](size_t index){return _array[index];} const T operator[](size_t index)const{return _array[index];} size_t size()const{return _size;} bool empty()const{return 0 _size;} private: T _array[N]; size_t _size; }; }注意浮点数、类对象以及字符串是不允许作为非类型模板参数的。非类型的模板参数必须在编译期就能确认结果。模板的特化概念通常情况下使用模板可以实现一些与类型无关的代码但对于一些特殊类型的可能会得到一些错误的结果需要特殊处理比如实现了一个专门用来进行小于比较的函数模板// 函数模板 -- 参数匹配 templateclass T bool Less(T left, T right) { return left right; } int main() { cout Less(1, 2) endl; // 可以比较结果正确 Date d1(2022, 7, 7); Date d2(2022, 7, 8); cout Less(d1, d2) endl; // 可以比较结果正确 Date* p1 d1; Date* p2 d2; cout Less(p1, p2) endl; // 可以比较结果错误 return 0; }可以看到Less绝对多数情况下都可以正常比较但是在特殊场景下就得到错误的结果。上述示例中p1指向的d1显然小于p2指向的d2对象但是Less内部并没有比较p1和p2指向的对象内容而比较的是p1和p2指针的地址这就无法达到预期而错误。此时就需要对模板进行特化。即在原模板类的基础上针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。函数模板特化函数模板的特化步骤必须要先有一个基础的函数模板关键字template后面接一对空的尖括号函数名后跟一对尖括号尖括号中指定需要特化的类型函数形参表: 必须要和模板函数的基础参数类型完全相同如果不同编译器可能会报一些奇怪的错误。// 函数模板 -- 参数匹配 templateclass T bool Less(T left, T right) { return left right; } // 对Less函数模板进行特化 template bool LessDate*(Date* left, Date* right) { return *left *right; } int main() { cout Less(1, 2) endl; Date d1(2022, 7, 7); Date d2(2022, 7, 8); cout Less(d1, d2) endl; Date* p1 d1; Date* p2 d2; cout Less(p1, p2) endl; // 调用特化之后的版本而不走模板生成了 return 0; }注意一般情况下如果函数模板遇到不能处理或者处理有误的类型为了实现简单通常都是将该函数直接给出。bool Less(Date* left, Date* right) { return *left *right; }该种实现简单明了代码的可读性高容易书写因为对于一些参数类型复杂的函数模板特化时特别给出因此函数模板不建议特化。类模板特化全特化全特化即是将模板参数列表中所有的参数都确定化。1templateclass T1, class T2 class Data { public: Data() {coutDataT1, T2 endl;} private: T1 _d1; T2 _d2; }; template class Dataint, char { public: Data() {coutDataint, char endl;} private: int _d1; char _d2; }; void TestVector() { Dataint, int d1; Dataint, char d2; }2priority_queue.hnamespace bit { templateclass T class less { public: bool operator()(const T x, const T y) { return x y; } }; template class lessDate* { public: bool operator()(const Date* x, const Date* y) { return x y; } }; templateclass T class greater { public: bool operator()(const T x, const T y) { return x y; } }; }test.cppstruct PDateLess { bool operator()(const Date* p1, const Date* p2) { return *p1 *p2; } }; int main() { //法1控制比较方式 //bit::priority_queueDate*, vectorDate*, PDateLess q; //法2对less进行特化 bit::priority_queueDate* q; q.push(new Date(2025, 1, 11)); q.push(new Date(2025, 1, 10)); q.push(new Date(2025, 1, 12)); while (!q.empty()) { cout *q.top() endl; q.pop(); } return 0; }偏特化偏特化任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类templateclass T1, class T2 class Data { public: Data() {coutDataT1, T2 endl;} private: T1 _d1; T2 _d2; };偏特化有以下两种表现方式部分特化将模板参数类表中的一部分参数特化。// 将第二个参数特化为int template class T1 class DataT1, int { public: Data() {coutDataT1, int endl;} private: T1 _d1; int _d2; };参数更进一步的限制偏特化并不仅仅是指特化部分参数而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。//两个参数偏特化为指针类型 template typename T1, typename T2 class Data T1*, T2* { public: Data() {coutDataT1*, T2* endl;} private: T1 _d1; T2 _d2; }; //两个参数偏特化为指针类型 template typename T1, typename T2 class Data T1*, T2* { public: Data(const T1* d1, const T2* d2) { coutDataT1*, T2* endl; } }; //两个参数偏特化为引用类型 template typename T1, typename T2 class Data T1, T2 { public: Data(const T1 d1, const T2 d2) : _d1(d1) , _d2(d2) { coutDataT1, T2 endl; } private: const T1 _d1; const T2 _d2; }; //两个参数偏特化为引用类型 template typename T1, typename T2 class Data T1, T2* { public: Data() { coutDataT1, T2* endl; } }; // 匹配顺序 // 全特化 - 偏特化 - 原模板 void test2 () { Datadouble , int d1; // 调用特化的int版本 Dataint , double d2; // 调用基础的模板 Dataint *, int* d3; // 调用特化的指针版本 Dataint, int d4; // 调用特化的引用版本 Dataint, int* d5; // 调用特化的引用指针版本 }对日期类的less进行偏特化针对所有指针templateclass T struct Less { public bool operator()(const T x, const T y) { return x y; } }; // 对Less类模板按照指针方式特化 templateclass T struct LessT* { public bool operator()(const T* x, const T* y) { return *x *y; } }; // 指针没有多少拷贝若要加上要在前面加上const否则会产生临时拷贝 templateclass T struct LessT* { public bool operator()(const T* const x, const T* const y) { return *x *y; } };类模板特化应用示例有如下专门用来按照小于比较的类模板Less#includevector #includealgorithm templateclass T struct Less { bool operator()(const T x, const T y) const { return x y; } }; int main() { Date d1(2022, 7, 7); Date d2(2022, 7, 6); Date d3(2022, 7, 8); vectorDate v1; v1.push_back(d1); v1.push_back(d2); v1.push_back(d3); // 可以直接排序结果是日期升序 sort(v1.begin(), v1.end(), LessDate()); vectorDate* v2; v2.push_back(d1); v2.push_back(d2); v2.push_back(d3); // 可以直接排序结果错误日期还不是升序而v2中放的地址是升序 // 此处需要在排序过程中让sort比较v2中存放地址指向的日期对象 // 但是走Less模板sort在排序时实际比较的是v2中指针的地址因此无法达到预期 sort(v2.begin(), v2.end(), LessDate*()); return 0; }通过观察上述程序的结果发现对于日期对象可以直接排序并且结果是正确的。但是如果待排序元素是指针结果就不一定正确。因为sort最终按照Less模板中方式比较所以只会比较指针而不是比较指针指向空间中内容此时可以使用类版本特化来处理上述问题// 对Less类模板按照指针方式特化 template struct LessDate* { bool operator()(Date* x, Date* y) const { return *x *y; } };特化之后在运行上述代码就可以得到正确的结果模板分离编译什么是分离编译一个程序项目由若干个源文件共同实现而每个源文件单独编译生成目标文件最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。模板的分离编译假如有以下场景模板的声明与定义分离开在头文件中进行声明源文件中完成定义// a.h templateclass T T Add(const T left, const T right); // a.cpp templateclass T T Add(const T left, const T right) { return left right; } // main.cpp #includea.h int main() { Add(1, 2); Add(1.0, 2.0); return 0; }分析解决方法将声明和定义放到一个文件 “xxx.hpp” 里面或者xxx.h其实也是可以的。推荐使用这种。模板定义的位置显式实例化。这种方法不实用不推荐使用。#includeStack.h template int Addint(const int, const int); template double Adddouble(const double, const double); //直接定义在.h 调用的地方直接实例化不需要链接时再找 templateclass T T Add(const T left, const T right) { cout T Add(const T left, const T right) endl; return left right; } void func(int a, int b) { cout void func(int a, int b) endl; } //显示实例化 //template //int Addint(const int, const int);模板总结【优点】模板复用了代码节省资源更快的迭代开发C的标准模板库(STL)因此而产生增强了代码的灵活性【缺陷】模板会导致代码膨胀问题也会导致编译时间变长出现模板编译错误时错误信息非常凌乱不易定位错误