模板函数写法

C++Template基础篇（⼀）：函数模板详解Template所代表的泛型编程是C++语⾔中的重要的组成部分，我将通过⼏篇blog对这半年以来的学习做⼀个系统的总结，本⽂是基础篇的第⼀部分。

为什么要有泛型编程C++是⼀门强类型语⾔，所以⽆法做到像动态语⾔（python javascript）那样⼦，编写⼀段通⽤的逻辑，可以把任意类型的变量传进去处理。

泛型编程弥补了这个缺点，通过把通⽤逻辑设计为模板，摆脱了类型的限制，提供了继承机制以外的另⼀种抽象机制，极⼤地提升了代码的可重⽤性。

注意：模板定义本⾝不参与编译，⽽是编译器根据模板的⽤户使⽤模板时提供的类型参数⽣成代码，再进⾏编译，这⼀过程被称为模板实例化。

⽤户提供不同的类型参数，就会实例化出不同的代码。

函数模板定义把处理不同类型的公共逻辑抽象成函数，就得到了函数模板。

函数模板可以声明为inline或者constexpr的，将它们放在template之后，返回值之前即可。

普通函数模板下⾯定义了⼀个名叫compare的函数模板，⽀持多种类型的通⽤⽐较逻辑。

template<typename T>int compare(const T& left, const T& right) {if (left < right) {return -1;}if (right < left) {return 1;}return 0;}compare<int>(1, 2); //使⽤模板函数成员函数模板不仅普通函数可以定义为模板，类的成员函数也可以定义为模板。

class Printer {public:template<typename T>void print(const T& t) {cout << t <<endl;}};Printer p;p.print<const char*>("abc"); //打印abc为什么成员函数模板不能是虚函数(virtual)？这是因为c++ compiler在parse⼀个类的时候就要确定vtable的⼤⼩，如果允许⼀个虚函数是模板函数，那么compiler就需要在parse这个类之前扫描所有的代码，找出这个模板成员函数的调⽤（实例化），然后才能确定vtable的⼤⼩，⽽显然这是不可⾏的，除⾮改变当前compiler的⼯作机制。

go 语言的模板语法一、模板语法简介Go语言中的模板语法是一种用于生成文本输出的模板语言。

模板是一个包含标记和变量的文本文件，通过将变量替换为具体的值，可以生成最终的文本输出。

在Go语言中，模板是通过text/template和html/template两个包来实现的。

二、模板标记1. {{}}：模板标记用两个大括号包围，其中可以包含任意的Go表达式。

在模板执行时，标记内的表达式会被求值，并将结果输出到最终的文本中。

2. {{.}}：点标记表示当前的上下文，通常用于引用当前的数据对象。

可以在模板内部通过点标记来获取和操作对象的字段和方法。

3. {{range .}} ... {{end}}：range标记用于迭代集合或数组。

在range标记内部，可以通过点标记来引用当前的元素，并对元素进行处理。

4. {{if .}} ... {{end}}：if标记用于条件判断。

在if标记内部，通过点标记来引用需要判断的值，并根据判断结果执行不同的代码块。

5. {{with .}} ... {{end}}：with标记用于临时改变上下文对象。

在with标记内部，可以通过点标记来引用指定的新上下文，并在此上下文下执行相应的操作。

三、模板函数Go语言的模板语言还提供了一些内置的函数，用于处理模板中的数据和逻辑。

1. len：len函数用于获取集合或数组的长度。

2. range：range函数用于遍历集合或数组，并生成相应的文本输出。

3. printf：printf函数用于格式化输出，可以根据指定的格式将数据转换为字符串。

4. with：with函数用于在模板中临时改变上下文对象。

四、示例代码下面是一个简单的示例代码，展示了如何使用Go语言的模板语法：package mainimport ("text/template"type Person struct {Name stringAge intGender stringfunc main() {p := Person{Name: "张三",Age: 25,Gender: "男",tmpl, err := template.New("person").Parse("姓名：{{.Name}}\n年龄：{{.Age}}\n性别：{{.Gender}}")if err != nil {panic(err)err = tmpl.Execute(os.Stdout, p)if err != nil {panic(err)执行以上代码会输出以下结果：以上是关于Go语言模板语法的基本介绍，通过学习和掌握模板标记、模板函数等内容，我们可以更灵活地生成各种形式的文本输出。

C++模板之函数模板实例化和具体化模板声明 template<typename/class T>, typename⽐class最近后添加到C++标准。

常规模板，具体化模板，⾮模板函数的优先调⽤顺序。

⾮模板函数（普通函数）> 具体化模板函数 > 常规模板显⽰具体化：具体化表⽰为某⼀特定的类型重写函数模板，声明的含义是使⽤独⽴的，专门的函数定义显⽰地为特定类型⽣成函数定义。

为什么要有显⽰具体化？处理模板函数所不能处理的特殊情况。

显式具体化显式具体化也是基于函数模板的，只不过在函数模板的基础上，添加⼀个专门针对特定类型的、实现⽅式不同的具体化函数。

显⽰具体化声明在关键字template后包含<>.如：1. template<> void swap<job>(job &j1, job &j2);vs2013不⽀持：1. void swap(Any &a, Any &b);2.3. struct job4. {5. char name[40];6. double salary;7. int floor;8. };9.10. template<> void swap<job>(job &j1, job &j2);11.12. void Show(job &j);13.14. int main(){15. using namespace std;16.17. template void swap<job>(job &, job &);18.19. int i = 10, j = 20;20.21. swap(i, j);22.23.24. return 0;25. }26.27.28. template<typename Any>29. void swap(Any &a, Any &b){30. Any temp;31. temp = a;32. a = b;33. b = temp;34. }35.36. template<> void swap<job>(job &j1, job &j2){37. double temp_sal;38. temp_sal = j1.salary;39. j1.salary = j2.salary;40. j2.salary = temp_sal;41. }隐式实例化在发⽣函数模板的调⽤时，不显⽰给出模板参数⽽经过参数推演，称之为函数模板的隐式模板实参调⽤（隐式调⽤）。

c++模板拷贝构造函数在C++中，模板是一种非常强大的工具，它可以帮助我们创建可重用的代码。

模板可以应用于函数、类、甚至是整个库。

其中，拷贝构造函数是一个重要的模板函数，它在对象复制过程中被调用。

下面我们来讨论一下C++模板拷贝构造函数的实现。

一、模板拷贝构造函数的定义首先，我们需要了解模板拷贝构造函数的基本定义。

模板拷贝构造函数是一个特殊的构造函数，它用于创建具有特定类型参数的对象。

其基本语法如下：```cpptemplate<typenameT>Class<T>::Class(constClass<T>&other) ```在这个模板中，`Class`是我们定义的类名，`T`是类的模板参数。

这个拷贝构造函数接收一个类型为`Class<T>`的对象`other`作为参数，并返回一个类型为`Class<T>`的对象。

二、模板拷贝构造函数的实现让我们来看一个简单的例子，如何使用模板拷贝构造函数来创建一个模板类。

```cpptemplate<typenameT>classMyTemplateClass{public:MyTemplateClass(constMyTemplateClass<T>&other){//这里实现拷贝构造函数的逻辑}//其他成员变量和函数...};```在这个例子中，我们定义了一个名为`MyTemplateClass`的模板类，它有一个模板拷贝构造函数。

当我们需要复制一个`MyTemplateClass`对象时，编译器会自动为我们调用这个拷贝构造函数。

现在，让我们实现这个模板拷贝构造函数：```cpptemplate<typenameT>MyTemplateClass<T>::MyTemplateClass(constMyTemplateClass< T>&other){//这里复制其他对象的成员变量//如果需要的话，你也可以调用其他拷贝构造函数来复制复杂的数据结构}```现在我们已经实现了模板拷贝构造函数，我们可以使用它来创建和复制`MyTemplateClass`对象。

htmltemplate基础语法⽂档地址:创建⼀个模板var t *template.Templatet, _ = t.Parse(``)输出`{{ . }}` 输出调⽤结构的⽅法`{{ .Say "hello }}`模板中定义变量`{{ $a := "模板中的变量" }}`模板函数t.Funcs(template.FuncMap{"test1": test1}) 注册函数t.Funcs(template.FuncMap{"test2": test2});{{ 函数名 }} 输出函数返回值{{ 函数名参数1 参数2 }}{{ .字段名 | 函数名 }} 以字段的值作为函数的参数t.Parse(`{{test1}}{{ test2 "参数" }}){{.UserName | test2 }}`)t.Execute(os.Stdout, Person{})条件判断{{ if 1 }} true {{ else }} {{ end }}遍历{{ range $k, &v := .Map }}{{ $k }} {{ $v }}{{ end }}嵌套模板{{ define "tp1" }} I'm template 1 {{ end }}{{ define "tp2" }} I'm template 2 {{ . }} {{ end }}{{ define "tp3" }} {{ template "tp1"}} {{ template "tp2" }} {{ end }}{{ template "tp1" }}{{ template "tp2" "test1" }}{{ template "tp3" "test1" }}内置的模板函数{{ and 3 4 }} //如果3为真, 返回4, 否则返回3{{ or 3 4 }} // 如果3位真, 返回3, 否则返回4{{ call sum 1 3 5 7 }} // call 后的第⼀个参数的返回值必须是⼀个函数{{ "<br>"|html}} // 转义⽂本中html的标签{{index .Contact "qq"}} // 返回 Contact 索引为qq的值{{ "?a=123&b="你好"|js}} // 返回⽤js的escape处理后的⽂本, ⾃动进⾏html转义{{"hello"|len}} // 返回参数的长度{{ not 0 }} // bool 取反{{"你好"|print "世界"}} // fmt.Sprint 的别名{{"你好"|printf "%d %s" 123}} // Spintf的别名{{"你好"|println "世界"}} // Println{{?q=关键字&p=1|urlquery}} // 进⾏url编码{{ if eq 1 1}} 等于- eq 等于- ne 不等于- lt- le- gt- ge。

vector模板size函数在C++中，标准模板库（STL）提供了一个名为`vector`的容器类型，可以容纳任意数量的元素，并且具有动态大小调整的能力。

`vector`类提供了一组方法来操作和管理存储在容器中的元素。

其中一个常用的方法是`size()`函数，它用于返回`vector`容器中元素的数量。

`vector`的`size()`函数有以下几个特点：1. 返回值类型：`size()`函数返回的是一个`vector::size_type`类型的值，表示容器中元素的数量。

`vector::size_type`是一个无符号整型类型，通常等于`size_t`。

2. 使用方法：`size()`函数是一个成员函数，因此需要通过`vector`对象来调用。

其语法为`vector_name.size()`，其中`vector_name`是一个`vector`对象的名称。

3. 功能：`size()`函数用于获取`vector`容器的当前大小。

大小是指容器中实际存储的元素数量。

4. 示例代码：下面是一个使用`vector`的`size()`函数的示例代码：```cpp#include <iostream>#include <vector>int main() {std::vector<int> numbers = {1, 2, 3, 4, 5};std::cout << "Size of the vector: " << numbers.size() << std::endl;return 0;}```输出结果为：```Size of the vector: 5```上述代码中，首先创建了一个`vector`对象`numbers`，并初始化了一些整数元素。

然后，通过调用`size()`函数，获取了`numbers`中元素的数量，并使用`std::cout`打印出来。

函数模板“偏特化”（C++）模板是C++中很重要的⼀个特性，利⽤模板可以编写出类型⽆关的通⽤代码，极⼤的减少了代码量，提升⼯作效率。

C++中包含类模板、函数模板，对于需要特殊处理的类型，可以通过特化的⽅式来实现特定类型的特殊操作。

最近⼯作中，需要处理CONT<TYPE>这种复合类型和T这种⾃定义类型的模板特化，因为CONT类型有五种左右需要特殊处理，其余的可以⽤默认处理函数，TYPE的具体类型有上千种，但是TYPE类型不涉及不同的操作。

⽅案⼀：采⽤两个模板参数template <typename TYPE, template<typename> typename CONT>void func(const CONT<TYPE> &v) {}//或template <typename T>void func(const T &v) {}问题：由于C++不⽀持模板函数偏特化，实际特化的时候会退化的第⼆个的情形，即需要⼿动编写⼏千个函数来实现特化，这种⽅法不可接受。

⽅案⼆：采⽤偏特化类模板的第⼆个模板参数template<typename TYPE, template<typename> typename CONT>struct my_class {my_class() = delete;static void func(const CONT<TYPE> &v) {}};//将CONT偏特化为vectortemplate <typename TYPE>struct my_class<TYPE, vector> {my_class() = delete;static void func(const vector<TYPE> &v) {}};问题：⾸先，这种形式的偏特化可以实现复合类型的需求，但是对于⽤户⾃定义类型⽆法兼容⽅案三：利⽤SFINAE控制模板函数实例化实现“偏特化” （⽰例代码部分使⽤C++17语法）//“偏特化”vector容器类型的模板函数template <typename TYPE, template<typename> typename CONT>void func(const CONT<TYPE> &v, std::enable_if_t<std::is_fundamental<TYPE>::value && std::is_same_v<vector<int>, CONT<int>>> * = nullptr){}//如果使⽤C++11版本的gcc时，偏特化vector等标准容器类型的模板函数需要使⽤如下形式template <typename T, template<class, class...> class C, class... Args>void var_func(const C<T, Args...>& v){ std::cout << "var_func type" << std::endl;}//“偏特化”⽤户⾃定义⾮容器类型的函数template <typename TYPE, template<typename> typename CONT>void func(const TYPE &v, std::enable_if_t<!std::is_fundamental<TYPE>::value> * = nullptr){}//默认的复合类型模板函数template <typename TYPE, template<typename> typename CONT>void func(const CONT<TYPE> &v, std::enable_if_t<std::is_fundamental<TYPE>::value&& !std::is_same_v<vector<int>, CONT<int>>&& !std::is_same_v<deque<int>, CONT<int>>&& !std::is_same_v<list<int>, CONT<int>>> * = nullptr){}//对于函数体内的auto类型的变量（由CONT和TYPE组合成的复合类型），可以通过以下⼿段判断其类型using T = std::decay_t<decltype(variable)>;if constexpr (std::is_same_v<vector<type>, T>)func<type, vector>(variable);else if constexpr (std::is_same_v<my_type, T>)func<my_type, deque>(variable);....结论：最后采⽤了这种⽅案，结合了std::enable_if_t, std::is_same_v, std::is_base_of 等语法来实现模板函数的条件来实现了函数模板的“偏特化”Tips：1. 函数模板的定义和声明必须都放到头⽂件中，因为编译器在编译阶段需要依据头⽂件中模板函数的定义来实现模板的实例化2. 不建议将函数模板编译成静(动)态库，然后源⽂件只包含模板函数声明的头⽂件，这样在链接的时候提⽰undefined 的类似错误，因为函数库只能导出实例化的函数，对于没有实例化模板函数，就会出现undefined的错误（除⾮在函数库中，将所有可能的实例化类型都实例化⼀遍）。

Thinkphp模板中函数的使⽤1.在模板中使⽤php函数 在thinkphp的html中，我们经常会遇到⼀些变量难以直接从php控制端直接处理，这些变量只有在模板中循环输出的时候处理⽐较合适，这个时候，我们就要在模板中使⽤函数 1.1对输出模板使⽤php函数{$|md5} //把模板中的name变量进⾏md5加密 把这句话翻译成php语⾔：<?php echo (md5($data['name'])); ?> 1.2函数中多个参数需要调⽤ 1.2.1将前⾯输出的变量当后⾯函数的第⼆个参数使⽤{$create_time|date="y-m-d",###} 解释：date函数传⼊两个参数，每个参数⽤逗号分割，这⾥第⼀个参数是y-m-d，第⼆个参数是前⾯要输出的create_time变量，因为该变量是第⼆个参数，因此需要⽤###标识变量位置。

翻译成php语⾔：<?php echo (date("y-m-d",$create_time)); ?> 1.2.2将前⾯输出的变量当后⾯函数的第⼀个参数使⽤{$|substr=0,3}或者{$|substr=###,0,3} 翻译成php语⾔<?php echo (substr($data['name'],0,3)); ?> 1.3对⼀个变量进⾏多个函数的处理{$name|md5|strtoupper|substr=0,3} 每个函数之间⽤⼁符号隔开，且函数执⾏顺序是从左往右依次调⽤或者：{:substr(strtoupper(md5($name)),0,3)} 编译成php语⾔：<?php echo (substr(strtoupper(md5($name)),0,3)); ?>2.变量在模板中输出使⽤⾃定义函数 在项⽬中，除了⼀些php函数，我们也可以根据⾃⼰项⽬的实际需求，在项⽬应⽤⽬录/common/function.php中，写⼊⾃⼰⾃定义的函数 重点说明：{ 和 $ 符号之间不能有空格，后⾯参数的空格就没有问题； ###表⽰模板变量本⾝的参数位置； ⽀持多个函数，函数之间⽀持空格； ⽀持函数屏蔽功能，在配置⽂件中可以配置禁⽌使⽤的函数列表； ⽀持变量缓存功能，重复变量字串不多次解析。