一篇文章学会函数模板与类模板

最新推荐文章于 2022-11-16 21:02:13 发布
最新推荐文章于 2022-11-16 21:02:13 发布
阅读量379 收藏 1
点赞数 1
分类专栏： C++ 文章标签： c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_45140193/article/details/119822865
版权
本文深入探讨了C++中的模板编程，包括函数模板和类模板的定义、使用以及在继承中的应用。通过示例代码详细解释了模板的工作原理，如类型参数化、模板函数与重载函数的区别、类模板的四种实现方式，并讨论了类模板与友元函数、静态成员的关系。内容覆盖模板的基本概念到高级应用，是理解C++泛型编程的重要参考资料。
摘要由CSDN通过智能技术生成

函数模板与类模板

前言

C++提供了模板(template)编程的概念。所谓模板，实际上是建立一个通用函数或类，其类内部的类型和函数的形参类型不具体指定，用一个虚拟的类型来代表。这种通用的方式称为模板。模板是泛型编程的基础,泛型编程即以一种独立于任何特定类型的方式编写代码。

为什么要使用函数模板

这里用返回两数最大值做示列

使用一个函数用来实现多个函数返回两个数的最大值,要求支持多种类型变量

一、函数模板语法与定义

所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。

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

函数模板定义形式
由以下三部分组成： 模板说明 + 函数定义 + 函数模板调用

template < 类型形式参数表>

类型 函数名 (形式参数表)
{
//语句序列
}

1. 模板说明
template < 类型形式参数表>
类型形式参数的形式：
typename T1 , typename T2 , …… , typename Tn
或 class T1 , class T2 , …… , class Tn

(注：typename 和 class 的效果完全等同)

  1. 函数定义
    类型 函数名 (形式参数表)
    {
    }

注意: 模板说明的类属参数必须在函数定义中出现一次
函数参数表中可以使用类属类型参数，也可以使用一般类型参数

  1. 函数模板调用
    函数名<类型>( 变量a, 变量b ); //显式类型调用
    函数名(a, b); //自动数据类型推导

4.模板函数示列:

在这里插入图片描述

二、函数模板与重载函数

思考一下:
1. 如果有函数模板和重载函数，编译器将会调用什么？
2.不存在普通函数，函数模板会隐式数据类型转换吗？

1.问题1

代码如下：

#include <iostream>
using namespace std;

template <typename T>
void Swap(T &a, T &b){
	T t;
	t = a;
	a = b;
	b = t;
	cout<<"Swap 模板函数被调用了"<<endl;
}

void Swap(char &a, int &b){
	int  t;
	t = a;
	a = b;
	b = t;
	cout<<"Swap 普通函数被调用了"<<endl;
}

void main(void){
	char cNum = 'c';
	int iNum = 65;
	
	Swap(cNum, iNum);

	system("pause");
	return ;
}

结论: 第一种情况,模板函数和普通函数并存,参数类型和普通重载函数更匹配将会调用普通函数

2.问题2

代码如下：

#include <iostream>
using namespace std;

template <typename T>
void Swap(T &a, T &b){
	T t;
	t = a;
	a = b;
	b = t;
	cout<<"Swap 模板函数被调用了"<<endl;
}

void main(void){
	char cNum = 'c';
	int iNum = 65;

	Swap(cNum, iNum);

	system("pause");
	return ;
}

结论: 第二种情况 不存在普通函数，函数模板会隐式数据类型转换嘛？
不提供隐式的数据类型转换,必须是严格的匹配

类模板

前言

为什么需要类模板
类模板与函数模板的定义和使用类似，有时，有两个或多个类，其功能是相同的，仅仅是数据类型不同

代码示列:

template <typename T>
class A
{
public:
	A(T t)
	{
		this->t = t;
	}

	T &getT()
	{
		return t;
	}

public:
	T t;
};

得出结论:
类模板用于实现类所需数据的类型参数化
类模板在表示支持多种数据结构显得特别重要，这些数据结构的表示和算法不受所包含的元素类型的影响

类模板定义

类模板由模板说明和类说明构成模板说明同函数模板，如下：

template <类型形式参数表>
类声明

代码示列:

template  <typename Type>
   
class ClassName
{

   private ：
   Type DataMember;
}

模板类的使用

代码示列:

#include <iostream>

using namespace std;

template <typename T>
class A
{
public:
	//函数的参数列表使用虚拟类型
	A(T t=0)
	{
		this->t = t;
	}
	//成员函数返回值使用虚拟类型
	T &getT()
	{
		return t;
	}

private:
	//成员变量使用虚拟类型
	T t;
};

void printA(A<int> &a){
	cout<<a.getT()<<endl;
}

int main(void){
	A<int>  a(666);
	cout<<a.getT()<<endl;

	//模板类做为函数参数
	printA(a);
	system("pause");
	return 0;
}

得出结论:

  1. 类模板定义对象,必须显示指定类型
  2. 模板种如果使用了构造函数，则遵守以前的类的构造函数的调用规则

继承中类模板怎么使用

首先思考
1. 父类一般类，子类是模板类
2. 子类是一般类，父类是模板类
3. 父类和子类都时模板类时

问题1

代码示列:

#include <iostream>

using namespace std;

class B
{
public:
	B(int b)
	{
		this->b = b;
	}

private:
	int b;
};


template <typename T>
class A:public B
{
public:
	//函数的参数列表使用虚拟类型
	A(T t):B(0)
	{
		this->t = t;
	}
	//成员函数返回值使用虚拟类型
	T &getT()
	{
		return t;
	}

private:
	//成员变量使用虚拟类型
	T t;
};

问题1结论

父亲一般类,子类是模板类,和普通继承的玩法类似

问题2

代码示列:

#include <iostream>

using namespace std;

template <typename T>
class A
{
public:
	//函数的参数列表使用虚拟类型
	A(T t)
	{
		this->t = t;
	}
	//成员函数返回值使用虚拟类型
	T &getT()
	{
		return t;
	}

private:
	//成员变量使用虚拟类型
	T t;
};
						//需具体化模板
class B : public A<int>	//A<int>参数列表初始化
{
public:					//需具体化模板
	B(Tb b) :A<int>(b)	//初始化父类
	{
		this->b = b;
	}

private:
	int b;

};

问题2结论

子类是一般类，父类是模板类,继承时必须在子类里实例化父类的类型参数

问题3

代码示列:

#include <iostream>

using namespace std;

template <typename T>
class A
{
public:
	//函数的参数列表使用虚拟类型
	A(T t)
	{
		this->t = t;
	}
	//成员函数返回值使用虚拟类型
	T &getT()
	{
		return t;
	}

private:
	//成员变量使用虚拟类型
	T t;
};

template <typename Tb>
class B: public A<int>
{
	public:
	B(Tb b):A<Tb>(b)
	{
		this->b = b;
	}

private:
	Tb b;

};

void printA(A<int> &a){
	cout<<a.getT()<<endl;
}

int main(void){
	//1.模板类定义类对象，必须显示指定类型
	//2.模板种如果使用了构造函数，则遵守以前的类的构造函数的调用规则
	A<int>  a(666);
	cout<<a.getT()<<endl;

	B<int> b(888);
	cout<<"b(888): "<<b.getT()<<endl;

	//模板类做为函数参数
	printA(a);
	system("pause");
	return 0;
}

问题3结论

父类和子类都时模板类时，子类的虚拟的类型可以传递到父类中

类模板的四种写法

上边的代码都是类内写的，列如文件分离的情况下，怎么写出类模板函数

第一种情况在cpp文件类内部

上面代码已实现,已讲解

第二种情况在cpp文件类外部

代码示例:

#include <iostream>

using namespace std;


template <typename T>
class A
{
public:
	A(T t=0);

	T &getT();

	A operator +(const A &other);

	void print();

private:
	T t;
};

//需声明类型,告诉编译器将进行泛型编程
template <typename T>
A<T>::A(T t)
{
		this->t = t;
}

//需声明类型,告诉编译器将进行泛型编程
template <typename T>
T &A<T>::getT()
	{
		return t;
	}

//需声明类型,告诉编译器将进行泛型编程
template <typename T>
A<T> A<T>::operator+(const A<T> &other){
		A<T> tmp; //类的内部类型可以显示声明也可以不显示
		tmp.t =this->t + other.t;
		return tmp;
	}

//需声明类型,告诉编译器将进行泛型编程
template <typename T>
void A<T>::print(){
	cout<<this->t<<endl;
}

int main(void){
	
	A<int>  a(666), b(888);

	A<int> tmp = a + b;

	tmp.print();

	system("pause");
	return 0;
}
第三种情况文件分离

代码示例:
.h文件

#pragma once

template <typename T>
class A
{
public:
	A(T t=0);

	T &getT();

	A operator +(const A &other);

	void print();

private:
	T t;
};

.cpp文件

#include "demo.h"
#include <iostream>

using namespace std;


//需声明类型,告诉编译器将进行泛型编程
template <typename T>
A<T>::A(T t)
{
		this->t = t;
}


//需声明类型,告诉编译器将进行泛型编程
template <typename T>
T &A<T>::getT()
	{
		return t;
	}


//需声明类型,告诉编译器将进行泛型编程
template <typename T>
A<T> A<T>::operator+(const A<T> &other){
		A<T> tmp; //类的内部类型可以显示声明也可以不显示
		tmp.t =this->t + other.t;
		return tmp;
	}


//需声明类型,告诉编译器将进行泛型编程
template <typename T>
void A<T>::print(){
	cout<<this->t<<endl;
}

int main(void){
	
	A<int>  a(666), b(888);

	A<int> tmp = a + b;

	tmp.print();

	system("pause");
	return 0;
}
第四种情况main函数分离

main函数是独立.cpp文件时:

main函数代码示例:


 cout << "示例:这样运行会直接报错，无法解析的外部符号" << endl;
/*
int main(void){
	
	A<int>  a(666), b(888);

	A<int> tmp = a + b;

	tmp.print();

	system("pause");
	return 0;
}*/

解决方案: 需要包含类模板实现的 .cpp文件

总结

在第二种情况需注意：

在同一个cpp 文件中把模板类的成员函数放到类的外部，需要注意以下几点

函数前声明 template <类型形式参数表>
类的成员函数前的类限定域说明必须要带上虚拟参数列表
返回的变量是模板类的对象时必须带上虚拟参数列表
成员函数参数中出现模板类的对象时必须带上虚拟参数列表
成员函数内部没有限定

在第三种情况需注意：

注意:当类模板的声明(.h文件)和实现(.cpp 或.hpp文件)完全分离，因为类模板的特殊实现，我们应在使用类模板时使用#include 包含 实现部分的.cpp 或.hpp文件。

特殊情况!!! 类模板与友元函数

代码示例:

#include <iostream>

using namespace std;

template <typename T>
class A
{
public:
	A(T t=0);

	//声明一个友元函数，实现对两个A类对象进行加法操作
	template <typename T>
	friend A<T> addA(const A<T> &a, const A<T> &b);

	T &getT();

	A operator +(const A &other);

	void print();

private:
	T t;
};



template <typename T>
A<T>::A(T t)
{
		this->t = t;
}

template <typename T>
T &A<T>::getT()
	{
		return t;
	}

template <typename T>
A<T> A<T>::operator+(const A<T> &other){
		A tmp; //类的内部类型可以显示声明也可以不显示
		tmp.t =this->t + other.t;
		return tmp;
	}

template <typename T>
void A<T>::print(){
	cout<<this->t<<endl;
}


//A 类的友元函数,就是它的好朋友
template <typename T>
A<T> addA(const A<T> &a, const A<T> &b){
	A<T> tmp;
	cout<<"call addA()..."<<endl;
	tmp.t = a.t + b.t;
	return tmp;
}

int main(void){
	
	A<int>  a(666), b(888);

	A<int> tmp = a + b;
	A<int> tmp1 = addA<int>(a, b);
	
	tmp.print();
	tmp1.print();

	system("pause");
	return 0;
}

类模板友元结论

  1. 类内部声明友元函数，必须写成一下形式
    template<typename T>
    friend A <T> addA (A<T> &a, A<T> &b);

  2. 友元函数实现 必须写成
    template<typename T>
    A< T> add(A< T> &a, A< T> &b)
    {
    //…
    }

  3. 友元函数调用 必须写成
    A< int> c4 = addA< int>(c1, c2);

类模板与static成员

代码示例:

#include <iostream>

using namespace std;

template <typename T>
class A
{
public:
	A(T t=0);

	T &getT();

	A operator +(const A &other);

	void print();

public:
	static int count;
private:
	T t;
};

template <typename T> int A<T>::count = 666;

template <typename T>
A<T>::A(T t)
{
	this->t = t;
}

template <typename T>
T &A<T>::getT()
{
	return t;
}

template <typename T>
A<T> A<T>::operator+(const A<T> &other){
	A tmp; //类的内部类型可以显示声明也可以不显示
	tmp.t =this->t + other.t;
	return tmp;
}

template <typename T>
void A<T>::print(){
	cout<<this->t<<endl;
}


int main(void){

	A<int>  a(666), b(888);
	A<int> tmp = a + b;

	A<float> c(777), d(999);

	a.count = 888;

	cout<<"b.count:"<<b.count<<endl;

	cout<<"c.count:"<<c.count<<endl;
	cout<<"d.count:"<<d.count<<endl;
	c.count = 1000;
	cout<<"修改后, d.count:"<<d.count<<endl;
	
	system("pause");
	return 0;
}

类模板static总结

  1. 从类模板实例化的每个模板类有自己的类模板数据成员，该模板类的所有对象共享一个static数据成员
  2. 和非模板类的static数据成员一样，模板类的static数据成员也应该在文件范围定义和初始化
  3. static 数据成员也可以使用虚拟类型参数T
space＊
关注
专栏目录
学习 Django 配置，看这篇文章就能学会 50%，剩下的 1/2 看下一篇。
梦想橡皮擦，专栏100例写作模式先行者，现象级专栏 《Python 爬虫 100 例》作者、《滚雪球学 Python 专栏》原创者
04-19 1万+
Django 配置中的缓存与数据库
一篇搞定CMake入门：让你轻松学会C++项目构建！
最新发布
小鱼酱的博客
01-17 1403
一篇搞定CMake入门
C++子类重写模板父类的函数
qq_37183161的博客
11-16 715
如果std::function 与 std::function 中参数的引用方式不一致，使用override会编译通不过。因为项目上的框架已经搭建好，想子类重写模板类的函数，中途遇见一点问题，特此记录。
父类为模板类，子类继承父类调用父类的方法常见错误
a4364634611的博客
04-03 2558
相信大家都对继承很清楚，那么如果是父类为模板类，派生出来的子类创建的对象，具体实现要如何调用父类的方法呢？我们用代码尝试一下 结果是111 111 111 环境为:windows，MSVC，c++20，debug，x86我们这是正确的写法，大家可以看出来，如果父类为模板，得使用this指针来强调访问。如果我们不使用this，那么看看报错结果先看一下书上对此类似的描述我们详细说一下：对于在模板的定义中所使用的非待决名，当检查该模板的定义时将进行无限定的名字查找。在这个位置与声明之间的绑定并不会受到在实例化
函数模板小总结
lfnlook的博客
09-15 353
函数模板语法,类模板,友元函数等小总结
C++基础知识 - 类模板和继承
骆驼胡杨的博客
02-26 1067
继承中类模板的使用   1. 父类一般类，子类是模板类，和普通的用法类似 #include <iostream> #include <Windows.h> using namespace std; //父类是一般类 class Father { public: Father(int age) { this->age = age; } int getAge() const { return age; } private: int age; }; templat
C++模板知识点总结
半生瓜のblog
09-26 837
Templatefunction templateclass template function template 函数模板就是建立一个通用的函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。 template< typename T >(class和typename都行) 参数类型自动推导 Max(x,y); 显示类型调用 Max<int>(x,y); template function 调用函数模板，编译器私底下会 根据
浅谈C++ templates 函数模板、类模板以及非类型模板参数
机器学习
12-22 2509
最近打算挑选几个STL容器做个简单实现，发现里面牵涉到不少模板知识。这里算提前学习一下C++模板的相关知识吧。这次主要学习了什么是函数模板（这个最简单），类模板以及非类型模板参数。下面挨个举例说明。 文章目录1. 函数模板2. 类模板3. 非类型模板参数 1. 函数模板 函数模板是最简答的一个，下面就定义一个返回两个值中最大者的函数模板： namespace og { template&amp;amp;lt;...
freetype位图制作的理论与用法详解，一篇文章学会freetype
12-19
FreeType提供了一系列函数，如`FT_Glyph_Metrics`，用于获取这些信息。中文和英文字符的布局有所不同，英文字符通常基于统一的基线，而中文字符的布局更为复杂，需要考虑字间距和行间距。 3.1 基线、笔直和布局 ...
C语言模板元编程与函数式语言的结合：EClean——一种嵌入式函数语言
58www.elsevier.com/locate/entcsEClean -一种嵌入式函数语言A'd'amSipos1 而V i ktoo'riaZs'ok 2程序设计语言和语言学系匈牙利布达佩斯摘要C++模板元编程通常被认为是一种函数式语言，然而，现在元语法库并不是以...
类模板使用总结
Chinajielin的博客
06-09 497
类模板使用总结 归纳以上的介绍，可以这样声明和使用类模板： 先写出一个实际的类。 将此类中准备改变的类型名(如int要改变为float或char)改用一个自己指定的虚拟类型名(如上例中的T)。 在类声明前面加入一行，格式为： template <typename 虚拟类型参数> 如： template class A {…}; //类体 用类模板定义对象时用以下形式： 类模板名<实际类型名> 对象名; 或 类模板名<实际类型名> 对象名(实参表列); 如： A cmp
C++ Primer Plus学习（十三）——代码重用（has-a）
weixin_41480034的博客
04-18 379
代码重用（has-a）包含、组合或层次化私有继承包含 or 私有继承？各种继承方式多重继承类模板 C++的一个主要目标是促进代码重用。公有继承是实现这种目标的机制之一，但并不是唯一的机制。还有一种方式是使用这样的类成员：本身是另一个类的对象。这种方法称为包含（containment）、组合（composition）或层次化（layering）。另一种方法是使用私有或保护继承。通常，包含、私有继承和保护继承用于实现has-a关系，即新的类将包含另一个类的对象。 包含、组合或层次化 使用公有继承时，类可以继
【C++进阶笔记一】函数模板与类模板
|~~~热爱生活、努力学习的小伙汁~~~|
10-05 1750
【C++进阶】（1）函数模板的声明及使用一、函数模板 `template < class T>`1. 简单的函数模板示例2. 实现通用数据类型排序算法示例3. 能过空模板参数列表 强制调用模板函数4. 模板函数 也可 以实现函数重载 最近在搞FFmpeg 音视频开发，后面大量涉及音视频图形等界面开发（比如视频播放器）， 利用C语言也可以实现 ，但相对麻烦，在这方面C++会方便很多，记得上一次学C++还是在大二的时候了， 刚好也算趁着这一次机会，把C++ 的知识全部重新捡起来巩固一遍， 也算逼自已
c++类父类模板化template＜class T＞ class Derived:public T{}
weixin_43360707的博客
03-25 1079
第一次看到这个是懵逼的： template<typename Parent> class FrameInternal : public Parent{ public: typedef std::shared_ptr<FrameInternal> Ptr; FrameInternal(const Frame::Ptr &parent_frame, char *ptr, size_t size, size_t prefix_size) :
模板方法模式
Curry的博客
03-29 199
模板方法模式：定义一个算法中的操作框架，而将一些步骤延迟到子类中。使得子类可以不改变算法的结构即可重定义该算法的某些特定步骤。（Define the skeleton of an algorithm in an operation, deferring some steps to subclasses. Template Method lets subclasses redefine certai...
模板类继承后找不到父类函数的问题
weixin_33834075的博客
10-23 797
错误示例： 1 template&lt;class T&gt; class List 2 { 3 public: 4 void next(T*){ 5 cout&lt;&lt;"Doing some stuff"&lt;&lt;endl; 6 } 7 }; 8 9 template&l...
提升Excel技能：54个必备函数详解与应用
这是一篇实用的指南，旨在帮助会计从业人员提升Excel技能，通过实际案例和详细解释，让读者理解并学会如何灵活运用这些关键函数，从而提升会计工作的质量和效率。无论是刚接触Excel的新手，还是希望进一步提升技能的...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值