C++ 模板总结

最新推荐文章于 2022-07-30 17:34:13 发布
最新推荐文章于 2022-07-30 17:34:13 发布
阅读量183 收藏
点赞数
分类专栏： C++ 文章标签： c++ 模板
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/smartboy_01/article/details/119481389
版权

C++模板

模板

函数模板

c++提供了函数模板(function template.)所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体制定，用一个虚拟的类型来代表。这个通用函数就成为函数模板。

凡是函数体相同的函数都可以用这个模板代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现不同函数的功能。

  1. c++提供两种模板机制:函数模板和类模板
  2. 类属 - 类型参数化，又称参数模板

总结：

  • 模板把函数或类要处理的数据类型参数化，表现为参数的多态性，成为类属。
  • 模板用于表达逻辑结构相同，但具体数据元素类型不同的数据对象的通用行为。

void mySwapInt(int &a ,int &b)
{
	int temp = a;
	a = b;
	b = temp;
}

void mySwapDouble(double &a, double &b)
{
	double temp = a;
	a = b;
	b = temp;
}


//利用模板实现通用交换函数
template<typename T>  //T代表一个通用的数据类型，告诉编译器如果下面紧跟着的函数或者类中出现T不要报错
void mySwap(T &a, T &b)
{
	T temp = a;
	a = b;
	b = temp;
}

//模板不能单独使用，必须指定出T才可以使用
template<typename T>
void mySwap2()
{
}

void test01()
{
	int a = 10;
	int b = 20;
//	mySwapInt(a, b);
	char c1 = 'c';
	//1、自动类型推导，必须推导出一致的T数据类型，才可以正常的使用模板,如果使用自动类型推导不能发生隐式类型转换
	//mySwap(a, c1); //推导不出一致的T，因此无法调用
	//mySwap(a, b);

	//2、显示指定类型
	mySwap<int>(a, b);


	mySwap2<int>(); //必须告诉编译器T类型才可以调用

	cout << a << endl;
	cout << b << endl;


	double c = 3.14;
	double d = 1.1;

//	mySwapDouble(c, d);
	mySwap(c, d);

	cout << c << endl;
	cout << d << endl;

}
  1. 泛型编程 – 模板技术 特点：类型参数化
  2. template< typename T > 告诉编译器后面紧跟着的函数或者类中出现T，不要报错，T是一个通用的数据类型
  3. 实现通用两个数进行交换函数
  4. 使用
    1. 自动类型推导 必须要推导出一致的T才可以使用
    2. 显示指定类型 mySwap<int>(a,b);

函数模板和普通函数区别

  1. 函数模板不允许自动类型转化
  2. 普通函数能够自动进行类型转化

函数模板和普通函数的区别以及调用规则

区别
  1. 如果使用自动类型推导，是不可以发生隐式类型转换的
  2. 普通函数 可以发生隐式类型转换
调用规则
  1. 如果函数模板和普通函数都可以调用，那么优先调用普通函数
template<class T>
void myPrint(T a, T b)
{
	cout << "函数模板调用" << endl;
}
template<class T>
void myPrint(T a, T b, T c)
{
	cout << "函数模板(T a, T b ,T c)调用" << endl;
}

void myPrint(int a, int b)
{
	cout << "普通函数调用" << endl;
}

void test()
{
	//1、如果函数模板和普通函数都可以调用，那么优先调用普通函数
	int a = 10;
	int b = 20;
	myPrint(a, b);
}

在这里插入图片描述

  1. 如果想强制调用函数模板，可以使用空模板参数列表myPrint<>(a, b);
template<class T>
void myPrint(T a, T b)
{
	cout << "函数模板调用" << endl;
}

template<class T>void myPrint(T a, T b, T c)
{
	cout << "函数模板(T a, T b ,T c)调用" << endl;
}

void myPrint(int a, int b)
{
	cout << "普通函数调用" << endl;
}

void test02()
{
	//1、如果函数模板和普通函数都可以调用，那么优先调用普通函数
	int a = 10;
	int b = 20;

	//2、如果想强制调用函数模板，可以使用空模板参数列表
	myPrint<>(a, b);
}

在这里插入图片描述

  1. 函数模板也可以发生函数重载
  2. 如果函数模板能产生更好的匹配，那么优先使用函数模板
//4、如果函数模板能产生更好的匹配，那么优先使用函数模板
char c = 'c';
char d = 'd';
myPrint(c, d);

在这里插入图片描述

模板的实现机制

  • 编译器并不是把函数模板处理成能够处理任何类型的函数
  • 函数模板通过具体类型产生不同的函数，通过函数模板产生的函数 称为模板函数
void myPrint(int a ,int b)
{
cout << "函数模板调用" << endl;
}

void myPrint(double a ,double b)
{
cout << "函数模板调用" << endl;
}
  • 编译器会对函数模板进行两次编译，在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。

模板局限性

  • 模板并不是真实的通用，对于自定义数据类型，可以使用具体化技术，实现对自定义数据类型特殊使用template<> bool myCompare(Person &a, Person &b)
#include <string>
class Person
{
public:
	Person(string name, int age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}
	string m_Name;
	int m_Age;

};

//显示两个变量 对比 函数
template<class T>
bool myCompare(T &a ,T&b)
{
	if (a == b)
	{
		return true;
	}
	return false;
}

//利用具体化技术 实现对自定义数据类型 提供特殊模板
template<> bool myCompare(Person &a, Person &b)
{
	if (a.m_Name == b.m_Name && a.m_Age == b.m_Age)
	{
		return true;
	}
	return false;
}

void test()
{
	Person p1("Tom", 19);
	Person p2("Tom", 20);

	bool ret = myCompare(p1, p2);
	if (ret)
	{
		cout << "p1 == p2" << endl;
	}
	else
	{
		cout << "p1 != p2" << endl;
	}
}

当myCompare模板该当，不满足自定义的数据类型时可以通过以下两种方式进行完善

  1. 重载方法中用到的运算符=
  2. 利用具体化技术 实现对自定义数据类型 提供特殊模板
template<> bool myCompare(Person &a, Person &b)
{
	if (a.m_Name == b.m_Name && a.m_Age == b.m_Age)
	{
		return true;
	}
	return false;
}

类模板

类模板和函数模板区别：

  1. 类模板不可以使用自动类型推导，只能用显示指定类型Person<string,int> p1("孙悟空", 100);
  2. 类模板中 可以有默认参数template<class NAMETYPE, class AGETYPE = int >
#include <string>
template<class NAMETYPE, class AGETYPE = int > //类模板中 可以有默认参数
class Person
{
public:
	Person(NAMETYPE name, AGETYPE age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}

	void showPerson()
	{
		cout << "姓名： " << this->m_Name << " 年龄： " << this->m_Age << endl;
	}
	NAMETYPE m_Name;
	AGETYPE m_Age;
};

void test01()
{
	
	//类模板和函数模板区别：
	//1、类模板不可以使用自动类型推导，只能用显示指定类型
	//2、类模板中 可以有默认参数
	//Person p1("孙悟空", 100);

	Person<string > p1("孙悟空", 100);
	p1.showPerson();
}

类模板中成员函数创建时机

类模板中的成员函数 ，并不是一开始创建的，而是在运行阶段确定出T的数据类型才去创建


class Person1
{
public:
	void showPerson1()
	{
		cout << "Person1 show 调用" << endl;
	}
};

class Person2
{
public:
	void showPerson2()
	{
		cout << "Person2 show 调用" << endl;
	}
};


//类模板中的成员函数 ,并不是一开始创建的，而是在运行阶段确定出T的数据类型才去创建
template<class T>
class MyClass
{
public:
	void func1()
	{
		obj.showPerson1();
	}
	void func2()
	{
		obj.showPerson2();
	}

	T obj;
};

//代码可以生成，但是调用的时候会报错，只能调用指定T类型的方法
void test01()
{
	MyClass <Person2> p1;
	//p1.func1();
	p1.func2();
}

类模板做函数参数

using namespace std;
#include <string>
template<class T1, class T2> //类模板中 可以有默认参数
class Person
{
public:
	Person(T1 name, T2 age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}

	void showPerson()
	{
		cout << "姓名： " << this->m_Name << " 年龄： " << this->m_Age << endl;
	}
	T1 m_Name;
	T2 m_Age;
};

//1、指定传入类型
void doWork(Person <string, int>&p)
{
	p.showPerson();
}

void test01()
{
	Person <string, int>p("孙悟空", 999);
	doWork(p);
}


//2、参数模板化(模板方法)
template<class T1, class T2>
void doWork2(Person <T1, T2>&p)
{
	cout << "T1数据类型： " << typeid(T1).name() << endl;
	cout << "T2数据类型： " << typeid(T2).name() << endl;
	p.showPerson();
}

void test02()
{
	Person<string, int>p("猪八戒", 998);
	doWork2(p);
}


//3、整个类模板化
template<class T>
void doWork3( T &p)
{
	cout << "T的数据类型： " << typeid(T).name() << endl;
	p.showPerson();
}

void test03()
{
	Person<string, int>p("唐僧", 10000);
	doWork3(p);
}

使用方式有三种

  • 一、指定传入类型（推荐使用）void doWork(Person <string, int>&p)
  • 二、参数模板化
template<class T1, class T2>
void doWork2(Person <T1, T2>&p)
  • 三、整个类模板化
template<class T>
void doWork3( T &p)

查看T数据类型

typeid(T).name()

类模板碰到继承的问题以及解决

  • 必须要指定出父类中的T数据类型，才能给子类分配内存
template<class T>
class Base
{
public:
	T m_A;
};

//必须要指定出父类中的T数据类型，才能给子类分配内存
class Son :public Base<int>
{

};
  • 子类也声明为模板方法
template<class T>
class Base2
{
public:
	T m_A;
};
//1.子类也声明为模板方法
template<class T1 ,class T2>
class Son2 :public Base2<T2>
{
public:

	Son2()
	{
		cout << typeid(T1).name() << endl;
		cout << typeid(T2).name() << endl;
	}

	T1 m_B;
};

void test()
{
	//调用时指定实际类型
	Son2 <int, double> s;
}

类模板中的成员函数类外实现

#include <string>

template<class T1,class T2>
class Person
{
public:
	Person(T1 name, T2 age);	

	void showPerson();

	T1 m_Name;
	T2 m_Age;
};

//类外实现,再次声明T1,T2
template<class T1,class T2>
Person<T1,T2>::Person(T1 name, T2 age)
{
	this->m_Name = name;
	this->m_Age = age;
}

// 类外实现
template<class T1, class T2>
void Person<T1, T2>::showPerson()
{
	cout << "姓名： " << this->m_Name << " 年龄：" << this->m_Age << endl;
}

void test()
{
	Person <string, int> p("Tom", 10);
	p.showPerson();
}

类模板的分文件编写问题以及解决

原因：类模板中的成员函数，不会一开始创建，因此导致分文件编写时连接不到函数的实现，出现无法解析的外部命令错误。

  • 解决方式1：直接包含.cpp文件 （不推荐）
  • 解决方式2：将类声明和实现写到同一个文件中，将文件的后缀名改为.hpp即可

person.h

#pragma once
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
using namespace std;

template<class T1, class T2>
class Person
{
public:
	Person(T1 name, T2 age);

	void showPerson();
	
	T1 m_Name;
	T2 m_Age;
};

person.cpp

#include "person.h"

template<class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age)
{
	this->m_Name = name;
	this->m_Age = age;
}

template<class T1, class T2>
void Person<T1, T2>::showPerson()
{
	cout << "姓名： " << this->m_Name << " 年龄：" << this->m_Age << endl;
}

person.hpp，声明为.hpp文件，包含头文件及实现

#pragma once
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
using namespace std;

template<class T1, class T2>
class Person
{
public:
	Person(T1 name, T2 age);

	void showPerson();
	
	T1 m_Name;
	T2 m_Age;
};


template<class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age)
{
	this->m_Name = name;
	this->m_Age = age;
}

template<class T1, class T2>
void Person<T1, T2>::showPerson()
{
	cout << "姓名： " << this->m_Name << " 年龄：" << this->m_Age << endl;
}

类模板碰到友元的问题以及解决

  1. 友元类内实现
template<class T1, class T2>
class Person
{
	//1、友元函数 类内实现
	friend void printPerson(Person<T1, T2> &p)
	{
		cout << "姓名： " << p.m_Name << " 年龄： " << p.m_Age << endl;
	}
public:
	Person(T1 name, T2 age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}
private:
	T1 m_Name;
	T2 m_Age;
};
void test()
{
	Person <string, int> p("Tom", 100);
	printPerson(p);
}
  1. 友元类外实现

//1.声明模板类
template<class T1,class T2>
class Person;

//2.声明模板方法（要在声明模板类Person之后）
template<class T1,class T2>
void printPerson(Person<T1, T2> &p);

template<class T1, class T2>
class Person
{
	//2、友元函数 类外实现，模板方法printPerson<>
	friend void printPerson<>(Person<T1, T2> &p);
public:
	Person(T1 name, T2 age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}

private:
	T1 m_Name;
	T2 m_Age;
};

//友元模板函数类外实现
template<class T1,class T2>
void printPerson(Person<T1, T2> &p)
{
	cout << "类外实现 --- 姓名： " << p.m_Name << " 年龄： " << p.m_Age << endl;
}

void test()
{
	Person <string, int> p("Tom", 100);
	printPerson(p);
}
  1. 声明及实现放在一起

template<class T1,class T2>
class Person;

//声明时直接实现
template<class T1,class T2>
void printPerson(Person<T1, T2>&p)
{
	cout << "类外实现 --- 姓名： " << p.m_Name << " 年龄： " << p.m_Age << endl;
}

template<class T1, class T2>
class Person
{
	friend void printPerson<>(Person<T1, T2> &p);
public:
	Person(T1 name, T2 age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}

private:
	T1 m_Name;
	T2 m_Age;
};


void test01()
{
	Person <string, int> p("Tom", 100);
	printPerson(p);
}

类模板应用 – 数组类封装

myArray.hpp

#pragma  once 
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
using namespace std;

template<class T>
class MyArray
{
public:
	//MyArray(){};

	//有参构造
	MyArray(int capacity)
	{
		this->m_Capacity = capacity;
		this->m_Size = 0;
		this->pAddress = new T[this->m_Capacity];
	}

	//拷贝构造
	MyArray(const MyArray & arr)
	{
		this->m_Capacity = arr.m_Capacity;
		this->m_Size = arr.m_Size;
		this->pAddress = new T[this->m_Capacity];
		for (int i = 0; i < arr.m_Size;i++)
		{
			this->pAddress[i] = arr.pAddress[i];
		}
	}

	//重载=   
	MyArray& operator=( const MyArray & arr)
	{
		if (this->pAddress)
		{
			delete[] this->pAddress;
			this->pAddress = NULL;
		}

		this->m_Capacity = arr.m_Capacity;
		this->m_Size = arr.m_Size;
		this->pAddress = new T[this->m_Capacity];
		for (int i = 0; i < arr.m_Size; i++)
		{
			this->pAddress[i] = arr.pAddress[i];
		}
		return *this;
	}


	//重载[] 
	T& operator[] (int index)
	{
		return this->pAddress[index];
	}

	//尾插法
	void pushBack(const T&val)
	{
		if (this->m_Capacity == this->m_Size)
		{
			return;
		}
		this->pAddress[this->m_Size] = val;
		this->m_Size++;
	}

	//获取数组容量
	int getCapacity()
	{
		return this->m_Capacity;
	}

	//获取数组大小
	int getSize()
	{
		return this->m_Size;
	}

	//析构
	~MyArray()
	{
		if (this->pAddress)
		{
			//数组的释放
			delete[] this->pAddress;
			this->pAddress = NULL;
		}
	}

private:
	T * pAddress; //指向堆区真实数组指针

	int m_Capacity; //数组容量

	int m_Size;  //数组大小

};
DevCsdner
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C++模板总结
Sun_student的博客
05-17 458
1.泛型编程 理解：就是编写与类型无关的通用代码，是代码复用的一种手段。 为什么要实现泛型编程？ 我们已经知道在C++中函数可重载，在函数重载有些地方不好使用：代码的复用率比较低；代码的可维护性比较低。因为C++中有模板，所以采用模板可以实现泛型编程，从而生成代码，这样就不需要我们去一个一个重载一些通用的函数。（比如：交换函数） 从这里我们引出模板...
C++模板知识点总结
半生瓜のblog
09-26 818
Templatefunction templateclass template function template 函数模板就是建立一个通用的函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。 template< typename T >(class和typename都行) 参数类型自动推导 Max(x,y); 显示类型调用 Max<int>(x,y); template function 调用函数模板，编译器私底下会 根据
C++模板总结, 外加一些模板的特殊用法(语法), 比如非类型模板参数, 模板的特化全特化, 以及真正理解为何模板不可以分离编译
小杰312的博客
02-05 1353
C++模板总结, 外加一些模板的特殊用法(语法), 比如非类型模板参数, 模板的特化全特化, 以及真正理解为何模板不可以分离编译
C++ 模板总结，很全面！
青春不老，奋斗不止！
04-10 1572
前言：大家好，今天给大家分享一篇关于 c++ 模板总结概述.模板（Template）指 C++ 程序设计设计语言中采用类型作为参数的程序设计，支持通用程序设计。C++ 的标准库提供许多有用的函数大多结合了模板的观念，如 STL 以及 IO Stream。模板是 C++ 支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数...
如何理解c++模板
05-17
### 如何理解C++模板：全面解析类模板与函数模板 #### 一、引言 在计算机编程领域，模板是一种非常强大的工具，特别是在C++这种支持面向对象编程的语言中。本文将详细介绍C++模板的基本概念、分类（包括类模板和...
C++模板的实现
09-21
总结来说，C++模板是强大的工具，它们使代码更加灵活，提高了代码复用性。理解并熟练运用函数模板和类模板，是提升C++编程能力的关键步骤。通过上述知识点，开发者可以更深入地掌握C++模板的使用，并在实际编程中...
c++模板学习
11-01
总结来说，C++模板是一种强大的工具，它通过参数化类型实现了代码的泛化，从而提高了代码的复用性和灵活性。函数模板用于创建通用的函数，类模板则用于创建通用的类。在实际编程中，合理利用模板可以显著减少重复...
C++模板元编程
07-29
总结起来，C++模板元编程是一种强大的编程技术，能够帮助开发者实现高效、灵活的编译时代码生成。它在类型系统操作、编译时计算等方面有广泛应用，但同时也需要谨慎使用，避免过度设计和编译问题。通过深入理解和...
C++模板之特化与偏特化详解
12-31
说到C++模板，这个已经不是什么新东西了，自己在实际开发中也用过；对于C++模板特化和偏特化，对于别人来说，已经不是什么新东西了，但是对于我来说，的确是我的盲区，那天在群里讨论这个问题，自己对于这部分确实...
c++模板的一些总结
SWX230162的博客
02-17 380
模板 文章目录模板模板概念函数模板类模板可变参数模板可变参数类模板使用规则可变参数函数模板使用规则可变参数模板注意事项模板特例化函数模板特例化类模板特例化 模板概念 模板就是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数， 从而实现了真正的代码可重用性。模版可以分为两类，一个是函数模版，另外一个是类模版。 函数模板 函数模板一般形式如下： template <typename T> 返回类型 函数名（形参表）{ //函数体 } eg： template <t
c++模板知识点总结
qq_63102689的博客
02-13 458
c++函数模板知识总结
对于c++中模板函数的一点体会
Ct_the_world的博客
06-10 338
何为模板函数，从字面上就可以看出来模板函数必须具备通用性，举个简单却很实用的例子，交换两个值的函数Swap()； 交换两个字符型void Swap(char &a, char &b) 交换两个整型void Swap(int &a, int &b) 交换两个浮点型void Swap(float &a, float &b) 交换两个布尔型void...
C++模板使用（学习总结）
凡事都是靠练习
07-30 995
用C写程序时，经常会遇到这样的场景：交换两个数，而我们会用一个Swap封装交换的函数，但随着进行交换的数据类型不同，需要封装的函数也要随着改变。
实验8 模板（P292）
Lijing_666的博客
05-31 1717
实验目的和要求1.能够使用C++模板机制定义重载函数。2.能够实例化及使用模板函数。3.能够实例化和使用模板类。4.应用标准C++模板库（STL）通用算法和函数对象实现查找和排序。实验内容1.分析并调试下列程序，了解函数模板的使用。...
[C++]模板总结
~Ran~
08-13 144
目录定义实例化非类型模板参数模板参数的匹配原则函数模板特化类模板类模板特化类型萃取模板分离编译总结 定义 template开始，后跟一个模板参数列表（在模板定义中，模板参数列表不能为空） typename是用来定义模板参数关键字（C++98之后），也可以 使用class(切记：不能使用struct代替class) 实例化 隐式实例化：让编译器根据实参推演模板参数的实际类型，编译器一般不会进行类型转...
【c++】模板总结
lw__sunshine的博客
07-22 280
模板：模板的使用是为了适应泛型编程，泛型编程就是编写与类型无关的代码，是代码复用的一种手段，模板就是实现泛型编程的基础 模板函数 1.概念 模板函数代表了一个函数家族，该模板函数与类想无关，在使用时被参数化，根据实参产生函数的特定类型版本。 2.模板函数的格式： class =typename !=struct(尽量使用typename更明显) template&lt;typename...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值