C++:模板

最新推荐文章于 2022-11-21 23:16:02 发布

黑米姐姐

最新推荐文章于 2022-11-21 23:16:02 发布

阅读量157

点赞数

分类专栏： # C++

本文链接：https://blog.csdn.net/qq_41809901/article/details/99090096

版权

C++ 专栏收录该内容

25 篇文章 1 订阅

订阅专栏

模板—>例子：照葫芦画瓢

一般我们是如何生成通用的加法函数？
例如：

int Add(int left, int right)
{
	return left + right;
}
double Add(double left, double right)
{
	return left + right;
}
short Add(short left, short right)
{
	return left + right;
}

使用函数重载虽然可以实现，但是有一下几个不好的地方：
1、重载的函数仅仅只是类型不同，代码的复用率比较低，只要有新类型出现时，就需要增加对应的函数
2、代码的可维护性比较低，一个出错可能所有的重载均出错
那么是否可以告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码？
泛型编程：编写与类型无关的通用代码，是代码复用的一种手段，模板是泛型编程的基础。

函数模板
函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。
函数模板格式是：
template<typename T1, typename T2,…,typename Tn>
返回值类型函数名(参数列表){}
例如：

template<typename T>//函数模板
T Add(T left,T right)
{
	return left + right;
}

注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
函数模板的原理：
在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。
函数模板实例化：
用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。
例如：

template<typename T>//函数模板
T Add(const T& left,const T& right)
{
	cout << typeid(right).name() << endl;
	return left + right;
}
int main()
{
	//隐式实例化
	cout << Add(1, 2) << endl;//在编译期间，必须推演实参的类型来确定模板参数列表中的T，根据确定的T的结果来生成代码
	cout << Add(12.3, 4.56) <<endl;
	//cout << Add((double)1, 2.3) << endl;
	//或者
	cout << Add<double>(1, 2.3) << endl;//显式实例化,明确指定T的类型为double
	//尝试进行隐式类型转换
	//Add<double>("hello", 1.0);//错误，转换失败
	return 0;
}

隐式实例化就是没有直接指明T的实际类型，T的类型需要进行参数推演才可以确定，在编译期间，根据实例化实参的类型，推演模板参数列表中T的实际类型，根据推演的实际类型生成处理实际类型的具体函数，而显式实例化就是明确指定T的实际类型，注意：模板类型参数尽量设置成引用类型+如果不需要通过形参改变外部实参，加上const。
再比如：

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}
class Complex
{
public:
	Complex(double real, double image)
		:_real(real)
		, _image(image)
	{}
	/*Complex operator+(const Complex& c)const
	{
		Complex ret(_real + c._real, _image + c._image);
		return ret;
	}*/
	//优化
	Complex operator+(const Complex& c)const
	{
		return Complex (_real + c._real, _image + c._image);//无名对象
	}
private:
	double _real;
	double _image;
};
int main()
{
	Add(1, 2);
	Add(2.3, 4.5);
	Add('1', '2');
	Add(1, (int)2.7);
	Complex c1(1.0, 2.0);
	Complex c2(3.0, 4.0);
	Add(c1, c2);//处理自定义类型时如果遇到此类问题，进行运算符重载
	return 0;
}

在处理自定义类型时，要注意运算符重载的问题。

模板参数的匹配原则
1、一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数
例如：

int Add(int left, int right) 
{
	return left + right;
}
template<class T>//函数模板
T Add(const T& left, const T& right)
{
	return left + right;
}
int main()
{
	Add(1, 2);
	Add <int>(1, 2);
	return 0;
}

2、对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数，那么将选择模板。
例如：

int Add(int left, int right)
{
	return left + right;
}
template<class T1,class T2>
T1 Add(const T1& left, const T2& right)
{
	return left + right;
}
int main()
{
	Add(1, 2);
	// 与非函数模板类型完全匹配，不需要函数模板实例化
	Add(1, 2.0); 
	// 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函数
	return 0;
}

3、函数模板不允许自动类型转换，但普通函数可以进行自动类型转换

类模板
例如：

template<class T>
class SeqList
{
public:
	SeqList(size_t capacity = 10)//构造函数
		:_array(new T[capacity])
		, _capacity(capacity)
		, _size(0)
	{}
	SeqList(size_t n, const T& data = T())//T()为构造函数
		:_array(new T[n])
		, _capacity(n)
		,_size(n)
	{
			for (size_t i = 0; i < _capacity; ++i)//不能用memset
			{
				_array[i] = data;
			}
	}
	~SeqList()
	{
		if (_array)
		{
			delete[]_array;
			_array = nullptr;
			_capacity = 0;
			_size = 0;
		}
	}
	void PushBack(const T& data);//尾插
	void PopBack();//尾删
	size_t size()const
	{
		return _size;
	}
	size_t capacity()const
	{
		return _capacity;
	}
	bool Empty()const
	{
		return 0 == _size;
	}
	T& operator[](size_t index)//下标运算符重载
	{
		assert(index < _size);
		return _array[index];
	}
	const T& operator[](size_t index)const//返回值类型加上const
	{
		assert(index < _size);
		return _array[index];
	}
private:
	T* _array;
	size_t _capacity;
	size_t _size;
};
// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template<class T>
void SeqList<T>::PushBack(const T&data)
{
	//_ChackCapacity()
	_array[_size++] = data;
}
template<class T>
void SeqList<T>::PopBack()
{
	if (0 == _size)
		return;
	_size--;
}
int main()
{
	SeqList<int> s1;
	s1.PushBack(1);
	s1.PushBack(2);
	s1.PushBack(3);
	s1.PushBack(4);
	s1[0] = 10;
	cout << s1.size() << endl;
	cout << s1.capacity() << endl;
	cout << s1[3] << endl;
	SeqList<double> s2;
	s2.PushBack(1.0);
	s2.PushBack(2.0);
	s2.PushBack(3.0);
	s2.PushBack(4.0);
	cout << s2.size() << endl;
	cout << s2.capacity() << endl;
	s2[0] = 9.0;
	cout << s2[0] << endl;


	const SeqList<int> s3(10,5);//放10个值为5的元素
	//cout << s3[5] << endl;//不能得到,错误,因为const类型的对象不能调用普通的下标运算符重载
	
	//s3[5] = 10;//按理上const类型的对象不能修改，但是却可以修改
	//重新进行运算符重载,应该运算符重载的返回值结果不能被修改，返回值类型加上const
	system("pause");
	return 0;
}

注意：
1、类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。
例如：

Seqlist<int> s1;
SeqList<double> s2;

2、类模板中函数放在类外进行定义时，需要加模板参数列

非类型的模板参数
例如：

//非类型模板参数
namespace Daisy
{
	template <class T,size_t N=10>
	class array
	{
	public:
		T& operator[](size_t index)
		{
			return _array[index];
		}
		T& operator[](size_t index)const
		{
			return _array[index];
		}
		size_t size()const
		{
			return _size;
		}
		bool empty()const
		{
			return 0 == _size;
		}
	private:
		T _array[N];
		size_t _size; 
	};
}

值得注意的是：N是一个常量，浮点数、类对象以及字符串是不允许作为非类型模板参数的；

模板的特化
特化的概念：对模板中的类型参数进行特殊化的处理
1、函数模板的特化，例如：

template <class T>
bool IsEqual(T& left, T& right)
{
	return left == right;
}
int main()
{
	char* ptr1 = "hello";
	char* ptr2 = "world";
	if (IsEqual(ptr1, ptr2))
		cout << ptr1 << endl;
	else
		cout << ptr2 << endl;
	return 0;
}

此时需要对模板进行特化，，也就是在原模板类的基础上，针对特殊类型进行特殊化，首先介绍函数模板特化，函数模板特化的步骤：
（1）拥有一个基础的函数模板
（2）template后跟<>
（3）函数名后跟<>，<>中指定需要特化的类型
（4）函数参数列表必须与模板基础参数类型相同
主要介绍类模板特化：
类模板特化分为全特化和偏特化，全特化是对模板参数列表中所有的参数进行特化，例如：

//类模板特化：全特化
template <class T1,class T2>
class S
{
public:
	S()
	{
		cout << "S(T1,T2)" << endl;
	}
private:
	T1 _s1;
	T2 _s2;
};
template<>
class S<int, char>
{
public:
	S()
	{
		cout << "S<int,char>" << endl;
	}
private:
	T1 _s1;
	T2 _s2;
};
int main()
{
	S<int, int> s1;
	S<int, char> s2;
	return 0;
}

偏特化：将模板参数列表的部分参数特化，例如：

//基础版本
template <class T1,class T2>
class S
{
public:
	S()
	{
		cout << "S<T1,T2>" << endl;
	}
private:
	T1 _s1;
	T2 _s2;
};
//偏特化
//部分特化
template <class T1>
class S<T1, int>
{
public:
	S()
	{
		cout << "S<T1,int>" << endl;
	}
private:
	T1 _d1;
	int _d2;
};
//对模板参数进一步限制
//将两个参数偏特化为指针类型
template <class T1,class T2>
class S<T1*, T2*>
{
public:
	S()
	{
		cout << "S<T1*,T2*>" << endl;
	}
public:
	T1 _s1;
	T2 _s2;
};
//将两个参数偏特化为引用类型
template <class T1,class T2>
class S<T1&, T2&>
{
public:
	S(const T1& s1,const T2& s2)
		:_s1(s1)
		, _s2(s2)
	{
		cout << "S<T1&,T2&>" << endl;
	}
private:
	const T1& _s1;
	const T2& _s2;
};
int main()
{
	S<double, int> s1;//调用特化的int版本
	S<int, double> s2;//调用基础版本
	S<int* ,int*> s3;//调用偏特化指针版本
	S<int&, int&> s4(1, 2);//引用版本
	return 0;
}

注意：函数模板并不支持偏特化，但是由于可以对函数进行重载，所以可以达到类似于类模板偏特化的效果

类型萃取
它是模板特化衍生出的概念，就是萃取某一特定类型，将该类型进行特殊的处理，来提高运行效率，例如实现通用的拷贝函数，我们一般这样实现：

template <class T>
void Copy(T* dst, const T* src, size_t size)
{
	memcpy(dst, src, sizeof(T)*size);
}
int main()
{
	string str1[3] = { "aa", "bb", "cc" };
	string str2[3];
	Copy(str2, str1, 3);
	return 0;
}

虽然这样的代码对于任意类型都可以拷贝，但是对于自定义类型的对象，可能会出错，因为自定义类型的对象可能会出现深拷贝的情况（例如string），如果对象中涉及到资源的管理，可以使用赋值的方法，例如：

template <class T>
void Copy(T* dst, const T* src, size_t size)
{
	for (size_t i = 0; i < size; ++i)
	{
		dst[i] = src[i];
	}
}

但是使用这种方法的效率比较低，那么我们可不可以让这两种方法结合起来，如果是内置类型，就是用memcpy的方法，如果是自定义类型，就是用赋值的方法，我们可以增加一个bool类型，来区分哪种类型，例如：

template <class T>
void Copy(T* dst, const T* src, size_t size,bool IsPodtype)
{
	if (IsPodtype)
	{
		memcpy(dst, src, sizeof(T)*size);
	}
	else
	{
		for (size_t i = 0; i < size; ++i)
		{
			dst[i] = src[i];
		}
	}
}

但是这种方法需要用户根据所拷贝元素的类型来传递IsPodtype参数，容易出错，因此我们可以实现区分自定义类型和内置类型的函数，例如：

bool IsPodtype(const char* strType)
{
	const char* arrType[] = { "char", "short", "int", "long", "long long", "float", "double", "long double" };
	//所有内置类型放进一个指针数组
	for (int i = 0; i < sizeof(arrType) / sizeof(arrType[0]); ++i)
	{
		if (strcmp(strType, arrType[i])>0)//说明传的是内置类型
		{
			return true;
		}
	}
	return false;
}
template <class T>
void Copy(T* dst, const T* src, size_t size)
{
	if (IsPodtype(typeid(T).name()))//说明是内置类型
	{
		memcpy(dst, src, sizeof(T)*size);
	}
	else
	{
		for (size_t i = 0; i < size; ++i)
		{
			dst[i] = src[i];
		}
	}
}
int main()
{
	string str1[3] = { "aa", "bb", "cc" };
	string str2[3];
	Copy(str2, str1, 3);
	return 0;
}

类型萃取就是类似于这样的实现原理，为了将内置类型与自定义类型分开，例如：

struct TrueType//代表内置类型
{
	static bool Get()
	{
		return true;
	}
};
struct FalseType//代表自定义类型
{
	static bool Get()
	{
		return false;
	}
};
template <class T>
struct TypeTraits//用于自定义类型访问
{
	typedef FalseType IsPodType;
};
//对所有内置类型进行特化
template<>
struct TypeTraits<char>
{
	typedef TrueType IsPodType;
};
template<>
struct TypeTraits<short>
{
	typedef TrueType IsPodType;
};
template<>
struct TypeTraits<int>
{
	typedef TrueType IsPodType;
};
template<>
struct TypeTraits<float>
{
	typedef TrueType IsPodType;
};
template <class T>
void Copy(T* dst, const T* src, size_t size)
{
	if (TypeTraits<T>::IsPodType::Get())//说明是内置类型
	{
		for (int i = 0; i < size; ++i)
		{
			dst[i] = src[i];
		}
	}
	else
		memcpy(dst, src, sizeof(T)*size);
}
int main()
{
	int arr1[] = { 1, 2, 3, 4, 5, 7 };
	int arr2[6];
	Copy(arr2, arr1, 6);

	string s1[] = { "aaa", "bbb", "ccc" };
	string s2[3];
	Copy(s2, s1, 3);
	return 0;
}

模板分离编译
概念：一个工程中，能有多个源文件，每个源文件是单独编译生成目标文件obj文件，最后将所有目标文件链接起来形成单一的可执行文件叫做分离编译；
模板并不支持分离编译，例如工程中有两个源文件add.cpp和main.cpp，一个头文件，在编译阶段，源文件是单独编译的，头问价不参与编译（在预处理阶段已经展开），导致在add.cpp文件中，编译器看他的add模板函数没有实例化，不会生成具体的add函数，而在main.cpp文件中，当执行add加法语句时，由于编译器没有生成具体的加法函数，因此找不到对应的函数来执行语句，链接错误；
解决的方式：
（1）将函数模板的定义放到一个文件中，可以写成.hpp或者.h文件
（2）将模板显式实例化，不推荐使用
模板的优点和缺点
优点：
模板复用了代码，节省了资源，可以更快的进行迭代开发；
模板增强了代码灵活性
缺点：导致编译时间边长，可能导致代码膨胀；
模板编译如果发生错误，很难定位到错误；
源代码（github）：
https://github.com/wangbiy/C-/tree/master/test-2019_9_4_1/test-2019_9_4_1

黑米姐姐

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
C++:模板

一般我们是如何生成通用的加法函数？例如：int Add(int left, int right){ return left + right;}double Add(double left, double right){ return left + right;}short Add(short left, short right){ return left + right;...
复制链接

扫一扫