C++ 模板初阶

功德箱我每年都投

已于 2023-04-16 11:14:40 修改

阅读量672

点赞数 2

分类专栏： C++从入门到入土文章标签： c++

于 2023-04-15 19:22:16 首次发布

本文链接：https://blog.csdn.net/qq947467490/article/details/130142228

版权

C++从入门到入土专栏收录该内容

9 篇文章 3 订阅

订阅专栏

3.类模板的使用（以顺序表[部分功能]为例）

4.类模板的实例化

一、函数模板

1.函数模板的概念

函数模板不是一个实在的函数，编译器不能为其生成可执行代码。定义函数模板后只是一个对函数功能框架的描述，当它具体执行时，将根据传递的实际参数决定其功能。
函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

template<typename T>
T Add(T a, T b) {
    return a + b;
}

2.函数模板的定义

template<typename T1, typename T2,…,typename Tn>

注意: typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)。

示例如下：

//...
void swap(T& left, T& right)
{
	T temp = left;
	left = right;
	right = temp;
}

//...
int a = 10;
int b = 20;
swap(a, b);
std::cout << a << " " << b << std::endl;

double c = 1.6;
double d = 2.4;
swap(c, d);
std::cout << c << " " << d << std::endl;

char e = 'a';
char f = 'b';
swap(e, f);
std::cout << e << " " << f << std::endl;

结果：

20 10
2.6 1.2
b a

3.函数模板的原理

在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。

4.函数模板的实例化

函数模板实例化是指在使用函数模板时，将其具体化为一个实际的函数。在函数模板的定义中，我们使用了一些通用的类型或值作为函数参数，这些类型或值在函数被调用时才被具体指定，从而形成实际的函数。

函数模板参数实例化可以分为两种方式：隐式实例化和显式实例化。

①隐式实例化

隐式实例化：一种让编译器根据函数模板调用时的实参类型来推导模板参数类型的机制。

注：隐式类型转换和强制类型转换不会改变原有的类型，只是生成了一个临时变量。

代码如下：

template<class T>
void print(const T& input)
{
	std::cout << input << std::endl;
}
int main()
{
	print(42);
	print("Hello World!");
	return 0;
}

输出：

42
Hello World!

注

由于模板实例化，所以不同参数类型所调用函数的地址各不同。

②显式实例化

显式实例化：代码中显式地要求编译器实例化某个函数模板的特定实例。

如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}
int main()
{
	std::cout << Add(1, 2) << std::endl;
	std::cout << Add<int>(1, 2.2) << std::endl;     //2.2被隐式类型转换为2
	std::cout << Add<int>(1, "123") << std::endl;	//"123"无法被隐式转换，会直接报错
	return 0;
}