C++快速入门 (十五) 模板

最新推荐文章于 2024-09-30 13:46:26 发布
原创 最新推荐文章于 2024-09-30 13:46:26 发布 · 872 阅读 · 0 ·
本内容遵循CC 4.0 BY-SA版权协议
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文详细介绍了C++中的模板和泛型编程，涵盖模板函数、模板类、重载、typename与class的区别、嵌套、非类型模板形参等内容，并进一步探讨了模板特化，包括函数和类模板的特化以及偏特化，为C++开发者提供了全面的模板使用指南。

一，模板和泛型

(1). 泛型编程
一般的函数只能对固定某一系列（基类及其派生类）类型进行操作。如
int  Add( const   int  &   t1,   const   int  &   t2)
{
      return   t1  +   t2  ;
}
该函数只能应用于 int 类型。显然不太利于重用（顺便提一句，面向对象的终极目标就是重用最大化）。如果写代码时可以使用某个占位符来替换实际的类型，编译时再确定，其重用性就大大提高。这种思想就叫做 泛型编程。C++中实现泛型的机制被称为模板。

(2). 模板函数
C++使用模板来实现泛型编程。 模板使用 关键字template 声明，放在要定义泛型的函数或类之前。
template <typename T>
T  Add( const   T  &   t1  ,   const   T  &   t2  )
{
      return   t1  +   t2  ;
}

其中   使用 关键字 typename 来定义占位符名称并放在一对尖括号中。而泛型函数使用起来和普通函数一样。下边为一个完整示例
class   Base
{
public  :
      int  num;
      Base  operator+ (   const   Base  &   ba)   const
    {
          Base  tem;
        tem.num = num +   ba  .num;
          return  tem;
    }
};

template <typename T>
T Add(const T & t1 , const T & t2 )
{
      return   t1  +   t2  ;
}
int   _tmain  ( int   argc,   _TCHAR*   argv  [])
{
      Base  b1,b2;
    b1.num = 10;
    b2.num = 20;
      Base   b3 =  Add<Base>(b1,b2) ;
    cout << b3.num << endl;
}
//return: 30

模板 函数在调用时也可以不声明或只声明一部分（未声明类型需放在最右边）模板参数类型，因为编译器会根据实参类型自动推导获得。
Base  b3 =  Add(b1,b2) ;

(3). 模板函数重载
模板函数也支持重载。无论是模板类型参数不同 或者 函数签名不同（一般重载） 的同名函数 ，都视为重载。
template   <typename T>
T  Add( const   T  &   t1  ,   const   T  &   t2  ) {....}
template   <typename T, typename C >
T  Add( const   T  &   t  ,   const   C  &   c  ) {....}

template  < typename   T>
T  Add( const T & t) {....}

int   _tmain  ( int   argc,   _TCHAR*   argv  [])
{
    Add(2,2);
    Add(2,2.6);
    Add(10);
}

(4). 模板类
同样也可以将一个普通类 通过模板 将其变为 泛型类。泛型类的声明方法和泛型函数相同。但 泛型类实例化时需显式指定模板参数类型。
class   Base
{
public  :
      int  num;
      Base  operator+ (   const   Base  &   ba)   const
    {
          Base  tem;
        tem.num = num +   ba  .num;
          return  tem;
    }
};
template <typename T>
class   Example
{
public  :
      T obj;
      T Add(const T & t1 , const T & t2 ) const
    {
          return   t1  +   t2;
    }
};

int   _tmain  ( int   argc,   _TCHAR*   argv  [])
{
      Base  b1,b2;
    b1.num = 10;
    b2.num = 20;
      Example< Base > ex;
    ex.obj = ex.Add(b1,b2);
    cout << ex.obj.num << endl;
}
//return: 30

(5). 模板类重载
模板类本身不支持重载（既不能通过模板类参数类型的不同进行重载定义）,但模板类支持一种叫做模板特化的机制（后边会介绍）。  模板类的成员函数可以重载（和一般函数的重载条件相同）。
template  < typename   T> 
class   Dx
{
public  :
      void Say( T t ) {....}
    void Say( T t , int x) {....}
};


(6). 创建泛型类的实例
C++创建模板类的实例时，需要指定模板参数类型。如
template <typename T>
class  Cx
......
Cx <int > cx;
Cx <char> cx2;

这是因为编译器编译时需将 模板参数类型转换为指定的实际类型，才能进行编译规则检查并创建该类型。一定要明白： 同一个模板类不同模板参数类型所创建的是各自独立的类型。比如上边的两个Cx的实例为不同的类型。 


(7). typename 和 class 的区别
早期的C++是使用 关键字class 声明模板类型, 后来由于 class 容易让人产生混淆，就加入了 关键字typename，但为了保证兼容性用 class 声明模板类型的方式 也保留了下来，既   声明模板类型时 typename 和 class 两个关键字可以相互替换。
template <class T>  class  Example 

但 typename 有另外一个功能：当模板内 使用模板类型的嵌套类型（嵌套类或 typeof 声明的别名等） 时，为了避免歧义（比如声明方式和调用模板类型的静态函数一样）需 在其前边添加关键字typename ，告诉编译器按类型处理。
class   Base
{
public  :
      class   Pocket  // 嵌套类
    {
         ....
    };
};
template  < typename   T>
class   Example
{
public  :
      T  Add( const   T  &   t1  ,   const   T  &   t2  )
    {
          typename   T   :: Pocket   poc;     //  typename  表明该声明为一个类型声明，而非调用静态成员
        ....
         return   t1  +   t2;
    }
};
实际上对于现在的大多数编译器，不管你是否为类型添加  typename声明，都会正确的编译执行。 

(8). 嵌套
C++可以将一个模板类型作为另一个模板类或函数的泛型类型。
template  < typename   T>
class   Ax
{
};

template  < typename   T>
class   Bx
{
};
int   _tmain  ( int   argc,   _TCHAR*   argv  [])
{
      Ax< int> ax;
      Bx< Ax <int>> bx;
}

也可以在一个模板类中包含另一个模板类或模板函数（成员模板）
template <typename T>
class  Cx
{
public :
     template < typename Q >
     Q Say(  const  Q&  q1 )
    {
         return  q1 + 10;
    }
};

int  _tmain (  int  argc,  _TCHAR*  argv [])
{
     Cx<  int> cx;
     short x = 200;
    cout << cx.Say(x) << endl;
}

(9). 非类型模板形参
C++（c98）中允许使用整型常量（包括整型字面值常量和整型常量表达式）或枚举（整型）作为模板类的模板参数类型 。如下示例
template  < int num>
class   Cx
{
public  :
      void  Say()
    {
        cout <<  num << endl;
    }
};
int   _tmain  ( int   argc,   _TCHAR*   argv  [])
{
     const int   num = 30;     // 需满足整型和常量两个条件。
      Cx< num> cx;
    cx.Say();
      Cx< 20> cx2;    // 整型常量。
    cx2.Say();
}


二，模板特化

(1). 模板特化
当 模板类或模板函数 需要为个别模板参数类型进行特殊照顾（代码不同）时，就需要用到模板特化。 特化以 关键字template 及其后跟一个空的尖括号开始。

(2). 模板函数特化
可以为模板函数定义模板特化。
template <typename T>
void Fun   (const T& t )
{
    cout <<  "非特化: " <<  t << endl;
}
template <>
void Fun <int> ( const int& t )
{
    cout <<  "特化: " <<  t << endl;
}
int  _tmain (  int  argc,  _TCHAR*  argv [])
{
     char x =  'a' ;
     int y = 20;
    Fun(x);
    Fun(y);
}

(3). 模板类特化
也可以为 模板类成员定义模板特化，但比函数特化多一步，就是 需要在特化类名后声明需特化的参数类型并放入尖括号括。
template <typename T>
class   Ax
{
public  :
      T obj;
      void  Fun (   const T & t )
    {
        cout <<   "非特化: "  <<   t  << endl;
    }
};
template <>
class   Ax   <int>   // 特化类型
{
public  :
      void  Fun   ( const int & t )
    {
        cout <<   "特化: "  <<   t  << endl;
    }
};
int   _tmain  ( int   argc,   _TCHAR*   argv  [])
{
      char  x =   'a'  ;
      int  y = 20;
      Ax<char> a;
    a.Fun(x);    // 非特化
      Ax<int> a2;
    a2.Fun(y);   // 特化
}
在类的特化版本需要列出该类中所有需特化的成员，既   只有类的特化版本中列出的成员才支持特化类型。比如上例中，成员变量 obj 在特化版本实例中将无法访问。

(4). 偏特化
偏特化是相对于全特化来说的。像上边这种将所有模板参数类型都转换为模板特化类型的模板特化方式叫做全特化。而偏特化既只转换原模板的部分参数类型。如
template  < typename   T1,   typename   T2  >
class   Bx
{
    ....
};
template  < typename   T1>
class   Bx  < T1,   int>
{
    ....
};






-

<原创文章 转载请注明出处 http://blog.csdn.net/meiwm 谢谢>


作者：meiwm
出处： http://blog.csdn.net/meiwm
本文为原创，本文版权归作者所有。欢迎转载，但请务必保留此段声明，且在文章页面明显位置给出原文连接，谢谢合作。

-


c98标准中文文档
12-18
c语言帮助文档-c98，你学习c语言的好帮手，记得下载啊！
C++中的template ＜typename T＞用法详解
weixin_44884561的博客
02-15 8248
C++中的template 用法详解
template中的class、typename关键字
nihao_2014的博客
01-08 1849
template 声明式中，class 和 typename 这两个关键字意义完全相同 template<class T> class Widget; template<typename T> class Widget; 有时候你一定要用 typename。 template <typename C> void print2nd(const C& container) { if (container.size() >...
C++复习(模板)
qq_45797850的博客
03-22 669
C++复习(模板) 本复习主要用于《传智播客的C++程序设计教程》教材的复习 模板并不是一个实实在在的类或函数，仅仅是一个类或函数的描述。 模板使类或函数可在编译时定义所需处理和返回的数据类型，有利于代码的重用。 函数返回值类型可以返回除了函数和数组以及类之外的任意类型。 1、函数模板 1.1、定义一个函数模板 函数模板并不是一个可以直接使用的函数，它时可以产生多个函数的模板，即一个函数可以适应不同数据类型。定义如下： template<typename/class 形参名,typename/cla.
c++初阶学习
qq_41921349的博客
08-25 252
//#include<iostream> #if 0 //命名空间 namespace n1 { int add(int a, int b) { return a + b; } } namespace n2 { int add(int a, int b) { return a + b; } } int main() { std::cout << n2:...
【c++】基础之函数
m0_64040304的博客
10-19 1420
c++基础之函数
小甲鱼C++快速入门学习笔记
qq_32809093的博客
07-14 4558
相关全套视频及配套PPT及所有源码等C++资料已整理，请往我的资源（https://download.csdn.net/download/qq_32809093/11347611）查看。 第一讲：C++语言与OO思想介绍 OO思想：每个对象都是一个完整的独立的个体，由相关的属性和行为组合与外界分隔。其思想就是将一切事物都看做一个对象，由于一个再复杂的模型结构都是由千千万万个对象组成的。从而使程...
《C++ Primer》学习笔记/习题答案 总目录
热门推荐
种树最好的时间是10年前，其次是现在！！！
09-10 4万+
文章目录前言专栏C++学习笔记目录第一章 - 快速入门第二章 - 变量和基本类型第三章 - 标准库类型第四章 - 数组和指针第五章 - 表达式第六章 - 语句第七章 - 函数第八章 - 标准 IO 库第九章 - 顺序容器第十章 - 关联容器第十一章 - 泛型算法第十二章 - 类第十三章 - 复制控制第十四章 - 重载操作符与转换第十五章 - 面向对象编程第十六章 - 模板和泛型编程第十七章 - 用...
分享C++程序员面试八股文(十五)
最新发布
柏柏柏衬的博客
09-30 1462
以下是 C++ 常见八股文（十五）：
三十五、数学知识——快速幂（反复平方法 + 快速幂求逆元）
靡不有初 鲜克有终
05-29 1203
快速幂，反复平方法，快速幂求逆元
初始化列表
风一样的男子（quinta）的博客
07-02 547
在C++98中，标准允许使用花括号“{}”对数组元素进行统一的集合（列表）初始化设定，比如： 这些都是合法的表达式。不过一些自定义类型，却无法享受着这样便利的初始化。通常，如标准程序库中的vector这样的容器，总是需要声明对象-循环初始化这样的重复动作，这对于使用模板的泛型编程无疑是非常不利的。 事实上，在C++11中，集合（列表）的初始化已经成为C++语言的一个基本功能，在C++11中，这...
C++11与C++98的区别（更）
潘然PR的博客
03-23 1万+
## C++11与C++98的区别 &gt; 本文参考了许多邓凡平老师的blogC++11学习之路 - 这俩天学QT的时候发现遇到了 很多C++11的特性 于是决定点C++11与C++98的区别，不定时更新 1. 空指针（nullptr）取代了之前的NULL 2. 字符串中加入了Raw字符串，定义形式为:R"附加定界符(字符串)附加定界符"在定界符之间的字符串都不会转义。 3. C++推...
c99和c98的差异
quanguoheme的专栏
01-18 5609
enum{STATE_0, STATE_1, STATE_2, STATE_N, NUM_STATES}; typedef  void (*p_func_t)(void); p_func_t jumptable[NUM_STATES] = {          [STATE_1] = 0,          [STATE_0] = 0,          [STATE_2] = 0,
c语言c98标准,1.3.2 C语言标准
weixin_30884379的博客
05-18 1337
1.3.2 C语言标准Dennis Ritchie和Brian Kernighan的经典著作《C程序设计语言》(Prentice Hall)自1978年***出版后，一直扮演着非正式的C语言规范的角色。这个版本的C语言俗称K&R C。C语言很快替代了Basic语言和其他语言，成为微型计算机编程的通用语言。因此，为了对当时已经非常流行的C语言进行标准化，美国国家标准协会(ANSI)成立了委...
template &ltint inst&gt 的功用
MashiMaroJ的专栏
10-24 1573
template<int inst>的作用最近在看STL源码解析,里面有讲到STL的Allocator,有一个小问题不太理解,求高手指导. 第57页给出了SGISTL中这样的定义: template<intinst> class__malloc_alloc_template{ ....... } 书上说,这个定义中,没有"template类型参数",至...
C++模板简介与使用
yurnm的博客
06-27 1万+
模板简介与使用扯一扯模板以及简单的运用1.模板概述利用 C++ 模板，您可以定义可对不同类型的信息运行的一系列函数或类。 Microsoft C++ 模板的实现基于 ISO/ANSI C++ 标准。在导致重复多个类型的同一代码的情况下应使用模板。 例如，可以使用函数模板创建将相同的算法应用于不同数据类型的函数集。 还可以使用类模板开发 typesafe 类集。 模板有时候是比 C 宏和 void ...
vs2012 MSDN帮助文档离线包 下载安装方法
meiwm的专栏
11-19 2万+
vs2012安装文件 自带的 MSDN帮助文档不全, 需要自己手动添加需要的离线文档包, 具体方法如下 1. 打开 vs2012  2. 按 ctrl + alt + F1  打开帮助文档管理器 3. 在 “安装源” 文字 下方 选 联机 , 在下方输入相关帮助文档的关键字, 点搜索（放大镜图标）,  4. 在下方出现的内容中点添加，并点击右下角的更新即可 界面如下
C++快速入门 (一) Hello C++
meiwm的专栏
12-24 1867
序 这一系列文章是学习C++时的笔记整理而来, 当时主要参阅的是 《C++ Primer》,《Exceptional C++》《C++ Common Knowledge: Essential Intermediate Programming 》这几本书，推荐阅读。其中《C++ Primer》有条件的尽量看英文版，中文版的翻译个人感觉很绕。 本系列文章主要是对C++语法介绍，还有一些涉及底层
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值