模板

最新推荐文章于 2024-05-20 01:02:42 发布
最新推荐文章于 2024-05-20 01:02:42 发布
阅读量583 收藏 1
点赞数
分类专栏： C++ C++语法 文章标签： c++ class system output 编译器 c
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/kz_ang/article/details/7710041
版权


模版特化:

模板的“特化”（实例化）,它发生在编译期,无论一个模板被实例化多少次,都不会影响最终结果,但是这会浪费编译的时间．不知道隐式特化是啥东西．但是显式特化的意思是：当一类东西中出了一渣滓的时候,为了对外接口的统一,或者说是为了家丑不可外扬,有必要把它单独拿出来写一下,然后使他可以和这个类中的所有东西步伐一致.为了需要,针对特定的类型,需要对模板进行特化,也就是特殊处理, 是为模板的特化.

 

 

 

类模板

说明:

类模板就是建立一个通用类,其数据成员的类型、成员函数的返回类型和参数类型都不具体指定,用一个虚拟类型来代表.当使用类模板建立对象时,系统会根据实参的类型来取代类模板中的虚拟类型从而实现不同类的功能

模板参数:

对于函数模板和类模板,模板参数并不局限于类型,普通值也可以作为模板参数.在基于类型参数的模板中,你定义了一些具体细节未加确定的代码,直到代 码被调用时这些细节才被真正确定.然而,在这里,我们面对的这些细节是值（value）,而不是类型.当要使用基于值的模板时,你必须显式地指定这些值, 才能够对模板进行实例化,并获得最终代码.在这一章里,我们将使用一个新版本的stack类模板来叙述这个特性.另外,我们还给出了一个非类型函数模板参 数的例子,并且讨论了这一技术的某些限制

定义格式:

格式一:
　　template <typename 类型参数1,typename 类型参数2, ... ,参数类型 参数1,参数类型 参数2, ...>
　　class 类名
　　{
　　　　类成员声明
　　};

格式二:
　　template <class 类型参数1,class 类型参数2, ... ,参数类型 参数1,参数类型 参数2, ...>
　　class 类名
　　{
　　　　类成员声明
　　};

类成员声明:

要求

在类成员声明里,成员数据类型、成员函数的返回类型和参数类型前面需加上类型参数.在类模板中成员函数既可以定义在类模板内,也可以定义在类模板外,在外部定义类模板的成员函数外时 C++ 有这样的规定：需要在成员函数定义之前进行模板声明,且在成员函数名之前加上“类名<类型参数>::”

格式

对应格式一:
　　template <typename 类型参数1,typename 类型参数2, ... ,参数类型 参数1,参数类型 形参2, ...>
　　返回类型 类名<类型参数1,参数类型2, ... ,形参1,形参2, ...>::函数名(形参)
　　{
　　　　函数体
　　}

对应格式二:
　　template <class 类型参数1,class 类型参数2, ...  ... ,参数类型 形参1,参数类型 形参2, ...>
　　返回类型 类名<类型参数1,参数类型2, ... ,形参1,形参2, ...>::函数名(形参)
　　{
　　　　函数体
　　}

实例对象声明格式:

  • 类模板名<实际类型1,实际参数2, ... ,实参1,实参2, ...> 对象名;
  • 类模板名<实际类型1,实际参数2, ... ,实参1,实参2, ...> 对象名(构造函数实参);

注意:

  • 在一个类模板的各个实例之间没有联系,形成一个个独立的类
  • 模板的实例可用在一般类可以用的任何地方,用模板类实例定义的对象和一般的对象用法完全相同
  • 实例化的时机：在需要时实例化,比如定义指针或者引用时不需要实例化,定义具体的变量或者常量时不会实例化,而访问对象的成员时会实例化

例子: 

类模板(在类内部声明成员函数):

 // demo.h 文件内容 *******************************
 #include<iostream>
 using namespace std;
 
 template<class type>
 class A
 {
 private:
     type a;
     type b;
 public:
     A(type x,type y)
     {
         a=x;
         b=y;
         cout<<"new instance"<<endl;
         cout<<"the value of a is "<<a<<endl;
         cout<<"the value of b is "<<b<<endl<<endl;
     }
 };
 // main.cpp 文件内容 *******************************
 #include"demo.h"
 
 void main()
 {
     int x=3,y=6;
     double a=9.45,b=10.23;
     A<int> app1(x,y);
     A<double> app2(a,b);
     system("pause");
 }
 /*****************************************
 输出结果:
 new instance
 the value of a is 3
 the value of b is 6
 
 new instance
 the value of a is 9.45
 the value of b is 10.23
 
 请按任意键继续. . .
 *****************************************/

类模板(在类外部声明成员函数,成员函数只能在 .h 文件中定义,要是在 .cpp 中定义编译时候会出现链接错误):

 // demo.h 文件内容 *******************************
 #include<iostream>
 using namespace std;
 
 template<class type>
 class A
 {
 private:
     type a;
     type b;
 public:
     A(type x,type y);
     void max();
 };
 template<class type>
 A<type>::A(type x,type y)
 {
     a=x;
     b=y;
     cout<<"new instance"<<endl;
     cout<<"the value of a is "<<a<<endl;
     cout<<"the value of b is "<<b<<endl;
 }  
 template<class type>
 void A<type>::max()
 {
     cout<<a<<">"<<b<<"?    "<<(a>b?"yes":"no")<<endl;
 } 
 // main.cpp 文件内容 *******************************
 #include"demo.h"
 
 void main()
 {
     int x=3,y=6;
     double a=9.45,b=10.23;
     A<int> app1(x,y);
     app1.max();
     cout<<endl;
     A<double> app2(a,b);
     app2.max();
     system("pause");
 }
 /******************************************
 输出结果:
 new instance
 the value of a is 3
 the value of b is 6
 3>6?    no
 
 new instance
 the value of a is 9.45
 the value of b is 10.23
 9.45>10.23?    no
 请按任意键继续. . .
 ******************************************/

以上都是用关键字 class 现在举个用 typename 关键字的例子但是其与 class 关键字没有什么差别:

 // demo.h 文件内容 *******************************
 #include<iostream>
 using namespace std;
 
 template<typename type>
 class A
 {
 private:
     type a;
     type b;
 public:
     A(type x,type y)
     {
         a=x;
         b=y;
         cout<<"new instance"<<endl;
         cout<<"the value of a is "<<a<<endl;
         cout<<"the value of b is "<<b<<endl<<endl;
     }
 };
  // main.cpp 文件内容 *******************************
 #include"demon.h"
 
 void main()
 {
     int x=3,y=6;
     double a=9.45,b=10.23;
     A<int> app1(x,y);
     A<double> app2(a,b);
     system("pause");
 }
 /*****************************************
  输出结果:
 new instance
 the value of a is 3
 the value of b is 6
 
 new instance
 the value of a is 9.45
 the value of b is 10.23
 
 请按任意键继续. . .
 *****************************************/

带有默认类型参数的类模板:

 // demo.h 的文件内容 *****************************
  #include<iostream>
  using namespace std;
  
  template<class type = int> // type 的默认类型参数为 int;
  class A
  {
  private:
      type a;
      type b;
  public:
      A(type x,type y);
  };
  template<class type>
  A<type>::A(type x,type y)
  {
      a=x;
      b=y;
      cout<<"new instance"<<endl;
      cout<<"the value of a is "<<a<<endl;
      cout<<"the value of b is "<<b<<endl;
  }   
 // main.cpp 的文件内容 ****************************
  #include"demo.h"
  
  void main()
  {
      int x=3,y=6;
      double a=9.45,b=10.23;
      A<> app1(x,y);
      cout<<endl;
      A<double> app2(a,b);
      system("pause");
  }
 /*******************************************
  输出结果:
  new instance
  the value of a is 3
  the value of b is 6
  
  new instance
  the value of a is 9.45
  the value of b is 10.23
  请按任意键继续. . .
 *******************************************/

带有参数的类模板:

 // demo.h 文件内容 *******************************
 #include<iostream>
 using namespace std;
 
 template<class type,int a_x = 0>
 class A
 {
 private:
     type a;
     type b;
     int c;
 public:
     A(type x,type y);
     void max();
 };
 template<class type,int a_x>
 A<type,a_x>::A(type x,type y)
 {
     a=x;
     b=y;
     c = a_x;
     cout<<"new instance"<<endl;
     cout<<"the value of a is "<<a<<endl;
     cout<<"the value of b is "<<b<<endl;
     cout<<"the value of c is "<<c<<endl;
 }  
 // main.cpp 文件内容 ******************************
 #include"demo.h"
 
 void main()
 {
     int x=3,y=6;
     double a=9.45,b=10.23;
     A<int,5> app1(x,y);
     cout<<endl;
     A<double,10> app2(a,b);
     system("pause");
 }
 /*******************************************
 输出结果:
 new instance
 the value of a is 3
 the value of b is 6
 the value of c is 5
 
 new instance
 the value of a is 9.45
 the value of b is 10.23
 the value of c is 10
 请按任意键继续. . .
 *******************************************/

友元类模板:

 #include <iostream>
 #include <cstdlib>
 using  namespace std;
 
 template<class T2>
 class B;   //友元类的向前声明
 template<class T1>
 class A    //拥有友元类的类的定义
 {
 private:
     T1 y;
 public:
     A(T1 a):y(a){}
     template<class T2>
     friend class B;
 };
 template<class T2>
 class B  //友元类的定义
 {
 private:
     T2 x;
 public:
     B(T2 a):x(a){};
     template<class U>
     void show(A<U> &a)
     //这里的模板类型参数名可以与模板类 A 定义时候使用的模板参数名不一样
     {
         cout<<"the value of A::y is "<<a.y<<endl;
         cout<<"the value of B::x is "<<x<<endl;
     }
 };
 void main()
 {
     A<int> a(5);
     B<double> b(10.20);
     b.show(a);
     system("pause");
 }
 /******************************************
 输出结果为:
 the value of A::y is 5
 the value of B::x is 10.2
 请按任意键继续. . .
 ******************************************/

 [返回目录]

 

函数模板

说明:

函数模板就是建立一个通用的函数,其参数类型和返回类型不具体指定,用一个虚拟的类型来代表

声明格式:

格式一:
　　template<typename 类型参数1,typename 类型参数2, ... >
　　返回类型 函数名(模板形参表)
　　{
　　　　函数体
　　}

格式二:
　　template<class 类型参数1,class 类型参数2, ... >
　　返回类型 函数名(模板形参表)
　　{
　　　　函数体
　　}

说明:

template 是一个声明模板的关键字,类型参数一般用T这样的标识符来代表一个虚拟的类型,当使用函数模板时,会将类型参数具体化. typename 和 class 关键字作用都是用来表示它们之后的参数是一个类型的参数.只不过 class 是早期 C++ 版本中所使用的,后来为了不与类产生混淆,所以增加个关键字 typename

注意:

  • 函数模板也可被声明为 inline 或 extern ,但把指示符放在模板参数后
  • 在函数模板定义中声明的对象或类型不能与模板参数同名
  • 模板类型参数名可以被用来指定函数模板的返回值
  • 模板参数名在同一模板参数表只能使用一次,但在多个函数模板声明定义可使用多次
  • 在定义函数模板时要注意的一点是在 template 语句和函数模板定义语句之间是不允许插入其他的语句的,函数模板也可以重载
  • 当模板函数和同名的非模板函数重载时,首先寻找与参数类型完全匹配的非模板函数,找到了,则调用它,如果没找到,则寻找函数模板,找到后具体化函数模板,而后调用该模板函数

模板函数与函数重载:

模板函数类似于重载函数,但两者有很大区别：函数重载时,每个函数体内可以执行不同的动作,但同一个函数模板实例化后的模板函数都必须执行相同的动作

工作原理:

在函数模板被调用时,编译器根据实际参数的类型确定模板参数T的类型,并自动生成一个对应的函数,即模板函数.模板参数的类型不同,生成的模板函数也不同.

例子:

函数模板:

 #include<iostream>
 using namespace std;
 
 //函数模板声明
 template<class T,class T2>
 void output(T x,T2 y);
 //主函数定义
 void main()
 {
     double a = 7.09;
     int b=5;
     output(a,b);
     output(b,a);
     system("pause");
 
 }
 //函数模板定义
 template<class T,class T2>
 void output(T x,T2 y)
 {
     cout<<x<<"  "<<y<<endl;
 } 
 /************************************
 输出结果:
 7.09       5
 5       7.09
 请按任意键继续. . .
 ************************************/

模板函数和同名的非模板函数重载:

 #include<iostream>
 
 template<class T>
 void max(T x,T y)
 {
     std::cout<<x<<">"<<y<<"?      "<<(x>y?"yes":"no")<<std::endl;
 } 
 void max(int x,int y)
 {
     std::cout<<x<<">"<<y<<"?      "<<(x>y?"yes":"no")<<std::endl;
 }
 void main()
 {
     double a = 7.09 , b = 10.22;
     long c = 8,d = 9;
     int e = 10,f = 5;
     max(a,b); //调用的是重载函数模板 void max(T x,T y)
     max(c,d); //调用的是重载函数模板 void max(T x,T y)
     max(e,f); //调用的是重载函数 void max(int x,int y)
     system("pause");
 }
 /***************************************
 输出结果:
 7.09>10.22?      no
 8>9?      no
 10>5?      yes
 请按任意键继续. . .
 ***************************************/

在函数外部友元函数模板:

 #include <iostream>  
 using namespace std;  
 
 template<class Type> class A
 {
 public:
     A(Type b):a(b){}
     template<class Type>
     friend void output(const A<Type>& b); 
     Type a;  
 }; 
 
 //在类外部定义友元函数   
 template<class Type>
 void output(const A<Type>& b)  
 {
     cout<<b.a<<endl;
 }  
 
 int main(void)  
 {  
     A<int>  a(10);       
     output(a);  
     system("pause");  
 }
 // 输出结果为: 10

在函数内部友元函数模板:

 #include <iostream>  
 using namespace std;  
 template<class Type> class A
 {
 public:
     A(Type b):a(b){}
     //在类内部定义友元函数    
     friend void output(const A& a){cout<<a.a<<endl;}
     /******************************************************
     等价形式:        
     template<class T>friend void output(const A<T>& a){cout<<a.a<<endl;}
     这里的模板参数名可以与类声明中模板参数变量名不一样
     ******************************************************/
     Type a;  
 }; 
 
 int main(void)  
 {  
     A<int>  a(10);       
     output(a);  
     system("pause");  
 }
 // 输出结果为: 10
模板友元的另一种声明格式(向前声明): 
 #include <iostream>  
 using namespace std;  
 
 template<class Type> class A; //向前声明
 template<class Type> void output(const A<Type>& b); //友元函数声明
 /******************************************
 //当然也可以是定义:
 template<class Type>
 void output(const A<Type>& b)  
 {
     cout<<b.a<<endl;
 } 
 ******************************************/
 template<class Type> class A
 {
 public:
     A(Type b):a(b){}
     friend void output<>(const A& b);
     /******************************************
     上面声明的等价形式:
     friend void output<>(const A<Type>& b);
     friend void output<Type>(const A<Type>& b); 
     ******************************************/
     Type a;  
 }; 
 
 //在类外部定义友元函数   
 template<class Type>
 void output(const A<Type>& b)  
 {
     cout<<b.a<<endl;
 } 
 
 int main(void)  
 {  
     A<int>  a(10);       
     output(a);  
     system("pause");  
 }
 // 输出结果为: 10

[返回目录]

kz_ang
关注
专栏目录
【SpringBoot】4、SpringBoot中整合Freemarker模板引擎
Asurplus
04-19 20万+
FreeMarker 是一款模板引擎： 即一种基于模板和要改变的数据， 并用来生成输出文本（ HTML 网页、电子邮件、配置文件、源代码等）的通用工具。 它不是面向最终用户的，而是一个 Java 类库，是一款程序员可以嵌入他们所开发产品的组件。 FreeMarker 是一个很值得去学习的模版引擎。它是基于模板文件生成其他文本的通用工具。本文主要介绍在 SpringBoot 中如何整合 FreeM...
pbootcms模板，pbootcms模板程序，pboot响应式模板
xiaomaseo的博客
03-28 2620
pbootcms模板，PbootCMS是全新内核且永久开源免费的PHP网站开发建设管理系统，是一套高效、简洁、 强悍的免费的PHP CMS源码，能够满足各类企业网站开发建设的需要。pbootcms模板采用的是响应式设计，数据即时同步，简单容易上手。pbootcms模板的前端规范：html+css+jQuery，支持PC端+手机端，pbootcms模板的程序运行环境：linux+nginx/ linux+apache / windows + iis(支持php5.3+) / 其他支持php5.3+环境。
模板显式、隐式实例化和（偏）特化、具体化的详细分析
热门推荐
大米粒ing
08-29 1万+
最近看了看到了模板的特化，突然想起来上说的显式具体化、隐式具体化、特化、偏特化、具体化等概念弄得头晕脑胀，我在网上了找了好多帖子，才把概念给理清楚。       一下是我把再网上找的资料整理一下。       看着这么多叫法，其实就是三种。      1. 显示实例化      2. 隐式实例化      3. 特化(=具体化)、偏特化 一、实例化 1.显示、隐式实例化  
C++模板简介
zhou8201的博客
01-29 551
目录 1 什么是C++中的模板 1.1 模板的定义 1.2 使用模板的好处 2 怎么用模板？ 2.1特化——解决代码从模板到具体化的问题 2.1.1 模板参数指定 2.1.2 隐式特化 2.1.3 显示特化 2.2 模板实例化 2.2.1 显式实例化 2.2.2隐式实例化 3 示例 3.1显示特化实例 3.2全特化实例 3.3偏特化实例 3.4函数模板例子 3.5...
C++模板
天道酬勤
06-03 2707
模板是C++中泛型编程的基础，一个模板就是一个创建类或函数的公式，当使用模板类型时，编译器会生成特定的类或函数，这个过程发生在编译时。 模板定义 模板定义以关键字template开始，后跟以个模板参数列表，这是一个逗号分隔的一个或多个模板参数的列表，用尖括号括起来。 template<typename T,typename M> 模板参数表示在类或函数定义中用到的类型或值，在使用模板...
模板匹配
weixin_43124720的博客
03-07 9860
一. 模板匹配 模板匹配是数字图像处理的重要组成部分之一。把不同传感器或同一传感器在不同时间、不同成像条件下对同一景物获取的两幅或多幅图像在空间上对准,或根据已知模式到另一幅图中寻找相应模式的处理方法就叫做模板匹配。 简单而言，模板就是一幅已知的小图像。模板匹配就是在一幅大图像中搜寻目标，已知该图中有要找的目标，且该目标同模板有相同的尺寸、方向和图像，通过一定的算法可以在图中找到目标，确定...
10 VUE学习：模板和组件基础
最新发布
百锦再的博客
05-20 9万+
当使用构建步骤时，我们一般会将 Vue 组件定义在一个单独的.vuesetup() {},`// 也可以针对一个 DOM 内联模板：这里的模板是一个内联的 JavaScript 字符串，Vue 将会在运行时编译它。你也可以使用 ID 选择器来指向一个元素 (通常是原生的元素)，Vue 将会使用其内容作为模板来源。上面的例子中定义了一个组件，并在一个.js。
C++模板类
一步两步先生的博客
11-19 3523
理解编译器的编译模板过程 如何组织编写模板程序 前言 常遇到询问使用模板到底是否容易的问题，我的回答是：“模板的使用是容易的，但组织编写却不容易”。看看我们几乎每天都能遇到的模板类吧，如STL, ATL, WTL, 以及Boost的模板类，都能体会到这样的滋味：接口简单，操作复杂。 我在5年前开始使用模板，那时我看到了MFC的容器类。直到去年我还没有必要自己编写模板类。可是在我需要自己编写模板类时...
类模板
weixin_51958878的博客
05-25 4554
类模板 类模板的定义
⚡【C++要笑着学】(14) 模板：泛型编程 | template | 函数模板 | 函数模板实例化 | 类模板
有道无术, 术尚可求。有术无道, 止于术。
04-18 3676
本章将正式开始介绍C++中的模板，为了能让大家更好地体会到用模板多是件美事！我们将会举例说明，大家可以试着把自己带入到文章中，跟着思路去阅读和思考，真的会很有意思！如果你对网络流行梗有了解，读起来将会更有意思！
EPLAN 模板 EPLAN 模板 EPLAN 模板
08-31
EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 EPLAN 模板 ...
MATLAB车牌识别课程设计源码（带界面、模板库）
01-07
本项目提供了完整的源代码，包括用户界面和预设的模板库，使得用户可以直观地理解并实践车牌识别的过程。下面将详细阐述这个项目中的关键知识点。 1. 图像预处理：在进行车牌识别前，首先要对图像进行预处理，包括...
国赛模板 国赛模板 国赛模板
06-02
国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板国赛模板...
MCGS高级教程实例模板
07-07
MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板MCGS高级教程实例模板...
<climits>头文件
KanG
07-19 1万+
头文件定义的符号常量 CHAR_MIN 　　　　　　char的最小值 SCHAR_MAX 　　　　　signed char 最大值 SCHAR_MIN 　　　　　 signed char 最小值 UCHAR_MAX 　　　　　unsigned char 最大值 SHRT_MAX 　　　　　　short 最大值 SHRT_MIN　　　　　　 short 最小值 USHRT_MAX
<ctime>头文件
KanG
07-19 6259
“时间”和“日期”的概念  Coordinated Universal Time(UTC): 协调世界时,又称为世界标准时间,也就是大家所熟知的格林威治标准时间（Greenwich Mean Time,GMT）.比如,中国内地的时间与UTC的时差为+8,也就是UTC+8.美国是UTC-5 Calendar Time: 日历时间:是用“从一个标准时间点到此时的时间经过的秒数”来表示的时间.
<cstdio>头文件
KanG
07-20 6025
输出输入格式控制 基本格式字符  %d 按十进制整数型数据的实际长度输出%i 作用与d格式字符相同%c 用来输出一个字符 %s 用来输出一个字符串%f 用来输出实数 （含有6位小数）%e 用指数形式输出（例:  123.456 的指数形式为:    1.234560 e+002） 复杂格式字符 %md m是指宽度,如果数位不够,左端以空格补出,如果大于位数m,按实际位数输出
<string>头文件
KanG
07-21 5783
string构造函数 string s　　生成一个空字符串s string s(str)　　拷贝构造函数,生成str对象的复制品 string s(str,stridx)　　将字符串str对象内"始于位置stridx"的部分当作字符串的初值 string s(str,stridx,strlen)　　将字符串str对象始于stridx且最长为strlen部分作为字符串的初值 string
C++模板详解：函数模板与类模板
"C++模板是C++编程语言中的一个重要特性，它允许程序员编写通用的代码，这些代码可以在多种不同的数据类型上工作。模板分为函数模板和类模板两种形式，提供了一种泛型编程的方式，使得代码更加灵活且易于复用。通过...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值