C++技能系列 ( 3 ) - 详解C++泛型模版和特化模版的使用

本文详细介绍了C++中的模板技术,包括函数模板的定义与调用、非类型模板参数、类模板的定义与成员函数、模板的全特化与偏特化,以及可变参数模板的使用。内容涵盖了模板的基本概念、实例化、成员函数模板、默认模板参数、模板特化策略和可变参数模板的展开方法,帮助读者深入理解C++模板的高级特性。
摘要由CSDN通过智能技术生成

系列文章目录

C++技能系列
C++高性能优化编程系列
深入理解软件架构设计系列
高级C++并发线程编程

期待你的关注哦!!!有更多博文系列等着看哦,会经常更新!!!
因为你的关注激励着我的创作!!!
在这里插入图片描述
快乐在于态度,成功在于细节,命运在于习惯。
Happiness lies in the attitude, success lies in details, fate is a habit.

导图大纲

在这里插入图片描述

一、函数模版

1.1、函数模版 - 定义与调用

范例如下:

//模版的定义
template<typename T>
T func1(T a, T b)
{
	T sum = a + b;
	return sum;
}
//模版的调用
int value1 = func1(2, 4);
float value2 = func1(1.2f + 5.6f);

如上代码int value = func1(2, 4);实参类型是int,所以编译器能推断出来模版的形参T是一个int类型。此时,编译器会实例化一个特定版本的函数

int func1(int a, int b)
{
	int sum = a + b;
	return sum;
}

同理float value2 = func1(1.2f + 5.6f);也是一样的。

但是,⚠️ float value3 = func(3, 4.5f); 会导致编译出错,不知道模版参数类型应该推断为int类型还是float类型。

1.2、函数模版 - 非类型模版参数

template<typename T> 不仅可以代表一个类型参数,还可以代表非类型参数(表示一个值)。

模版被实例化之后,这种非类型参数的值或者由用户提供,或者由编译器推断,都可以。但是这些值必须都得是常量表达式

//定义函数模版
template<typename T, int a, int b>
int func3(T c)
{
	int sum = int(c) + a + b;
	return sum;
}
//函数模版也可以写成内联的
inline int func4(T c)
{
	int sum = int(c) + a + b;
	return sum;
}

int result = func3<1, 3, 24>();
std::cout << result << std::endl; //28

错误的调用写法,如下:

int a = 12;
int result = func3<1, a, 14>();//错误

⚠️ 非类型模版参数必须是常量表达式,值必须是在编译的时候就能确定,因为实例化模版是在编译的时候做的事。

小结:

函数模版的定义并不会导致编译器生成相关代码,只有调用这个函数模版时,编译器才会实例化一个特定版本的函数并生成函数相关代码。
编译器生成代码的时候,需要能够找到函数模版的函数体部分,所以函数模版的定义通常都在.h头文件中。

二、类模版

2.1、类模版 - 定义

类模版(也称模版类)定义的一般形式如下:

template<typename 形参名 1, typename 形参名 2, ..., typename 形参名 n>
class 类名
{
	//... ...
};

创建一个自己的一个myvector.h的文件,范例如下:

//自己的容器类模版
template<typename T>
class myvector
{
public:
	//迭代器
	typedef T* myiterator;   
public:
	//构造函数
	myvector();     
	//赋值运算符重载,在类模板内部使用模版名myvector
	//并不需要提供模版参数。当然提供也行,可以写成myvector<T>
	myvector& operator = (const myvector&);
public:
	//迭代器接口
	myiterator mybegin(); //迭代器起始位置
	myiterator myend(); //迭代器结束位置
}

使用如下:

myvector<int> vec1;
myvector<double> vec2;
myvector<string> vec3;

⚠️ myvector是类模板名,不是一个类型名(或者说是一个残缺的类型名),类模版是用来实例化类型的,所以myvector<int> 才是真正的类型名。

2.2、类模版 - 成员函数

类模版成员函数可以写在myvector.h的vector类模版定义中,这种写在类模板定义中的成员函数就被隐式声明为内联函数。

如果将实现写在类模板定义的外面,怎么写?

//构造函数
template<typename T>
void myvector<T>::myvector(){}
//成员函数
template<typename T>
void myvector<T>::myfunc(){}
//赋值运算符重载定义
myvector<T>& operator = (const myvector<T>&);

//类模版定义之外实现这个赋值运算符重载
template<typename T>
myvector<T>& myvector<T>::operator = (const myvector<T>&);

⚠️ 一个实例化的模版,它的成员函数只有在使用的时候才会被实例化(编写的代码中出现了调用该成员函数的代码)。

2.2.1 普通类的成员函数模版

不管一个普通类,还是一个类模版,它的成员函数本身可以是一个函数模板,这种成员函数称为“成员函数模版”,但是这种成员函数不可以是虚函数,如果写一个虚函数模版,编译器会报错。

class A {
public:
	template<typename T>
	void myft(T tmpt){
		cout << tmpt << endl;
	}
};

在main()函数调用:

A a;
a.myft(3);  //3

2.2.2 类模板的的成员函数模版

类模版,也是可以为它定义成员函数模版的,这种情况就是类模版和其他成员函数模版都有各自独立的模版参数。

看如下范例,注意这里的构造函数也引入了自己的函数模版参数,该模版参数和整个类的模版参数没有任何关系:

template<typename C>
class A
{
public:
	template<typename T2>
	A(T2, v1, T2 v2)//构造函数也引入自己的模版参数T2,和整个类的模版参数C没有任何关系
	{
		.....
	}
	template<typename T>
	void myft(T tmpt)
	{
		cout << tmpt << endl;
	}
	C m_ic;
};

在main主函数中,增加如下代码:

A<float> a1(1, 2); //类模版的模版参数必须用“< >”指定,函数模版的模版参数可以推断
A<float> a2(1.1, 2.2);
a1.myft(3);  //3

从上面的范例可以看到,类模板本身有自己模版参数C,而成员函数模版A、myft也有自己的模版参数T2、T,两者之间互不干扰。

如果要把成员函数模版的实例代码写到类模版定义之外去,怎么写?
范例如下:

首先,在类模板内部写下构造函数模版的声明:

template<typename T2>
A(T2 v1, T2 v2)

然后在类模版定义的下面,书写构造函数模版的实现:

template<typename C> //先跟类模版的模版参数列表,要在排上面(如果排在下面会报错)
template<typename T2> //再跟构造函数模版自己的模版参数列表
A<C>::A(T2 v1, T2 v2)
{
	cout << v1 << v2 << endl;
}

主函数main的代码不变

A<float> a1(1, 2); //实例化了一个A<float>类,并用int型来实例化构造函数
A<float> a2(1.1f, 2.2f);//A<float>已经被上面代码实例化过了,这里用float来实例化构造函数

⚠️(1)类模版中的成员函数,只有源程序代码中出现调用这些成员函数的代码时,这些成员函数才会出现在一个实例化了的类模板中。

⚠️(2)类模版中的成员函数模版,只有源程序代码中出现调用这些成员函数模版的代码时,这些成员函数模版的具体实例才会出现在一个实例化了的类模板中。

2.3、类模版 - 非类型模版参数的使用

模版参数并不局限于类型,普通的值也能作为模版参数,也就是非类型模版参数。

//非类型模版参数有size存在,而且还给了一个默认值
tmplate<typename T, int size = 10>
class myarray{
private:
	T arr[size];	
	void myfunc();
};

tmplate<typename T, int size>
void myarray<T, size>::myfunc()
{
	std::cout << size << std::endl;
}

调用如下:

myarray<int> tmparr;
tmparr.myfunc(); //10

myarray<int, 30> tmparr2;
tmparr2.myfunc(); //30

⚠️ (1)浮点型一般不能作为非类型模版参数

tmplate<typename T, double size>
class myarray{...}

⚠️ (2)类类型也不能作为非类型模版参数

class a{
	... ...
};
tmplate<typename T, a size>
class myarray{...}

2.4、类模版 - 模版的显示实例化与声明

模版只有在使用时才会被实例化;现在我们分析下如下范例。

ca.h头文件内容如下:

#ifndef __CAH__
#define __CAH__

template<typename C>
class A
{
public:
	template<typename T2>
	A(T2 v1, T2 v2);

	template<typename T2>
	void myft(T tmpt)
	{
		std::cout << tmpt << std::endl;
	}
	C m_ic;
};

template<typename C>
template<typename T2>
A<C>::A(T2 v1, T2 v2)
{
	std::cout << v1 << v2 << std::endl;
}
#endif

test.cpp源文件内容如下(注意其中有一个新函数mfunc):

#include <iostream>
#include <vector>
#include "ca.h"

using namespace std;
void mfunc()
{
	A<float> a(1, 2);
}

myproject.cpp源文件内容如下:

#include <iostream>
#include <vector>
#include "ca.h"
using namespace std;

int main()
{
	A<float> a(1, 2);
	A<float> a2(1.1, 2.2);
	a.myft(3); //3
	return 0;
}

这些.cpp对于编译器而言,都是独立编译的(每个.cpp编译后可能生成一个.obj文件,多个.cpp编译后自然生成多个.obj文件。)

所以,当这两个.cpp代码中的“A<float> a(1, 2);”这行代码在编译的时候,都会实例化出一个模版A的实例(既A<float>类 ),可想而知,多个.cpp都会实例化出一个相同的类模板。项目很大,.cpp源文件很多,那么这个额外的开销比较大,增加额外的编译时间是没有必要的。

可以通过“显示实例化”来避免这种生成多个相同类的模版实例的开销。

可以在test.cpp文件头写入如下代码:

模版实例化定义

template A<float>; //这叫“模版实例化定义”,只有一个.cpp文件里这样写,编译器为其生成代码

只需要在其他.cpp的头上声明这个实例化出来的类就行。

模版实例化声明

extern template A<float>; //其他所有.cpp文件都这样写

函数模版也是一样的,代码如下:

在test.cpp中上面的位置这样写:

template void func(int& v1, int& v2); //函数模版实例化定义,编译器会为其生成实例化代码

在myproject.cpp中的上面的位置这样写:

extern template void func(int& v1, int& v2); //函数模版实例化声明

三、模版 - 巧妙使用参数

3.1、函数指针可作为其他函数的参数

定义一个函数:

int mf(int tmp1, int tmp2){
	//... ...
	return 1;
}

定义一个函数指针类型:

//可以在一个头文件中定义一个函数指针类型和函数本本身的参数,返回值类型都一致,这里定义cpp文件开头就可以
typedef int(*FunType)(int, int);

接下来函数指针就可以作为某个函数参数的参数进行传递了,现在定义一个函数:

void testFunc(int i, int j, FunType funcpiont)//最后一个参数为函数指针类型
{
	//可以通过函数指针点用函数
	int result = funcpoint(i, j); //这个就是通过函数指针调用的函数
	cout << result << endl;
}

在main主函数中:

//调用testfunc,其中第三个参数为另一个函数的函数名,函数名被作为函数首地址可以传递到函数testfunc的第三个参数里,
//而testfunc的第三个参数正好是函数指针(函数指针代表函数的首地址)
testfunc(2, 4, mf);

继续观察,在testfunc函数里,因为拿到函数mf的函数指针,所以通过这个指针调用函数mf。接下来说一下函数模版范例,其中的模版参数类型就是一个函数指针类型。

3.2、类的可调用对象作为函数的参数

我们可以把上面的testfunc函数改写成函数模版,如下:

template<typename T, typename F>
void testfunc(const T& i, const T& j, F funcpoint)
{
	cout << funcpoint(i, j) << endl;
}

在main主函数调用testfunc(3, 4, mf);打印结果为1。

系统通过第一个参数3和第二个参数4,推断出testfunc的模版参数T是int类型,推断出模版参数F是函数指针类型,所以funcpoint就是函数指针,从而使用funcpoint来进行函数调用。

可调用对象作为函数模版参数,接下来我们先说一下可调用对象概念。

如果一个类,重载了“()”运算符,那么如果生成了该类的一个对象,就可以用“对象名(参数... ...)的方式来使用该对象,看起来就像函数调用一样,那么用这个类生成的对象就是一种可调用的对象。

class tc
{
publictc(){
		cout << "构造函数执行" << endl;
	}
	//重载圆括号
	int operator(int v1, int v2) const {
		return v1 + v2;
	}
};

在主函数中可加入如下代码:

tc tcobj;
testfunc(3, 4 tcobj); //这里调用拷贝构造函数

函数testfunc的第三个参数传递进去了一个tcobj的对象,系统推断模版参数F的类型应该为tc(类类型),因此testfunc函数模版这里会调用tc类的拷贝构造函数生成一个叫做funcpoint的tc类型的对象。

然后,在testfunc这个函数模版中,代码“cout << funcpoint(i, j) << endl;”实际执行的就是可调用对象(把类当做函数一样调用),也就是tc类中的重载的“()”运算符。所以打印结果为7。

在main()主函数中,现在换一种写法:

testfunc(3, 4, tc());

上面的代码行调用了tc类的构造函数,生成一个tc类的对象(临时对象),直接传递到函数模版testfunc的funcpoint形参里面去了。可以看到,并还没有执行tc类的拷贝构造函数,只执行了一次tc类的构造函数。这说明系统推断F类型。这说明系统F类型应该为tc(类类型),然后直接把代码tc()生成的临时对象构造到funcpoint对象(形参)中去了,这样就节省了一次拷贝构造函数的调用,自然也节省了一次析构函数的调用。这里不在讲述临时对象概念,因为不是重点。

同一函数模版,传入的参数不同,推断出不同的类型,这里:

  • 推断出的是函数指针;
  • 推断出的是可调用的对象。

⚠️ tc类必须是一个可调用的对象,也就是tc类本身必须重载“()”运算符,并且这个运算符里面的参数和返回值类型必须要与函数模版里面进行函数或可调用对象调用时所需要的参数类型以及返回值类型匹配。

3.3、默认模版参数

3.3.1、类模版 - 默认模版参数

类模版默认模版参数范例如下:

template<typename T = string, int size = 5>
class myarray{...};

⚠️调用的时候,如果完全用默认值,则可以直接使用一个空的尖括号(空的尖括号不能省)

myarray<> abc;

一般来讲,在程序中遇到这种类后面带"< >"的形式,都表示这是一个类模版并且使用的默认模版参数。

如果想提供一个模版参数,而另外一个模版参数使用默认值,可以这样写代码:

myarray<int> def;

3.3.1、函数模版 - 默认模版参数

基于上面讲的testfunc现在有如下需求,希望如下的调用方式:testfunc(3, 4); 就可以调用函数模版testfunc。

这时就需要给函数模版提供默认参数,让上面的调用者能够实现调用tc类里面的重载“()”的能力,看应该如何改造,如下:

可调用对象给默认参数,其实tc 可以写成tc():

template<typename T, typename F = tc>
void testfunc(const T& i, const T& j, F funcpoint = F())
{
	cout << funcpoint(i, j) << endl;
}

函数指针给默认参数:

template<typename T, typename F = mf>
void testfunc(const T& i, const T& j, F funcpoint = F())
{
	cout << funcpoint(i, j) << endl;
}

⚠️ (1)必须同时为模版参数和函数模版参数指定默认值,一个也不能少,否则语法不通过且语义也不完整。
⚠️ (2)可调用对象的前提保证就是必须重载“()”运算符。
⚠️ (3)一旦给函数提供了正常的参数,那么默认参数就不起作用了。
⚠️ (4)模版参数F是一个函数指针类型(FuncType),函数参数funcpoint = mf中的mf是函数名,代表函数的首地址。

四、模版 - 模版的全特化与偏特化(局部特化)

什么是特化呢?

例如,写一个类模板或者函数模版,传递进去一个类型模版参数。这个传递进去的类型可以自己制定,但是存在这样一种情况,给进去一个A类型,这个模版能够正常实例化,但是给进去一个B类型,这个模版就无法正常的实例化,如编译报错等。或者换句话说,B类型是一种比较独特的类型,我们要针对这种类型给这个模版做单独的设计和代码编写,原来的这种模版代码(通用模版代码或者叫泛化模版代码)不适合这种比较独特的类型。所以引入了模版特化的概念。

4.1、类模板 - 类模板的全特化

范例如下:

template<typename T, typename U>
struct TC
{
	TC(){
		cout << "TC 泛化版本构造函数" << endl;
	}
	void functest(){
		cout << "TC 泛化版本" << endl;
	}
}

template<> //全特化所有的类型模版参数都用具体类型代表,所以“< >”里就是空了
struct TC<int, int>
{
	TC(){
		cout << "TC<int, int> 特化版本构造函数" << endl;
	}
	//在这里可以对该特化版本做单独的处理
	void functest(){
		cout << "TC 特化版本" << endl;
	}
}

template<> 
struct TC<double, int> 
{
	TC(){
		cout << "TC<double, int> 特化版本构造函数" << endl;
	}
	//在这里可以对该特化版本做单独的处理
	void functest(){
		cout << "TC<double, int> 特化版本" << endl;
	}
}

//特化版本的成员函数
template<>
void TC<double, double>::functest()
{
	cout << "TC<double, double>的functest()特化版本" << endl;
}

如果使用TC类模版并指定了“int, int”或者“double, int”类型,编译器就会执行这些特化版本的代码(特化版本代码具有优先被选择权)。

在main主函数中,写入如下代码:

TC<char, int> tcchar; // TC泛化版本构造函数
tcchar.functest();  // TC 泛化版本

TC<int, int> tcint; // TC<int, int> 特化版本构造函数
tcint.functest(); // TC 特化版本         

TC<double, int> tcdouble;  // TC<double, int> 特化版本构造函数
tcdouble.functest();  // TC<double, int> 特化版本

TC<double, double> tdbldbl; // TC泛化版本构造函数
tdbldbl.functest(); // TC<double, double>的functest()特化版本

⚠️ 对于特化版本的成员函数,tdbldbl对象执行的构造函数是泛化版本,但是调用functest时调用的依旧是“double, double”的functest的特化版本。

4.2、类模板 - 类模板的偏特化

4.2.1、模板参数数量上的偏特化

部分参数指定了类型。

范例如下:

template<typename T, typename Utypename W>
struct TCP
{
	TCP(){
		cout << "TCP 泛化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCP 泛化版本" << endl;
	}
}

//模板参数数量上的偏特化
template<typename U>
struct TCP<int, U, double>
{
	TCP(){
		cout << "TCP<int, U, double> 偏特化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCP<int, U, double> 偏特化版本" << endl;
	}
}

在main主函数中,写入如下代码:

TCP<double, int, double> tcpdi;   //TCP 泛化版本构造函数
tcpdi.functest();         //TCP 泛化版本

TCP<int, int, double> tcpdi;   //TCP<int, U, double> 偏特化版本构造函数
tcpdi.functest(); //TCP<int, U, double> 偏特化版本

4.2.2、模板参数范围上的偏特化

就是任意类型的范围变小了。

范例如下:

template<typename T>
struct TCF
{
	TCF(){
		cout << "TCF 泛化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCF 泛化版本" << endl;
	}
}

//模板参数范围上的偏特化 (const T 特化版本)
template<typename T>
struct TCF<const T>  //const 特化版本
{
	TCF(){
		cout << "TCF<const T> 特化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCF<const T> 特化版本" << endl;
	}
}
//模板参数范围上的偏特化 (T * 指针特化版本)
template<typename T>
struct TCF<T*>  //T * 特化版本
{
	TCF(){
		cout << "TCF<T*>  特化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCF<T*>  特化版本" << endl;
	}
}

//模板参数范围上的偏特化 (T & 左值引用特化版本)
template<typename T>
struct TCF<T&>  //T & 特化版本
{
	TCF(){
		cout << "TCF<T&>   特化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCF<T&>   特化版本" << endl;
	}
}
//模板参数范围上的偏特化 (T && 右值引用特化版本)
template<typename T>
struct TCF<T&&>  //T & 特化版本
{
	TCF(){
		cout << "TCF<T&&>   特化版本构造函数" << endl;
	}
	void functest(){
		cout << "TCF<T&&>   特化版本" << endl;
	}
}

在main函数中,写入代码如下:

TCF<double> td;   //TCP 泛化版本构造函数
tcpdi.functest();         //TCP 泛化版本

TCF<double *> tcfd;   //TCF<T*>  特化版本构造函数
tcfd.functest();         //TCF<T*>  特化版本

TCF<const int> tcfi;   //TCF<const T> 特化版本构造函数
tcfi.functest();         //TCF<const T> 特化版本

TCF<int&> tcfyi;   // TCF<T&>   特化版本构造函数
tcfyi.functest();         //TCF<T&>   特化版本

TCF<int&&> tcfyii;   //TCF<T&&>   特化版本构造函数
tcfyii.functest();         //TCF<T&&>   特化版本

4.3、函数模板 - 函数模板的全特化

template<typename T, typename U>
void tfunc(T& tmprv, U& tmprv2)
{
	cout << "tfunc 泛化版本" << endl;
	cout << tmprv << endl;
	cout << tmprv2 << endl;
}

template<> //全特化“< >”里是空的
void tfunc(int& tmprv, double& tmprv2) //替换原来的T,U,这格式要与泛化版本一一对应,不然编译就会报错,例如第二个参数写成double tmprv2就会报错
{
	cout << "tfunc<int, double> 特化版本" << endl;
	cout << tmprv << endl;
	cout << tmprv2 << endl;
}

在mian主函数中,写入如下代码:

const char *p = "I love china";
int i = 12;
tfunc(p, i); //这里调用泛化版本

int k = 12;
double db = 15.8f;
tfunc(k, db);  //这里调用特化版本

全特化实际等价于实例化一个函数模版,并不等价于一个函数重载。
看看如下两行代码:

//全特化长这样,等价于实例化一个函数模板
void tfunc<int, double>(int& tmprv, double& tmprv2){...} 
//重载函数长这样
void tfunc(int& tmprv, double& tmprv2){...}  

此时,执行"tfunc(k, db);", 就不会调用模版的全特化版本,而是去调用重载函数。

所以,顺序是先选择普通函数,再选择特化版本,最后选在泛化版本。

4.4、函数模板 - 函数模板能偏特化吗?

答案:不能,函数模板能偏特化。

4.5、模版特化版本放置位置建议

模版的定义与实现一般都放在.h文件中,模版的特化版本一般都放在泛化版本的后面即可。

五、模版 - 可变参数模版

5.1、类模板 - 可变参数模版

5.1.1、可变参函数模版 - 定义

可变参数模版允许模版中的定义中含有0到多个(任意个)模版参数,这种模版在语法上也和传统的模版不太一样,多了个". . . "符号,这个符号代表省略号的意思。

范例如下:

template<typename... T>
void myfunc1(T... args)
{
	//sizeof...属于固定语法,用在可变参数模版内部,
	//用来表示收到的模版参数个数,只能针对这种...的可变参数
	cout << sizeof...(args) << endl;
	//本行与上行的效果是一样的
	cout << sizeof...(T) <<endl;
}

在main主函数中加入如下代码:

myfunc1(); // 0
myfunc1(10, 20); // 2 
myfunc1(10, 25, "abc", 68); // 4,注意参数类型不同

有几点说明一下:

(1)一般把上面的args称为一包或者一堆参数,而且每个参数的类型可以各不相同。所以理解T这个名字的时候,不能把它理解成一个类型,而且要理解成0到多个不同的类型。

(2)这包参数中可以容纳0到多个模版参数,而且这些模版参数的类型可以为任意的类型。

(3)T:称为可变参数类型,一包类型(里面包含的是0到多个不同的类型)。

(4)args:称为可变形参,代表一包形参。

看如下范例:

template<typename T, typename... U>
void myfunct2(const T& firstarg, const U& ...otherargs)
{
	//编译错误,说明sizeof...只能用在一包类型或者一包形参上
	//cout << sizeof...(firsttarg) << endl;
	cout << sizeof...(otherargs) << endl;
}

在mian主函数加入如下代码:

//语法错误,必须要有一个firstarg
//myfunct2(); 

//firstarg对应第一个参数,因为没有其他参数,
//所以 sizeof...(otherargs) = 0
myfunct2(10);

//firstarg对应第一个参数,剩余两个参数,
//所以 sizeof...(otherargs) = 2
myfunct2(10, "abc", 12.7); 

5.1.2、可变参函数模版 - 参数包的展开

一般都是递归函数的方式展开参数包,这种方式展开参数包,要求在代码编写中有一个参数包展开函数和一个同名的递归终止函数,通过这两个函数把参数包展开。

为了在参数包展开时引入更多的复杂的代码,一般会把可变参函数模版写成这样的范例的形式:void myfunct2(const T& firstarg, const U& ...otherargs)

这种形式的可变参数模版,具备如下特点

(1)带一个单独的参数;
(2)后面跟一个“一包参数”。

因为最适合参数包展开,建议书写可变参数模版时一个单独参数跟着一包参数。

范例如下(看代码备注):

//(1) 一个同名的递归终止函数(是一个函数,不是函数模版)。
// 一般带0个参数的同名函数,就是递归终止函数 
// 因为参数是被一个一个剥离,剥离后,参数个数就为0个,所以此时会调用这个版本的函数
void myfunct2()  //是一个普通函数,不是函数模版
{
	cout << “参数包展开时执行了递归终止函数myfunct2()" << endl;
}

//(2) 参数包展开函数
template<typename T, typename... U>
void myfunct2(const& firstarg, const U& ...otherargs)
{
	cout << "收到的参数值为:" << firstarg << endl;
	myfunct2(otherargs...); //递归调用,注意塞进来的是一包形参,这里...不能省略
}

在main主函数中

myfunct2(10, "abc", 12.7);

执行起来,看结果

收到的参数值为:10
收到的参数值为:abc
收到的参数值为:12.7
参数包展开时执行了递归终止函数myfunct2()

解释一下结果:

(1)第一次调用myfunct2,firstarg拿到了10,剩余两个参数otherargs拿到了,输出10;

(2)第二次调用myfunct2,otherargs里面的2个参数一个被拆分给了firstarg,剩余一个被otherargs拿到了,输出abc;

(3)以此类推,每次调用myfunct2,otherargs里的参数就会减少一个,最终当这一包参数为空的时候,firstarg和otherargs都为空,就会调用void myfunct2(),就能看到终止函数执行了。

5.1.3、可变参类模版 - 通过递归继承方式展开参数包

可变参数类模板参数包展开方式和可变函数模版不一样。

看一下可变参数类模版的范例,先写一个可变参数了类模版的偏特化:

//主模版定义(泛化版本的类模板)
template<typename... Args>
class myclasst
{
public:
	myclasst()
	{
		printf("myclass::myclasst()泛化版本执行了,this = %p\n", this);
	}
	
};

template<>
class myclasst<>
{
public:
	myclasst()
	{
		printf("myclasst<>::myclasst()特殊的特化版本执行了,this = %p\n", this);
	}
	
};

template<typename First, typename... Others>
class myclasst<First, Others...>: private myclass<Others...> //偏特化
{
public:
	myclasst() :m_i(0)
	{
		printf("myclasst::myclasst()偏特化版本执行了,this = %p, sizeof...(Others) = %d\n", this, sizeof...(Others));
	}
	
	myclasst(First part, Others... paro) :m_i(part), myclass<Others..>(paro...)
	{
		printf("myclass::myclass(part, ...paro)执行了, this = %p\n", this);
		cout << "m_i = " << m_i << endl;
	}

	First m_i;
};

在main函数运行

myclasst<int, float, double> myc(12, 13.5, 23);

结果如下:

myclasst<>::myclasst()特殊的特化版本执行了,this = 0122EEF54
myclass::myclass(part, ...paro)执行了, this = 0122EEF54
m_i = 23
myclass::myclass(part, ...paro)执行了, this = 0122EEF54
m_i = 13.5
myclass::myclass(part, ...paro)执行了, this = 0122EEF54
m_i = 12

5.1.4、可变参类模版 - 通过递归组合方式展开参数包

template<typename First, typename... Others>
class myclasst<First, Others...>
{
public:
	myclasst() :m_i(0)
	{
		printf("myclasst::myclasst()偏特化版本执行了,this = %p, sizeof...(Others) = %d\n", this, sizeof...(Others));
	}
	
	myclasst(First part, Others... paro) :m_i(part), m_o<paro..>(paro...)
	{
		printf("myclass::myclass(part, ...paro)执行了, this = %p\n", this);
		cout << "m_i = " << m_i << endl;
	}

	First m_i;
	myclasst<Others...>m_o;
};

在main函数运行

myclasst<int, float, double> myc(12, 13.5, 23);

结果如下:

myclasst<>::myclasst()特殊的特化版本执行了,this = 002AFD04
myclass::myclass(part, ...paro)执行了, this = 002AFCFC
m_i = 23
myclass::myclass(part, ...paro)执行了, this = 002AFCF4
m_i = 13.5
myclass::myclass(part, ...paro)执行了, this = 002AFCEC
m_i = 12

5.1.5、可变参类模版 - 通过递归tuple和调用方式展开参数包

//mycount用于统计,从0开始,mymaxcount表示参数的数量,可以用sizeof...取得
template<int mycount, int mymaxcount, typename... T>
class myclasst2
{
public:
	//下面的静态函数借助tuple(类型),借助get(函数)就能够把每个参数提取出来
	static void mysfunc(const typle<T...>& t) //静态函数,注意,参数是tuple
	{
		//可以把每个参数提取出来并输出
		cout << "value = " << get<mycount>(t) << endl;
		//计算每次+1,这里是递归调用,调用自己
		myclasst2<mycount + 1, mymaxcount, T...>::mysfunc(t);
	}
};
//必须有一个特化版本,必须结束递归调用
//偏特化版本,用于结束递归调用
template<int mymaxcount, typename... T>
class myclasst2<mymaxcount, mymaxcount, T...> //注意”< >“中的两个都是mymaxcount
{
public:
	static void mysfunc(const typle<T...>& t)
	{
		//这里其实不用干哈,因为基数为0、1、2使用泛化版本里的myfunc处理,到这里的时候是3,不用做处理
	}
};

主函数mian中的代码如下:

template<typename... T>
void myfunctuple(const tuple<T...>& t)
{
	myclasst2<0, sizeof..(T), T..>::mysfunc(t); //注意第一参数是0,表示计数从0开始
}


tuple<float, int, int> mytuple(12.5f, 100, 52);
myfunctuple(mytuple);

接下来,看下结果:

value = 12.5;
value = 100;
value = 52

5.2、类模板 - 模版模版参数

模版模版参数范例如下:


template<typename T, template<class> class Container>
class myclass
{
public:
	T m_i;
	Container<T> myc;
};

也可以改成 <typename T, template<typename> typename Container>

六、using定义模版别名

(1)typedef一般定义类型别名,using呢?如下:

typedef unsigned int uint_t;
typedef std::map<std::string, int> map_s_i;

//使用using
using uint = unsigned int

看看如下的类型模版:

template<typename wt>
struct map_s
{
	typedef std::map<std::string, wt> type; //定义了一个类型
}
//在main函数中使用
map_s<int>::type map1;
map1.instert({"first", 1});

使用using ,不用定义类模版了,如下两行就能解决问题:

template<typename T>
using str_map_t = std::map<std::string, T>

//在main函数中使用
str_map_t<int> map1;
map1.instert({"first", 1});

(2)typedef一般定义函数指针类型,using呢?如下:

//typedef
typedef int(* FunType)(int, int);
//using
using FunType = int(*)(int, int);

看看使用using如何定义类型相关模版?

template< typename T>
using myfunc_M = int( * )( T ,  T );

//在main函数中
myfunc_M<int> pointFunc; //函数指针

int RealFunc(int j, int j)
{
	return 3;
}
pointFunc = RealFunc;
cout << pointFunc(1, 6) << endl;

七、小结

也不知道总结什么,多学,多练吧!加油!

评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Allen.Su

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值