C prime 模板与泛型编程 Ch16 (cprimerplus)
本文目录导航：
C++ prime Ch16 模板与泛型编程
模板是泛型编程的基础，为创立类或函数提供蓝图。
函数模板可经过一个通用公式生成针对特定类型的函数版本，缩小对模板类型参数的要求，经常使用非类型模板参数及常量表白式来提升代码。
模板程序应尽量缩小对实参类型的要求，经常使用const的援用确保函数实用于不能拷贝的类型。
模板中的条件判别仅经常使用<符号，防止同时支持>。
模板中的代码应尽量类型有关，经常使用less函数对象成功通用性。
类模板的每个实例构成独立的类，独立于其余实例。
类模板中的代码若经常使用另一个模板，则通经常常使用模板实例的T作为实参。
类模板的成员函数是个别函数，每个实例有自己的版本，需以template主要字开局并蕴含类模板参数列表。
成员函数定义时需思考实例化机遇。
在类模板自己的作用域内，模板名经常使用时可间接援用，无需指定实参。
类模板外经常使用模板名时，必定提供模板实参。
友元申明与类模板实例化有关，模板间友好相关经常出现方式是建设对应实例及其友元间的友好相关。
为类模板定义友元时，经常使用模板形参作为实参，限定友好相关。
类模板可定义静态成员，每个实例有独立的静态成员实例。
模板参数与作用域相关，申明后至模板申明完结前可用，模板参数名不能重复。
模板的自动实参提供繁难，经过在模板申明中指定实参的自动值来简化代码。
成员模板可蕴含模板的类或函数，但不能是虚函数。
类模板可蕴含成员模板，各自有自己的独立模板参数。
类模板的实例化会实例化该模板的一切成员，包括内联成员函数。
模板实参推断基于调用中的函数实参，编译器从中确定模板参数。
模板实参推断触及函数参数类型转换与模板类型参数的婚配，以及显式指定模板实参的状况。
函数指针指向函数模板时，只能指向模板的一个实例。
模板实参推断与援用折叠相关，触及T&和T&&的函数参数类型，以及左值或右值的智能推导。
可变参数模板接受可变数目标参数，经常使用省略号示意。
经过可变参数模板定义的函数通常是递归的，中断递归时需定义非可变参数版本。
包裁减将包合成为元素，对每个元素运行形式。
可变参数模板与forward机制联合，实事实参的不变传递给其余函数。
模板特例化定义函数或类模板的特定版本，在特定状况下经常使用。
C++ 可变参数模板variadic template
可变参数模板准许函数或类模板接受恣意数量的参数。
它经常使用省略号(...)来示意参数包。
在编译时，编译器能从函数的实践参数中推断出模板参数类型和数量。
经过经常使用sizeof...()函数，可以失掉参数包中的参数个数。
可变参数函数能解决未知数量的参数，但参数必定具备相反类型。
经常使用initializer_list可以定义接受恣意数量参数的函数。
可变参数模板特意实用于解决参数数量和类型未知的状况，如在启动包裁减时。
包裁减经过运行特定形式并触发省略号(...)操作来成功。
裁减环节创立一个逗号分隔的参数列表，繁难后续操作。
例如，思考一个print函数的调用。
在函数外部的递归调用中，省略号触发裁减，将参数包转换为一个逗号分隔的参数列表。
另一个例子是一个函数，经常使用流操作符失掉传入参数并解决它们。
经过将参数包rest裁减为debug_rep，可以经常使用debug_rep配置解决这些参数。
可变参数模板的一个经常出现运行是实例化类，准许传递不同数量和类型的参数。
规范库中的容器如vector通常提供emplace_back成员函数，它是一个可变参数模板，间接在容器中结构元素。
在实例化类时，可变参数模板解决参数的环节是两阶段的：首先经常使用右值援用裁减参数包，而后经常使用forward模板裁减参数包和模板参数包，确保类型消息得以保管。
最终，经过调用元素类型的结构函数成功结构环节。
空幻引擎中的C++模板
模板是C++泛型编程的基础，它准许咱们创立类和函数的蓝图。
当经常使用泛型类或函数时，编译器会将这些蓝图转换成实践的类和函数，这个环节称为模板的实例化，它出当初编译环节中。
模板的头文件包括类和函数的成功，由于编译器要求在编译阶段实例化模板类和模板函数。
相比个别函数和类，类模板和函数模板在最前面参与了一个主要字和被尖括号括起来的模板参数列表。
模板参数有四种类型：类型模板参数、非类型模板参数、模板模板参数和可变模板参数。
非类型模板参数示意在编译或链接时确定的常量，如指定大小。
模板类型模板参数的申明相似于模板，示意模板参数的类型是一个类模板。
可变模板参数比拟复杂，将在后续文章中独自引见。
特例化是类型婚配的环节，在实例化环节中，编译器会优先尝试婚配模板参数最相符的特例化版本。
特例化的函数/类是模板函数/模板类的一个实例化，关于某些特定类型指定不凡成功。
特例化有两种：全特例化和局部特例化，其中，函数模板只支持全特化，类模板支持全特化和局部特化。
类模板的全特例化提供了确定的模板实参，空幻引擎中的[公式] 就是经过全特例化成功的判别类型能否为整型。
类模板的局部特例化可以只提供局部模板参数的模板实参，要求进一步实例化。
空幻引擎中的[公式] 就是经过局部特例化成功的。
函数模板支持模板实参推断，编译器经过函数调用中的实参类型来确定模板实参。
当函数前往类型与参数列表中的任何类型都不相反时，要求为函数模板提供显式模板实参。
空幻引擎中的一些函数要求手动指定类型，如[公式] 和[公式] 函数。
函数模板的前往类型通常不能经过前往值推断模板参数，由于前往值不是函数调用的必要条件。
函数模板可以被重载，与个别函数一样，名字相反的函数必定要有不同数量或类型的参数。
关于函数模板，最好的工程通常是不要特例化函数模板，而是选用参与一个非模板函数重载。
特化版本不能重载，由于编译器会对等地思考一切主模板函数，只要在主模板函数选用成功后，才会检查特例化版本。
phper