标签：

对应《c++ primer 第五版》的第16章前半部分，这里是一个简单的总结。

为了防止对每个不同的类型都定义一个函数，可以使用通用的模板，一个函数模板就是一个公式，可用来生成针对特定类型的函数版本。

模板定义以template开始，后面跟一个模板参数列表，用< >括起来。 模板定义中，模板参数列表不能为空。

模板参数列表就像函数的参数列表一样，在运行时要用实参来初始化形参。 当使用模板时，显式或隐式地指定模板实参，将其绑定到模板参数上。 比如定义了一个模板函数compare

template<typename T> 
int compare(const T &v1, const T &v2)

使用时，如果这样用

compare(1, 0)

就相当于instance化了一个特定版本的函数，T绑定了int。

声明为inline或者constexpr的，inline这个关键字要放在模板参数列表之后，返回类型之前，如下

template <typename T> inline T min(const T&, const T&)

类型参数前必须使用关键字class 或 typename, 可以看到上面都用的是typename, 也可以用

template <class T>

因为typename是在模板已经广泛使用之后才引入cpp语言中的，所以一些程序员仍然只用class

每个类型参数前必须使用class 或者 typename, 下面这样做是不对的

template <typename T, U>  //这样不对，U前也必须用typename 或 class

说下模板的编译：

编译器遇到一个模板定义时，并不生成代码，只有当实例化时才会生成代码。 大多数编译错误是在实例化期间报告的 第 1 阶段编译模板本身时，会检查语法错误，比如忘记分号。 第 2 阶段 编译器遇到模板使用时，对函数模板的调用，会检查实参数目是否正确。 第 3 阶段实例化时，只有这个阶段才能发现类型相关的错误，这类错误可能在link时才报告。

类模板：

类模板也是以关键字template开始，后面跟模板参数列表

template <typename T> class Blob {
          
   
    ...
};

这里要说下阅读模板类代码时，要记住类模板的名字不是一个类型名，比如

template<class SEMANTICS>
bool SemanticsOcTreeNode<SEMANTICS>::isSemanticsSet() const
{
          
   
  return this->semantics.isSemanticsSet();
}

SEMANTICS semantics;

可以看到isSemanticsSet函数是semantics对象的函数，但是要知道SEMANTICS并不是一个类型名，它具体是什么类型，要看调用它的地方传的是什么实参类型。

和其他类相同，既可以在类模板内部，也可以在类模板外部定义其成员函数。 且定义在类模板内的成员函数被隐式声明为inline函数。

为了生成一个实例化版本，编译器需要掌握函数模板或类模板成员函数的定义，因此，函数模板和类模板成员函数的定义通常放在头文件中。

在类模板自己的作用域中，可以直接使用模板名而不提供实参，如下

template <typename T> class B {
          
   
   ...
   B& operator++();  //这里不需要指定B<T>
};

但是，当定义在类模板外时，就要加上

friend class

如果模板类包含一个非模板friend class, 那么友元被授权可以访问所有模板实例， 如果友元自身是模板，类可以授权给所有友元模板实例，也可以只授权给特定实例。 具体下次再码。

标签：
来源：

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。