【C++模板】

最新推荐文章于 2024-06-15 10:30:23 发布

LRBORRR

最新推荐文章于 2024-06-15 10:30:23 发布

阅读量691

点赞数 7

文章标签： c++

本文链接：https://blog.csdn.net/l2894/article/details/135866933

版权

文章目录

泛型编程

泛型编程

在程序设计中，经常会遇到一些问题：程序实现功能相同，但涉及的数据类型不同，又什么办法解决这种程序的冗余呢，模板就是一种处理遇到上述问题时的方略。
模板是泛型编程的基础。泛型编程：编写与类型无关的通用代码，从而实现代码的复用。

函数模板

格式：
template<typename T1, typename T2…>
返回值函数名(函数参数){}

typename和class都是定义模板参数关键字
template<class T>
T Add(const T& a, const T& b)
{
	return a + b;
}

template<typename T>
void func(const T& val)
{
	cout << val << '\n';
}

int main()
{
	cout << Add(string("hello "), string("world")) << endl;
	func(1.1);
	func(100);
	return 0;
}

函数模板是一个蓝图，它本身不是函数，是编译器使用方式产生特定类型函数的摸具。所以其实模板就是将本来应该我们做的事交给了编译器。
在编译器编译期间，编译器根据传入的参数类型来生成对应类型的函数。

函数模板的实例化

1.隐式实例化：让编译器根据实参推演模板参数的实际类型
注意：在模板中，编译器一般不会进行类型转换操作，所以不能通过隐式类型转换传递给编译器两个不同的类型

2.显示实例化：在函数名后的<>中指定模板参数的实际类型
如果类型不匹配，编译器会尝试进行隐式类型转换

模板参数的匹配：
在这里插入图片描述

1.一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函
数
2.对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模
板产生出一个实例。如果模板可以产生一个具有更好匹配的函数，那么将选择模板
3.模板函数不允许自动类型转换，但普通函数可以进行自动类型转换
总结一下：有现成的就用现成的，有更匹配的就用更匹配的

类模板

格式
template<class T1, class T2…>
class 类模板名
{
};

template<class T>
class Stack
{
public:
	//...
private:
	//...
};

类模板的实例化

在这里插入图片描述

类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可。
类名不是类型，类名+实例化的参数才是类型

非类型模板参数

模板参数类型分为类型形参和非类型形参
非类型形参就是用一个常量作为类模板的一个参数，在类模板/函数模板中可以将该形参当成常量来使用
非类型模板参数只能是整形家族的

template<class T, size_t N = 10>
class Stack
{
	//...
private:
	T _a[N];
	size_t top;
	size_t capacity;
};

int main()
{
	Stack<int> st1;
	Stack<int, 100> st2;

	return 0;
}

模板的特化

函数模板特化：

必须要先有一个基础的函数模板
关键字template后面接一对空的尖括号<>
函数名后跟一对尖括号，尖括号中指定需要特化的类型

template<class T>
T Add(const T& a, const T& b)
{
	return a + b;
}

//特化
template<>
int Add<int>(const int& a, const int& b)
{
	return a + b;
}

类模板特化和函数模板特化类似

类模板特化：

必须要先有一个基础的类模板
关键字template后面接一对空的尖括号<>
类名后跟一对尖括号，尖括号中指定需要特化的类型

//原模版
template<class T1, class T2>
class A
{
public:
	A()
	{
		cout << "A() --- T1, T2" << endl;
	}
};
//全特化
template<>
class A<int, int>
{
public:
	A()
	{
		cout << "A() --- int, int" << endl;
	}
};
//偏特化，指定部分参数
template<class T2>
class A<int, T2>
{
public:
	A()
	{
		cout << "A() --- int, T2" << endl;
	}
};
//偏特化，限制参数类型
template<class T1, class T2>
class A<T1*, T2*>
{
public:
	A()
	{
		cout << "A() --- T1*, T2*" << endl;
	}
};

int main()
{
	A<int, int> a1;        //A() --- int, int
	A<int, double> a2;     //A() --- int, T2
	A<char, double> a3;    //A() --- T1, T2
	A<int*, double*> a4;   //A() --- T1*, T2* 

	return 0;
}