C++模板元编程（0）模板编程与泛型编程

作为模板元编程系列教程的第一章，本文站在了全局的角度介绍了泛型编程、模板编程的基本概念，概括了模板编程的相关知识点，很多概念大家可能学到后面才能理解，看不懂的地方可以暂时跳过，回过头来再看可能会有更深的感悟。

1、什么是泛型编程

泛型编程指的就是编写与类型无关的代码，是C++中一种常见的代码复用方式。

C++实现代码复用的方式有很多，泛型只是其中一种，此外还有封装，继承。

泛型编程是C++的一个分支，模板编程是模板元编程的基础，模板元编程也是C++的一个分支。

2、什么是模板

模板是一种对类型进行参数化的工具，模板是泛型编程的基础。

C++提供了模板(template)编程的概念。所谓模板，实际上是建立一个通用函数、类或者变量（C++ 14起），其类内部的类型和函数的形参类型不具体指定，用一个虚拟的类型来代表。这种通用的方式称为模板。模板是泛型编程的基础，泛型编程即以一种独立于任何特定类型的方式编写代码。

在 C++ 中