模板是C++支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。
通过之前C语言的学习我们可以知道，内存区域主要分为几个区： 从上至下分别是栈，堆，静态区，常量区
模板（Template）指 C++ 程序设计设计语言中采用类型作为参数的程序设计，支持通用程序设计。C++ 的标准库提供许多有用的函数大多结合了模板的观念，如 STL 以及 IO Stream。模板是 C++ 支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。
模板（Template）指C++程序设计设计语言中采用类型作为参数的程序设计，支持通用程序设计。C++ 的标准库提供许多有用的函数大多结合了模板的观念，如STL以及IO Stream。模板是C++支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。
在一个项目中，我们可能需要交换不同类型的数据。虽然C++支持函数重载，解决了C语言中函数名不能相同的问题，但是代码复用率任然极低
使用函数重载虽然可以实现，但是有一下几个不好的地方： 1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数 2. 代码的可维护性比较低，一个出错可能所有的重载均出错
1.重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数
这是一件发生在我身上的真实事件，它根本不是一个故事——由于它差点就变成我人生的一次巨大乌龙——所以应该算是个事故。此前，我曾经发现过不下两位数的编译器Bug，所以一开始，当这一次事件到来的时候，我并未过多的产生过怀疑……
从语言的角度看，数据段叫静态区，代码段叫常量区。从操作系统来看，就叫数据段和代码段。
1. 假设要交换两个变量的值，如果只是用普通函数来做这个工作的话，那么只要变量的类型发生变化，我们就需要重新写一份普通函数，如果是C语言，函数名还不可以相同，但是这样很显然非常的麻烦，代码复用率非常的低。 那么能否告诉编译器一个模板，让编译器通过模板来根据不同的类型产生对应的代码呢？答案是可以的。
在这里，typename T 定义了一个类型参数，它在函数模板被实例化时将被具体的类型替换。例如，如果你用 int 类型实例化该模板，编译器将生成一个接受 int 参数并返回 int 类型值的函数，T代表类型
注意： 有时候会失败，可能的原因是权限问题，比如权限的放大会报错。欢迎评论区讨论。这里就不放相应的代码了。虽然我已经遇到过了。
JIT技术是JVM中最重要的核心模块之一。因为不断有朋友问起，Java到底是怎么运行的？既然Hotspot是C++写的，那Java是不是可以说运行在C++之上呢？为了澄清这些概念，我才想起来写这样的一篇文章。 Just In Time Just in time编译也叫做运行时编译，不同于 C / C++ 语言直接被翻译成机器指令，javac把java的源文件翻译成了class文件，而class文件中全都是Java字节码。那么，JVM在加载了这些class文件以后，针对这些字节码，逐条取出，逐条执行，这种方法
在我们平时的代码中经常会有不同类型的变量去执行效果差不多的函数。比如：swap(交换)，sort(排序)。这些函数里其实会有大部分重复的段落，在这种情况下我们会使用重载函数，但是函数重载会有如下的问题：
1. 模板参数分为类型模板参数和非类型模板参数，类型模板参数一般是class或typename定义出来的泛型，而非类型模板参数一般是整型定义出来的常量，这个常量作为类模板或函数模板的一个参数，在类模板或函数模板中可将该参数当成常量来使用。
C++98中，标准允许使用花括号{}对数组元素进行统一的列表初始值设定。举个例子：
上面的这种bug在项目中很常见，参数都用new Object[]{}封装起来。特别是从class文件反编译回来成的java文件格式也是这样的。但是如果要消除bug的话直接使用参数就好了，不要用new Object[]{}封装。
gcc 提供了为了满足用户不同程度的的优化需要，提供了近百种优化选项，用来对{编译时间，目标文件长度，执行效率}这个三维模型进行不同的取舍和平衡。优化的方法不一而足，总体上将有以下几类：1）精简操作指令；2）尽量满足 cpu 的流水操作；3）通过对程序行为地猜测，重新调整代码的执行顺序；4）充分使用寄存器；5）对简单的调用进行展开等等。想全部了解这些编译选项，并在其中挑选适合的选项进行优化，无疑像个噩梦般的过程。单从 gnu 的官方网站上得到的手册来看，描述依然比较苍白，不足以完全了解选项的使用范围和原理。（GCC has well over a hundred individual optimization flags and it would be insane to try and describe them all）
"本学期给研一小鲜肉们上Linux内核课程，发现内核代码具有激活学生们潜质的功效。前一段时间贺东升同学对内核第一宏的分析，不仅在读者中产生共鸣，更重要的是贺同学内在沉睡的潜质被激活，而max（）宏的深入分析，让梁同学不能罢手，在深入代码的过程中，也是不断的唤醒沉睡的潜力。本篇对max（）宏的全面梳理，我看完第一稿，以为是老手所为，实际上，也是菜鸟戴同学从旁观者给梁同学的一臂之力，使得整个的max（）宏的分析和演变有了一个完满的结局。"
const修饰指针的4种形式 const关键字，在C语言中用来修饰变量，表示这个变量是常量。 const修饰指针有4种形式，区分清楚这4种即可全部理解const和指针。 第一种：const int *p; 第二种：int const *p; 第三种：int * const p; 第四种：const int * const p; // 第一种 const int *p1; // p本身不是cosnt的，而p指向的变量是const的 // 第二种 int const *p2; // p本
如果在C++中，也能够存在这样一个模具，通过给这个模具中填充不同材料(类型)，来获得不同材料的铸件(即生成具体类型的代码），那将会节省许多头发。巧的是前人早已将树栽好，我们只需在此乘凉。
就拿交换函数来说，当我们交换不同类型的变量的值，那就需要不停的写交换函数的重载，这样代码复用率就较低，那我们能不能创造一个模板呢？？
根据PHP官方手册所说，整型数的字长和平台有关，尽管通常最大值是大约二十亿(32 位有符号)。64 位平台下的最大值通常是大约 9E18。PHP 不支持无符号整数。Integer 值的字长可以用常量 PHP_INT_SIZE来表示，自 PHP 4.4.0 和 PHP 5.0.5后，最大值可以用常量 PHP_INT_MAX 来表示。
最近一直搞不清楚 nullptr, NULL, '\0'这三者的真正区别，因为有的时候会发现，混用这三种用法，编译器也不会报错，在这里对相关的一些定义和使用方式进行整理，用于后续的使用说明。
于是,大佬心里就在想,能不能像铸铁一样,刻出一个模子(模板),然后通过浇筑不同的材料(不同的类型),从而锻造成不同材料制成的宝刀(不同类型的目标代码)
template<typename T1, typename T2,......,typename Tn> 返回值类型 函数名(参数列表){} typename是用来定义模板参数关键字，也可以使用class，两者目前是没区别的，但是由于STL大部分用的class，所以建议使用class
如果我们定义了这个函数，其参数是int&类型的，也就是只能将整型的数据进行交换，那么如果我一个项目里面，不仅要进行整型的数据交换，还要浮点，自定义类型等等，那岂不是要使用很多个函数，而且函数的内容几乎一样。
导语：编译优化是通过编译技术获得性能提升的一类性能优化方法，它具有通用性和可持续性强的优势，一次投入后可长期保持稳定的优化效果，可以有效降低性能优化的成本。本文将回顾视频号推荐模块落地编译优化的历程和成果，也会介绍具体实践中遇到的问题和对应的解决方案，为后续同类应用提供参考。期待后续更多的业务模块能通过编译优化取得性能提升和成本收益。
回想初学编程的时候，大部分人都是从C语言开始学起的，除了一些常见的语法和思想，一些基础知识常常被人们忽略，如果没有及时地进行梳理，可能短时间内没有太大的影响，但是在日后碰到这些问题时仍旧一头雾水。例如C语言是一门编译型语言，编译型语言首先将源代码编译生成机器语言，再由机器运行机器码（二进制）。对于编译型语言，绕不过的就是编译器。
本文介绍了C++模板的基础概念，简单介绍了泛型编程，模板，以及模板中的函数模板与类模板等相关概念。
C++引入了泛型编程，就可以解决这个问题。 泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。 模板是泛型编程的基础，又分为函数模板和类模板。
众所周知，C++是基于C语言的编写，所以它也继承了众多C的特性（当然也包括部分缺点），且基于它们进行改良和优化，这篇文章要讲的是模板，这算的上是C++基于C的一个“懒人利器”
而模版参数只有在实例化的时候，才能借由实参传递形参推演出来参数类型，故在链接之前，负责模版实现的.cpp文件无法单独推演出模版参数（因为模版实例化是在main.cpp中进行的，此时都处在链接之前，都是分别独立处理的），因此负责实现的.cpp文件无法编译通过
在前面《重温设计模式之建造者模式（Builder）》一文中，从模板方法（Template Method）推演到建造者模式（Builder）的过程中我们发现从模板方法到建造者或者是工厂方法其实只有一步之距。
通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型（比如int*这种）的可能会得到一些错误的结果，需要特殊处理，比如下面的代码：
作者丨 Vittorio Romeo 译者丨明知山 策划丨杜小芳 到目前为止，“‘零成本抽象’是一个谎言”应该（希望如此）已经成为一个常识了。公平地说，这更像是用词不当——“抽象在经过优化后可能提供零运行时开销”这样的说法可能会更恰当一些，但我知道为什么不是这么回事…… 大多数 C++ 程序员倾向于接受这样一个事实——“零成本抽象”只在启用了优化的情况下才能提供零运行时开销，而且它们对编译速度有负面的影响。同样是这些人，他们倾向于相信这种抽象是如此的有价值，以至于认为让他们的程序在调试模式下执行得很差（即没
在c语言中，如果我们想写多类型的，并且是同一个函数出来的函数，我们只能要几个写几个出来，这样子会显得比较冗余，也加大了程序员的代码量，于是c++中就引入了函数重载和泛型编程的概念，大大的简化了我们的工作！
📷 文章目录 一、泛型编程 二、函数模板 1.函数模板概念 2.函数模板格式 3.函数模板的原理 4 函数模板的实例化 1. 隐式实例化 2. 显式实例化 5.模板参数的匹配原则 三、类模板 1 类模板的定义格式 2 类模板的实例化 四、模板不支持分离编译（了解） 一、泛型编程 如何实现一个通用的交换函数呢？ 我们可以针对不同的数据类型写出不同的交换函数 void Swap(int& left, int& right) { int temp = left; left = right;
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
在谈及本章之前，我们先来聊一聊别的。橡皮泥大家小时候应该都玩过吧，通常我们买来的橡皮泥里面都会带有一些小动物的图案的模子。我们把橡皮泥往上面按压，就会得到一个个具有该图案形状的橡皮泥。橡皮泥的颜色不同，得到的形状的颜色也不相同。就好像下面这样：
目前，在软件开发工程领域，敏捷开发流程已经逐步取代瀑布开发流程成为主流。敏捷开发流程的最大特点是以两个星期为一个开发周期（即Sprint）逐步进行迭代，从而更好的响应来自客户需求，UI设计或者技术方案的变化。Sprint Planning可以说是整个流程中最重要的一步了，在这一步会理清需求，消除尽可能多的不确定因素，从而确定下来整个Sprint任务的范围进而分配任务到个人，让团队能够稳定的交付。
今天，Rust 官方仓库里报告了一个神奇的Bug，该 Bug 似乎动摇了 Rust 的世界法则，让我们一探究竟到底是否如此。
模板的实例化指函数模板（类模板）生成模板函数（模板类）的过程。对于函数模板而言，模板实例化之后，会生成一个真正的函数。而类模板经过实例化之后，只是完成了类的定义，模板类的成员函数需要到调用时才会被初始化。模板的实例化分为隐式实例化和显示实例化。
C++ 的一些语言特性使之必须由编译器和链接器共同支持才能完成工作。最主要的有两个方面,一个是C++ 的重复代码消除,还有一个就是全局构造与析构。另外由于C++ 语言的各种特性,比如虚拟函数、函数重载、继承、异常等,使得它背后的数据结构异常复杂这些数据结构往往在不同的编译器和链接器之间相互不能通用,使得C++ 程序的二进制兼容性成了一个很大的问题,我们在这一节还将讨论 C++ 程序的二进制兼容性问题。
PS:typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
在C语言阶段，要实现一个通用的交换函数我们只能通过定义对应不同参数类型的多个函数来实现，而且各函数的函数名不能相同，比如 Swapi、Swapd、Swapc；到了C++阶段，我们可以通过函数重载来定义多个参数类型不同但函数名相同的函数来实现，但是函数重载有以下几个缺陷：
现在就轮到泛型编程出场了：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。
这个时候因为交换的数据类型并不相同,就需要我们编写很多Swap交换函数来完成这一功能,如:
领取专属 10元无门槛券
手把手带您无忧上云
