Templates基础

Post author:xfxia
Post published:2023年4月24日
Post category:其他

一、Function Template (函数模板）

1.编译器推导模板参数、显示实例化模板参数(也可半显示半推导，从到后)
2.重载函数模板

二、Class Template(类型模板)

1.特化
2.偏特化 (某个宣告式与多个偏特化产生同等的匹配程度，则歧义)
3.预设模板参数

三、Nontype Template Parameters(非类型模板参数)

1.非类型类型模板参数
2.非类型函数模板参数
不能把浮点数、class-type物件、内部连接物件(string、字符常量)作为非类型模板参数

四、高阶基本技术

1.typedef typename _Val_types::pointer pointer;
2.this->(不理解)
3.Member Function Templates(成员函数模板)

//示例：
		template <typename T,typename CONT = std::deque<T>>
		class Stack{
		private:
		CONT elemes;
		public:
			template<typename T2>
			Stack<T>& operator= (Stack<T2> const&);
		};

4.Template Template Parameters(双重模板参数)

//示例：
		template <typename T,
			typename <typename ElEM,
					typename ALLOC = std::allocate<ElEM> >
					class CONT = std::deque>
		class Stack{
		private:
		CONT<T> elemes;
		public:
			T top()const;
		};

5.零值初始化(int、double、pointer等无构造函数的基本类型)

T X();

6.模板不支持分离编译
不同模块可能实例化出多个相同版本
失去分离编译+链接的优势
编译时间更长

7.export关键字可使模板的使用和定义分隔在不同编译单元
适用于函数模板、成员函数模板、类模板的成员函数和静态函数
不可以和inline同时使用
但使用处所有的实例化都要重新编译，兼容性可能不好，还是推荐内置式编程

8.防止Templates出错

class thread
{
	template<class _Fn,
	class... _Args,
	class = typename enable_if<
		!is_same<typename decay<_Fn>::type, thread>::value>::type>
	explicit thread(_Fn&& _Fx, _Args&&... _Ax)
	{}
}

五、基本术语

函数模板、类模板、具现化（隐式、显示）、特化（全特化、偏特化）
全特化的实作不必与泛化定义有任何关系

六、基础技术更深入

1.Member Function Templates不可以是虚函数，Class Template Member可以是虚函数
整个代码编译完成才知道有多少个成员函数模板被实例化，单个成员函数模板被实例化多少种，而虚函数表是固定的
2.Function Template和Class Template导出dll时，需要全特化版模板类型

有错误或不足欢迎评论指出！创作不易，转载请注明出处。如有帮助，记得点赞关注哦(⊙o⊙)
更多内容请关注个人博客：https://blog.csdn.net/qq_43148810

原文链接：https://blog.csdn.net/qq_43148810/article/details/124580447