笔者这里先从一个简单的例子展开，先带大家看看std::make_index_sequence是如何使用的。
越来越读不下去传统的一些编程书了，我个人反思了一下，我觉得不是书的毛病，是我的毛病，这些书的出发点都是初学者或是稍微有点基础的读者，经常是对一个概念解释很多次，翻来覆去的说，而且给的demo看起来也比较呆瓜。其实实用性还是差很多的，看代码里面都是使用的一些新标准新特性，但是这些书都是有点老了，也不讲。
链接：https://www.cnblogs.com/liangliangh/p/4219879.html
第 16 章 模板与泛型编程 标签： C++Primer 学习记录 模板 泛型编程 ---- 第 16 章 模板与泛型编程 16.1 定义模板 16.2 模板实参推断 16.3 重载与模板 16.4 可变参数模板 16.5 模板特例化 在做这一章的笔记时，因为有很多内容也是在看 C++ Primer这本书时第一次接触到，所以需要记录大段文字。挨个字敲，又太累，所以就想有没有什么高效的输入手段。后面想到了语音输入，对比了搜狗输入法和讯飞输入法，发现讯飞输入法对于专业术语也能翻译的很好。这样一来，遇到整段文字
第 16 章 模板与泛型编程 标签： C++Primer 学习记录 模板 泛型编程---- 在做这一章的笔记时，因为有很多内容也是在看 C++ Primer这本书时第一次接触到，所以需要记录大段文字。挨个字敲，又太累，所以就想有没有什么高效的输入手段。后面想到了语音输入，对比了搜狗输入法和讯飞输入法，发现讯飞输入法对于专业术语也能翻译的很好。这样一来，遇到整段文字就再也不用烦心了。果然，想偷懒，才能提高效率嘛！ ---- 16.1 定义模板 面向对象编程能处理类型在程序运行之前都未知的情况，动态联编。而
这一章介绍了面向对象编程中最复杂的部分：模板与模板编程，读起来很吃力，总结也写了很久。其中16.2的类型转换部分会有点绕，16.4的可变参数模板则很实用，可以有效提高我们的开发效率。这篇内容较多较难，可以的话应该仔细看书慢慢看。
模板定义以关键字template关键字开始，后面跟着一个模板参数列表(不能为空)：
我想知道上帝的構思，其他的都祇是細節。 ——爱因斯坦
类模板是用来生成类的蓝图，是一种创建类的方式，同一套类模板可以生成很多种不同的类。
原标题：C++ Expression Templates: An Introduction to the Principles of Expression Templates 原作者：Klaus Kreft与Angelika Langer 原文链接： http://www.angelikalanger.com/Articles/Cuj/ExpressionTemplates/ExpressionTemplates.htm 翻译：Magi Su 翻译已经过原作者许可，转载请先征求原作者的许可。图片均取自原文，如果有水印为CSDN所打和老子没关系。出于清晰起见，文章中所有模板中的class都被改为typename。 模板（template）最早是以将类型（type）参数化为目的引入C++语言的。（译注1）链表 （list）是一个典型的例子。实际编码的时候，人们并不希望为保存不同类型变量的链表 分别编码，而是希望在编写的时候能够使用一个占位符（placeholder）来代替具体的类型 （即是模板参数），而让编译器来生成不同的链表类（模板的实例化）。 时至今日，模板的使用已经远远超过C++模板的发明者所预期的范畴。模板的使用已经涵盖 了泛型编程，编译时求值，表达式模板库，模板元编程，产生式编程（generative programming）等诸多领域。在这篇文章中，我们仅限于探讨一些表达式模板的编程知识， 侧重于编写表达式模板程序库这个方面。 我们必须指出：表达式模板库是相当复杂的。出于这个原因，我们读到过的关于表达式模 板的介绍都不是很容易理解的。因此，本文的作者希望能够通过本文为表达式模板提供一 个通俗的介绍，同时又不失对具体实现细节的阐述，从而对读者阅读模板库的代码能够起 到帮助。作者希望提取出表达式模板编码的一些原则性知识。有关于此领域的更多细节可 以参考其他著作。
随着 C++ 11/14/17 标准的不断更新，C++ 语言得到了极大的完善和补充。元编程作为一种新兴的编程方式，受到了越来越多的广泛关注。结合已有文献和个人实践，对有关 C++ 元编程进行了系统的分析。首先介绍了 C++ 元编程中的相关概念和背景，然后利用科学的方法分析了元编程的 演算规则、基本应用 和实践过程中的 主要难点，最后提出了对 C++ 元编程发展的 展望。 1. 引言 1.1 什么是元编程 元编程 (metaprogramming) 通过操作 程序实体 (program entity
模板的实例化指函数模板（类模板）生成模板函数（模板类）的过程。对于函数模板而言，模板实例化之后，会生成一个真正的函数。而类模板经过实例化之后，只是完成了类的定义，模板类的成员函数需要到调用时才会被初始化。模板的实例化分为隐式实例化和显示实例化。
作者：readywang(王玉龙) template 是 c++ 相当重要的组成部分，堪称 c++语言的一大利器。在大大小小的 c++ 程序中，模板无处不在。c++ templates 作为模板学习的经典书籍，历来被无数 c++学习者所推崇。第二版书籍覆盖了 c++ 11 14 和 17 标准，值得程序猿们精读学习，特此整理学习笔记，将每一部分自认为较为重要的部分逐条陈列，并对少数错误代码进行修改 一、函数模板 1.1 函数模板初探 1.模板实例化时，模板实参必须支持模板中类型对应的所有运算符操作。 te
本篇是看完《深入理解C++11：C++11新特性解析与应用》后做的笔记的上半部分. 这本书可以看作是《C++Primer》的进阶版, 主要是更加详细地介绍了C++11的一些常用设计和标准库设施, 很多知识点都在面试中会遇到, 值得一读.
模板编程分两种，分别是算法抽象的模板、数据抽象的模板。算法抽象的模板以函数模板为主，数据抽象的模板以类模板为主。
在C++中我们学习了函数重载，可以写多个同名参数类型不同的函数来实现； C++函数重载解决了函数同名的问题，但是我们还是要写多个函数，而它们仅仅只有类型不同；
注意: 前置声明会阻碍内联和优化，建议在发布版本中使用链接时优化或链接时代码生成。
编译器用推断出的模板参数来为我们实例化（instantiate）一个特定版本的函数，生成的版本称为模板的实例（instantiation）。
1. 假设要交换两个变量的值，如果只是用普通函数来做这个工作的话，那么只要变量的类型发生变化，我们就需要重新写一份普通函数，如果是C语言，函数名还不可以相同，但是这样很显然非常的麻烦，代码复用率非常的低。 那么能否告诉编译器一个模板，让编译器通过模板来根据不同的类型产生对应的代码呢？答案是可以的。
一、重载与模板 函数模板可以被另一个模板或一个普通非模板函数重载 如果涉及函数模板，则函数匹配规则会有以下的约束： 如果同样好的函数中只有一个是非模板函数，则选择此函数 如果同样好的函数中没有非模板函数，而有多个函数模板，则其中一个模板比其他模板更特例化，则选择此模板 否则，调用有歧义 ①对于一个调用，其候选函数包括所有模板实参推断成功的函数模板实例 ②候选的函数模板总是可行的，因为模板实参推断会排除任何不可行的模板 ③可行函数（模板与非模板）按类型转换（如果对此调用需要的话）来排序。当然，可以用于函数模板
那么有人要问，那我不就定义一个类，程序只初始化一个全局的实例就好了吗？没错，这样是可以的。但是我们都知道程序会经过多人的接手维护和开发，比如第N个接手程序的时候，并不知道这个类定义的时候只能初始化一个实例，然后又实例化了新的对象， 则可能会造成意想不到的场景。那么这时候就要提到防御性编程，个人认为单例模式的实现也是防御性编程的一种方式，让这个类保证只有一个实例化对象，并且如果试图构造多个对象的时候，在程序的编译期报错。题外话，这也是为什么本人在进行一些稍大规模开发的时候，只会去选择强类型语言，而不会选择弱类型语言的原因，强类型语言会在编译期间帮我们避免很多运行时可能产生的的Bug。
开始正文之前，做一些背景铺垫，方便读者了解我的工程需求。我的项目是一个客户端消息分发中心，在连接上消息后台后，后台会不定时的给我推送一些消息，我再将它们转发给本机的其它桌面产品去做显示。后台为了保证消息一定可以推到客户端，它采取了一种重复推送的策略，也就是说，每次当我重新连接上后台时，后台会把一段时间内的消息都推给我、而不论这些消息之前是否已经推送过，如果我不加处理的直接推给产品，可能造成同一个消息重复展示多次的问题。为此，我在接收到消息后，会将它们保存在进程中的一个容器中，当有新消息到达时，会先在这个容器里检查有没有收到这条消息，如果有，就不再转发。
在写代码时，我们常常因为一个函数的类型不同而不能使用感到困扰。一个简单的交换函数，我们可能都得写好几份
一、类模板与模板类 类模板：一个模板（是模板） 模板类：调用类模板生成的类对象（是类实体），也称为类模板的实例化 类模板的定义： 与函数模板的定义是一样的 template <typename T>class Blob{public:Blob();Blob(std::initializer_list<T> i);}; 模板类的使用： 在定义类时，使用到类名的地方都需要显示的给出模板类的类型，格式为<> int main(){Blob<int> ia;Blob<int> ia2 = { 1,2,3 };Bl
📷 文章目录 一、泛型编程 二、函数模板 1.函数模板概念 2.函数模板格式 3.函数模板的原理 4 函数模板的实例化 1. 隐式实例化 2. 显式实例化 5.模板参数的匹配原则 三、类模板 1 类模板的定义格式 2 类模板的实例化 四、模板不支持分离编译（了解） 一、泛型编程 如何实现一个通用的交换函数呢？ 我们可以针对不同的数据类型写出不同的交换函数 void Swap(int& left, int& right) { int temp = left; left = right;
在这里，typename T 定义了一个类型参数，它在函数模板被实例化时将被具体的类型替换。例如，如果你用 int 类型实例化该模板，编译器将生成一个接受 int 参数并返回 int 类型值的函数，T代表类型
下面列举的几种情况不能省略模板实参： 1）从模板函数实参表获得的信息有矛盾之处。
在C++的历次版本发布中，对C++模板参数的标准一直保持开放的态度，且对参数的要求也在逐渐放宽。从C++17开始，非类型的模板参数也可以在使用时定义了而不必定义在不同的作用域。
模板元编程（Template Metaprogramming，TMP）是编写生成或操纵程序的程序，也是一种复杂且功能强大的编程范式（Programming Paradigm）。C++模板给C++提供了元编程的能力，但大部分用户对 C++ 模板的使用并不是很频繁，大致限于泛型编程，在一些系统级的代码，尤其是对通用性、性能要求极高的基础库（如 STL、Boost）几乎不可避免在大量地使用 C++ 模板以及模板元编程。
就拿交换函数来说，当我们交换不同类型的变量的值，那就需要不停的写交换函数的重载，这样代码复用率就较低，那我们能不能创造一个模板呢？？
这篇是第三部分的总结，基本上就是回看了之前的4篇笔记并且重新翻翻书梳理了一下，内容基本都是从前面的章节复制来的，长度较长，难度可能也比较大。
template<typename T1, typename T2,......,typename Tn> 返回值类型 函数名(参数列表){} typename是用来定义模板参数关键字，也可以使用class，两者目前是没区别的，但是由于STL大部分用的class，所以建议使用class
通过之前C语言的学习我们可以知道，内存区域主要分为几个区： 从上至下分别是栈，堆，静态区，常量区
大家好，又见面了，我是你们的朋友全栈君。 C++函数模板（模板函数）详解 定义 用法： 函数模板的原理 延申用法 2.1为什么需要类模板 2.2单个类模板语法 2.3继承中的类模板语法 案例1： 案例2： 2.4类模板的基础语法 2.5类模板语法知识体系梳理 1.所有的类模板函数写在类的内部 复数类： 2.所有的类模板函数写在类的外部，在一个cpp中 2.5总结 关于类模板的几点说明： 2.6类模板中的static关键字 案例2：以下来自：C++类模板遇上static关键字 2.7类模板在项目开发中的
C++模板初阶 零、前言 一、泛型编程 二、函数模板 1、函数模板定义及使用 2、函数模板原理 3、函数模板实例化 4、函数模板匹配原则 三、类模板 1、类模板定义及使用 2、类模板实例化 零、前言 本章主要讲解C++的模板相关的初阶知识 一、泛型编程 用函数重载来实现交换变量函数： void Swap(int& left, int& right) { int temp = left; left = right; right = temp; } void Swap(double& left, d
那么，如果你想交换两个其他类型的就需要写一个重载函数，这样是非常麻烦的。 这时C++就有了模板。
从语言的角度看，数据段叫静态区，代码段叫常量区。从操作系统来看，就叫数据段和代码段。
在c语言中，如果我们想写多类型的，并且是同一个函数出来的函数，我们只能要几个写几个出来，这样子会显得比较冗余，也加大了程序员的代码量，于是c++中就引入了函数重载和泛型编程的概念，大大的简化了我们的工作！
template <class Type> //或者tmplate <typename Type>
primer Plus在解释具体化和实例化看的有点乱，分解出来备忘 在代码中包含函数模板本身并不会生成函数定义，它只是用于生成函数定义的方案 编译器使用模板为我写类型生成函数定义时，得到的是模板实例 如这个模板 template<typename T> void Swap(T &t1,T &t2) { T _t; _t=t1; t1=t2; t2=_t; } 调用 int i = 10,j=20; ::cout<<"i, j ="<<i<<" , "<
在C语言阶段，要实现一个通用的交换函数我们只能通过定义对应不同参数类型的多个函数来实现，而且各函数的函数名不能相同，比如 Swapi、Swapd、Swapc；到了C++阶段，我们可以通过函数重载来定义多个参数类型不同但函数名相同的函数来实现，但是函数重载有以下几个缺陷：
一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件连接起来形成单一的可执行文件的过程称为分离编译模式。
C++98的老码农们，应该都知道std::max() 函数可以从两个数中求最大值。
一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件连接起来形成单一的可执行文件的过程成为分离编译模式。
所以c++就提供了模板，就相当于一个模具，让编译器根据不同的类型利用该模子来生成代码。
模板是一种通用程序设计方法，它允许开发人员编写可以处理各种数据类型的代码。模板定义了一种通用的程序结构，该结构可以使用任何数据类型。例如，我们可以编写一个模板函数来交换任何两个变量，无论它们是整数、浮点数还是其他类型的数据。
这个时候因为交换的数据类型并不相同,就需要我们编写很多Swap交换函数来完成这一功能,如:
众所周知，C++是基于C语言的编写，所以它也继承了众多C的特性（当然也包括部分缺点），且基于它们进行改良和优化，这篇文章要讲的是模板，这算的上是C++基于C的一个“懒人利器”
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
