C++模板学习

最新推荐文章于 2024-08-15 14:17:24 发布

mayue_csdn

最新推荐文章于 2024-08-15 14:17:24 发布

阅读量1.8k

点赞数

分类专栏： C++ 文章标签： c++ 模板

原文链接：https://blog.csdn.net/lms1008611/article/details/82013901

版权

C++ 专栏收录该内容

63 篇文章 11 订阅

订阅专栏

文章目录

1. C++模板
2. 函数模板( Function templates)
- 2.1 函数模板分类
3. 类模板(Class templates)
4. 参考资料

1. C++模板

模板定义：模板是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数，从而实现了真正的代码可重用性。

模板分类：函数模板和类模板。函数模板针对参数类型不同的函数；类模板仅针对数据成员和成员函数类型不同的类。

使用模板目的：让程序员编写与类型无关的代码。

注意：模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行，如不能在main函数中声明或定义一个模板。

2. 函数模板( Function templates)

C++中的函数模板
https://blog.csdn.net/lms1008611/article/details/81985815

模板(Templates)使得我们可以生成通用的函数，这些函数能够接受任意数据类型的参数，可返回任意类型的值，而不需要对所有可能的数据类型进行函数重载。这在一定程度上实现了宏（macro）的作用。它们的原型定义可以是下面两种中的任何一个：

template <class type> ret-type func-name(parameter list)
{
   // 函数的主体
}

template <typename type> ret-type func-name(parameter list)
{
   // 函数的主体
}

在这里，type 是函数所使用的数据类型的占位符名称。这个名称可以在函数定义中使用。

函数模板实例，返回两个数中的最大值：

#include <iostream>
#include <string>
using namespace std;

template <typename T>
T Max (T const& a, T const& b)
{ 
    return a < b ? b:a; 
} 
int main()
{
	int i = 29;
	int j = 20;
	cout << "Max(i, j):" << Max(i, j) << endl; 

	double f1 = 13.5; 
    double f2 = 20.7; 
    cout << "Max(f1, f2): " << Max(f1, f2) << endl; 
    return 0;
}

函数模板还可以定义任意多个不同的类型参数，但是对于多参数函数模板：

编译器是无法自动推导返回值类型的
可以从左向右部分指定类型参数

#include <iostream>
using namespace std;
template <typename T1, typename T2, typename T3>
T1 add(T2 a, T3 b)
{
	T1 ret;
	ret
}
void main()
{
	int c = 12;
	float d = 23.4;
	//cout << add(c, d) << endl;		//error，无法自动推导函数返回值
	cout << add<float>(c, d) << endl;	//返回值在第一个类型参数中指定
	cout << add<int, int, float>(c, d) << endl;
}

问题：目前为止，上面的调试传递的实参类型均为基本类型，能否传递结构体、类等相对复杂的参数？可以，需要根据预期结果和数据特性来设计。

2.1 函数模板分类

按照函数类型不同，可以分为：普通函数模板和成员函数模板。
按照参数个数不同，可以分为：单参数类型函数模板和多参数类型函数模板。

之前吓抄的一篇：https://blog.csdn.net/mayue_web/article/details/83755761

3. 类模板(Class templates)

C++中的类模板
https://blog.csdn.net/lms1008611/article/details/82013901

泛型类声明的一般形式如下所示：

template< class 形参名, class 形参名, ……> class 类名 {…};

//实例
template <class T>
class test 
{
private:
    T m_value;
public:
    test(T value)
    {
		m_value = value;
    }
    T get()
    {
		return m_value;
    }
};

这样我们就定义了一个简单的类模板，其中的T代表任意的类型，可以出现在类模板中的任意地方，与函数模板不同的是，使用类模板时必须显示的指定数据类型，编译器无法自动推导，例如test <int> t；需要显示的指定数据类型。

编译器对类模板的处理与对函数模板的处理相同

从类模板通过具体类型产生不同的类
在声明的地方对类模板代码本身进行编译
在使用的地方对参数替换后的代码进行编译

实例：

#include <iostream>
#include <string>
using namespace std;
 
template <typename T>
class test 
{
private:
    T m_value;
public:
    test(T value)
    {
	m_value = value;
    }
    T get()
    {
	return m_value;
    }
};

void main()
{
    //test t(12.3);	//error, 不能自动推导类型
    test<int> t1(12);	//显示指定类型为int
    test<string> t2("hello C++");	//显示指定类型为string
 
    cout << t1.get() << endl;
    cout << t2.get() << endl;
}

我们在定义类模板时，一般的规则是

将类模板定义在头文件中
类模板里边的成员函数，必须要同一个文件中实现，不可分开实现在不同的文件中
类模板外部定义的成员函数需要加上template 类似的声明

如下，我们将上边的test类模板实现在test.h头文件中，并将成员函数在外边实现

#ifndef __TEST_H__
#define __TEST_H__
 
template <typename T>
class test 
{
private:
    T m_value;
public:
    test(T value)
    {
	m_value = value;
    }
    T get();
};
 
template <typename T>	//类外实现的成员函数需要加上类似的模板声明
T test<T>::get()
{
    return m_value;
}
 
#endif	//__TEST_H__

与函数模板一样，类模板也可以定义多个参数，例如

template <typename T1, typename T2>
class test
{
private:
    T1 m_value1;
    T2 m_value2;
public:
    test(T1 value1, T2 value2)
    {
	m_value1 = value1;
	m_value2 = value2;
    }
};