C++系列-泛型编程之类模板

news2024/11/17 5:32:16

泛型编程之类模板

  • 类模板
    • 类模板的定义方式
    • 类模板的举例
  • 类模板和函数模板的区别
  • 类模板中的成员函数创建时机
  • 类模板的对象做函数的参数
    • 指定传入类型
    • 类中的参数模板化
    • 整个类模板化
  • 类模板与继承
  • 类模板中成员函数的类外实现
  • 类模板分文件编写
    • 类模板分文件编写的问题
    • 问题原因
    • 解决方案
  • 类模板与友元
    • 全局函数类内实现
    • 全局函数类外实现


宿王昌龄隐居
常建〔唐代〕

清溪深不测,隐处唯孤云。
松际露微月,清光犹为君。
茅亭宿花影,药院滋苔纹。
余亦谢时去,西山鸾鹤群。


类模板

类模板的作用:建立一个通用的类,类中成员的数据类型不指定,用一个虚拟的类型来表示。

类模板的定义方式

  • template<class T> 类的定义,template:说明其下紧跟的类是一个类模板。
  • typename:表明其后的符号代表一种数据类型,也可以用class代替。后面可以有多个typename。
  • T:通用数据类型,也可以用其它符号代替。

类模板的举例

code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>
class Person
{
public:
	Person(T_NAME name, T_AGE age)
	{
		m_name = name;
		m_age = age;
	}
	void print_info()
	{
		cout << "名字: " << m_name << ", 年龄: " << m_age << endl;
	}
	T_NAME m_name;
	T_AGE m_age;
};

void test01()
{
	 Person<string, int> p1("张三", 99);	// 类型参数化,<string, int> 模板参数列表
	 p1.print_info();
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 99

类模板和函数模板的区别

  • 类模板没有自动类型推导的方式。
  • 类模板在模板的参数列表(<>里面的参数)中可以有默认参数。
code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE=int>		// 类模板可以有模板默认参数
class Person
{
public:
	Person(T_NAME name, T_AGE age)
	{
		m_name = name;
		m_age = age;
	}
	void print_info()
	{
		cout << "名字: " << m_name << ", 年龄: " << m_age << endl;
	}
	T_NAME m_name;
	T_AGE m_age;
};

void test01()
{
	Person<string> p1("张三", 99);	// 类型参数化,<string> 模板参数列表, 省略了模板默认参数
	p1.print_info();
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 99

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

  • 普通类中的成员函数一开始就创建
  • 类模板中的成员函数在调用时才创建
    下面的代码运行并不会出错,PersonClass中的成员函数func1, func2并不会创建,因为并没有调用到它们。
code:
#include <iostream>
using namespace std;

class Person1
{
public:
	void print_info1()
	{
		cout << "Person1的成员函数调用 " << endl;
	}
};

class Person2
{
public:
	void print_info2()
	{
		cout << "Person2的成员函数调用 " << endl;
	}
};

template<class T>
class PersonClass
{
public:
	T obj;			
	void func1()
	{
		obj.print_info1();		// T的类型是Person1时,此句才能正确执行
	}
	void func2()
	{
		obj.print_info2();		// T的类型是Person2时,此句才能正确执行
	}
};
int main()
{
	cout << "代码运行" << endl;
	system("pause");
	return 0;
}

result:
代码运行

下面的代码中调用了成员函数,则会在调用的时候创建,此时可以知道是否调用正确。

code:
#include <iostream>
using namespace std;

class Person1
{
public:
	void print_info1()
	{
		cout << "Person1的成员函数调用 " << endl;
	}
};

class Person2
{
public:
	void print_info2()
	{
		cout << "Person2的成员函数调用 " << endl;
	}
};

template<class T>
class PersonClass
{
public:
	T obj;			
	void func1()
	{
		obj.print_info1();		// T的类型是Person1时,此句才能正确执行
	}
	void func2()
	{
		obj.print_info2();		// T的类型是Person2时,此句才能正确执行
	}
};

void test01()
{
	PersonClass<Person1> p1;
	p1.func1();
	// p1.func2();		// 错误,因为在调用p1.func2时,知道p1的类型,创建成员函数,发现p1没有func2

	PersonClass<Person2> p2;
	p2.func2();
}
int main()
{
	cout << "代码运行" << endl;
	test01();
	system("pause");
	return 0;
}

result:
代码运行
Person1的成员函数调用
Person2的成员函数调用

类模板的对象做函数的参数

通过类模板定义的对象,如果作为函数的参数,有几种方式传参

  • 指定传入参数,最为常用
  • 类中的参数模板化,其实是类模板配合函数模板
  • 整个类模板化,其实是类模板配合函数模板

指定传入类型

  • 在函数定义中,参数类型直接指定为对象的类型,void print_info(Person &p1),直接指定形参为Person类型
code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE = int>		// 类模板可以有模板默认参数
class Person
{
public:
	Person(T_NAME name, T_AGE age)
	{
		m_name = name;
		m_age = age;
	}
	T_NAME m_name;
	T_AGE m_age;
};

// 在类模板的对象作为函数参数时,在形参列表中指定传入的类型(p1的传入类型指定为Person<>)
void print_info(Person<string> &p1)
{
	cout << "名字: " << p1.m_name << ", 年龄: " << p1.m_age << endl;
	p1.m_age = 20;
}

void test01()
{
	Person<string> p1("张三", 99);
	print_info(p1);		
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 99

类中的参数模板化

  • typeid(T1).name()是求T1的类型
  • 在函数定义时,如果形参是类的对象,那么类中的参数模板化时,要在函数前面加template<class T1, class T2>,这相当于函数也是模板函数。
code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>		
class Person
{
public:
	Person(T_NAME name, T_AGE age)
	{
		m_name = name;
		m_age = age;
	}
	T_NAME m_name;
	T_AGE m_age;
};

// 函数的参数是类模板的对象,类中的模板参数也可以作为模板传入,
// 这其实相当于这个函数也是函数模板
template<class T1, class T2>
void print_info(Person<T1, T2> &p1)
{
	cout << "名字: " << p1.m_name << ", 年龄: " << p1.m_age << endl;
	cout << "T1类型: " << typeid(T1).name() << endl;
	cout << "T2类型: " << typeid(T2).name() << endl;
}
// 如果有下面的函数,会优先调用,说明上面的函数是一个函数模板
//void print_info(Person<string, int>& p1)
//{
//	cout << "普通函数" << endl;
//}

void test01()
{
	Person<string, int> p1("张三", 99);
	print_info(p1);
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 99
T1类型: class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >
T2类型: int

整个类模板化

code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>
class Person
{
public:
	Person(T_NAME name, T_AGE age)
	{
		m_name = name;
		m_age = age;
	}
	T_NAME m_name;
	T_AGE m_age;
};

// 整个类模板化
template<class T>
void print_info(T &p1)
{
	cout << "名字: " << p1.m_name << ", 年龄: " << p1.m_age << endl;
	cout << "T类型: " << typeid(T).name() << endl;
}

void test01()
{
	Person<string, int> p1("张三", 99);
	print_info(p1);
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 99
T类型: class Person<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,int>

类模板与继承

  • 当子类继承的父类是一个类模板时,子类在声明的时候,需要指明父类中T的类型,如果不指定,编译器无法给子类分配内存。
  • 如果要灵活指定父类中T的类型,子类也需要变为类模板。
code:
#include <iostream>
using namespace std;

template<class T>
class Base
{
	T m_name;
};

// class Son : public Base		// 这一句会报错,因为子类在声明时,没有指明父类T的类型
// 可以直接指定父类中T的类型,但是会导致通用性不强。
class Son1 : public Base<int>
{
public:
	Son1()
	{
		cout << "Son1 instance" << endl;
	}
};

// 子类也模板化,这样就更通用了
template<class T_Base, class T>
class Son2: public Base<T_Base>
{
public:
	T age;
	Son2()
	{
		cout << "T_Base类型: " << typeid(T_Base).name() << endl;
		cout << "T类型: " << typeid(T).name() << endl;
	}
};

void test01()
{
	Son1 s1;		
	Son2<int, char>s2;
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
Son1 instance
T_Base类型: int
T类型: char

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

  • 类模板中的成员函数在类外实现时,除了作用域,要加上类模板参数列表
  • ::作用域,是个模板<>, <参数类型>注明模板参数,template<class T_NAME, class T_AGE>:声明模板
code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>
class Person
{
public:
	Person(T_NAME name, T_AGE age);
	void print_info();

private:
	T_NAME m_name;
	T_AGE m_age;
};

// ::Person作用域下,Person是个模板<>,注明模板参数,声明模板
template<class T_NAME, class T_AGE>
Person<T_NAME, T_AGE>::Person(T_NAME name, T_AGE age)
{
	m_name = name;
	m_age = age;
}

template<class T_NAME, class T_AGE>
void Person<T_NAME, T_AGE>::print_info()
{
	cout << "名字: " << m_name << ", 年龄: " << m_age << endl;
}

void test01()
{
	Person<string, int> s1("张三", 18);
	s1.print_info();
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 18

类模板分文件编写

类模板中的成员函数创建是在调用阶段,导致分文件编写时链接不到(传统的方式,如果只#include .h文件,h文件中只有函数的声明)

类模板分文件编写的问题

类的声明放在person.h文件中

code:
#pragma once
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>
class Person
{
public:
	Person(T_NAME name, T_AGE age);
	void print_info();

private:
	T_NAME m_name;
	T_AGE m_age;
};

类的成员函数实现放在person.cpp文件中

#include "person.h"
// ::Person作用域下,Person是个模板<>,注明模板参数,声明模板
template<class T_NAME, class T_AGE>
Person<T_NAME, T_AGE>::Person(T_NAME name, T_AGE age)
{
	m_name = name;
	m_age = age;
}

template<class T_NAME, class T_AGE>
void Person<T_NAME, T_AGE>::print_info()
{
	cout << "名字: " << m_name << ", 年龄: " << m_age << endl;
}

在调用时会报错

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

using namespace std;
void test01()
{
	Person<string, int> s1("张三", 18);			// 代码报错,无法解析的外部命令
	s1.print_info();							// 代码报错,无法解析的外部命令
}

int main()
{
	test01();
	system("pause");
	return 0;
}

在这里插入图片描述


问题原因

  • 在main函数中调用关于类的代码时,包含头文件person.h,因为类中的成员函数是在调用的时候创建,在链接阶段看到person.h的时候并不创建函数,看不到cpp的文件,所以在link的过程中会报错。

解决方案

  • 解决方法1,直接包含cpp文件,但是一般都不会直接包含cpp文件。
  • 解决方法2,将.h和.cpp中的文件写在同一个文件中,后缀名改为hpp,这个是主流解决方案

.hpp文件的代码

code:
#pragma once
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>
class Person
{
public:
	Person(T_NAME name, T_AGE age);
	void print_info();

private:
	T_NAME m_name;
	T_AGE m_age;
};

// ::Person作用域下,Person是个模板<>,注明模板参数,声明模板
template<class T_NAME, class T_AGE>
Person<T_NAME, T_AGE>::Person(T_NAME name, T_AGE age)
{
	m_name = name;
	m_age = age;
}

template<class T_NAME, class T_AGE>
void Person<T_NAME, T_AGE>::print_info()
{
	cout << "名字: " << m_name << ", 年龄: " << m_age << endl;
}

上层调用代码

code:
#include <iostream>
#include "person.hpp"

using namespace std;
void test01()
{
	Person<string, int> s1("张三", 18);
	s1.print_info();
}

int main()
{
	test01();
	system("pause");
	return 0;
}

类模板与友元

全局函数类内实现

  • 直接在类内声明友元即可
code:
#include <iostream>
using namespace std;

template<class T_NAME, class T_AGE>
class Person
{
	// void print_info(Person<T_NAME, T_AGE>& p)	// 如果没有friend,是一个私有成员函数
	friend void print_info(Person<T_NAME, T_AGE>& p)
	{
		cout << "名字: " << p.m_name << ", 年龄: " << p.m_age << endl;
	}

public:
	Person(T_NAME name, T_AGE age);

private:
	T_NAME m_name;
	T_AGE m_age;
};

// ::Person作用域下,Person是个模板<>,注明模板参数,声明模板
template<class T_NAME, class T_AGE>
Person<T_NAME, T_AGE>::Person(T_NAME name, T_AGE age)
{
	m_name = name;
	m_age = age;
}

void test01()
{
	Person<string, int> s1("张三", 18);
	print_info(s1);
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 18

全局函数类外实现

  • 需要提前让编译器知道全局函数的存在,要提前声明,其中使用到的类等也要提前声明。
  • 在声明友元时,全局函数是函数模板,需要在函数名后加<>
code:
#include <iostream>
using namespace std;

// 因为友元全局函数用到了Person,需要让编译器先知道有个类模板Person
template<class T_NAME, class T_AGE>
class Person;

// 全局函数在类模板外部实现时,需要在友元声明前让编译器知道这个全局函数的存在
template<class T_NAME, class T_AGE>
void print_info(Person<T_NAME, T_AGE>& p);

template<class T_NAME, class T_AGE>
class Person
{
	// 下面语句错误,这是普通函数作友元的方式,而这个全局函数是函数模板,需要在函数名后加<>
	// friend void print_info(Person<T_NAME, T_AGE>& p);	
	friend void print_info<>(Person<T_NAME, T_AGE>& p);	// 

public:
	Person(T_NAME name, T_AGE age);

private:
	T_NAME m_name;
	T_AGE m_age;
};

// print_info是一个全局函数,代码在类外实现,这是一个函数模板
// 全局函数想访问类中的私有成员,需要将其声明为类的友元函数
template<class T_NAME, class T_AGE>
void print_info(Person<T_NAME, T_AGE>& p)
{
	cout << "名字: " << p.m_name << ", 年龄: " << p.m_age << endl;
}

// ::Person作用域下,Person是个模板<>,注明模板参数,声明模板
template<class T_NAME, class T_AGE>
Person<T_NAME, T_AGE>::Person(T_NAME name, T_AGE age)
{
	m_name = name;
	m_age = age;
}

void test01()
{
	Person<string, int> s1("张三", 18);
	print_info(s1);
}

int main()
{
	test01();
	system("pause");
	return 0;
}

result:
名字: 张三, 年龄: 18

注意:本文部分内容来自黑马

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2076114.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Java框架myBatis(二)

一、#{}和${}的区别 #{}所采取的时占位符方式&#xff08;底层是预编译模式&#xff09;&#xff0c;与JDBC中的&#xff1f;方式相同&#xff0c;传参更加方便安全 &#xff0c;防止了sql注入。当我们需要向sql传值&#xff0c;使用#{}&#xff1b; ${}是将内容直接拼接到sql…

Uniapp 微信小程序,实现页面滚动Tab悬停吸顶,点击tab内容跟随滚动

Uniapp 微信小程序&#xff0c;实现页面滚动Tab悬停吸顶&#xff0c;点击tab内容跟随滚动 页面股东tab悬停原理&#xff1a; 运用uniapp原生提供方法uni.createSelectorQuery()获取滚动对应节点的信息&#xff0c;即节点距离页面顶部的距离&#xff0c;再通过uniapp原生监听页…

【C语言】深入理解指针(一)

指针1 1.内存和地址2.指针变量和地址2.1取地址操作符&#xff08;&&#xff09;2.2指针变量和将引用操作符2.3解引用操作符2.4指针变量的大小 3.指针变量类型的意义3.1指针变量类型3.2void*指针 4.const修饰指针5.指针运算5.1 指针- 整数5.2指针-指针3.指针的关系运算 6.野…

《高等代数》最大公因式典型例题

说明&#xff1a;此内容用于本人复习巩固&#xff0c;如果也能帮助到大家那就更加有意义了。 注&#xff1a;这道题主要从 1)公因式整除多项式的线性组合 2)最大公因式能够被其它公因式整除 3)如果两个多项式互相整除&#xff0c;那就说明这两个多项式相等 这三个知识点出…

Hadoop的HA配置与实现(ZooKeeper)

目录 一、Hadoop的HA架构二、配置实现Hadoop的HA三、效果 一、Hadoop的HA架构 集群规划 112&#xff1a;NameNode1 ResourceManager1 JournalNode1 113&#xff1a;NameNode2 ResourceManager2 JournalNode2 114&#xff1a;DataNode1 NodeManager1 115&#xff1a;DataNode2 N…

如何快速建30个文件夹

文件夹的快速新建只能通过专门的软件来实现&#xff0c;快速建30个&#xff0c;我们可以使用批处理命令&#xff0c;也可以用第三方软件&#xff0c;批处理的命令&#xff0c;需要我们熟悉如何编写&#xff0c;而第三方软件的话不需要那么多的知识&#xff0c;直接在软件上一键…

货运搬家小程序app定制开发过程中需要的主要功能介绍

货运搬家小程序是一个集成了物流服务全过程的数字化解决方案&#xff0c;它通过移动平台提供注册与登录、货物管理、车辆管理、路线规划、货物分配、订单管理、实时追踪、评价与反馈、价格透明等功能。 具体的功能&#xff1a; 注册与登录用户可以通过小程序注册账号并登录&am…

inflight 守恒算法的实现和仿真

前面介绍过&#xff0c;只要某条流的 inflt 在 bdp 之外再增加一个相等的余量 I&#xff0c;即 inflt bdp I&#xff0c;比如 I 2&#xff0c;I 3&#xff0c;…&#xff0c;就一定会收敛到公平&#xff0c;且不会占据过多 buffer&#xff0c;因此 rtt 不会膨胀&#xff0c…

html+css网页设计 动漫 海贼王14个页面

htmlcss网页设计 动漫 海贼王14个页面 网页作品代码简单&#xff0c;可使用任意HTML编辑软件&#xff08;如&#xff1a;Dreamweaver、HBuilder、Vscode 、Sublime 、Webstorm、Text 、Notepad 等任意html编辑软件进行运行及修改编辑等操作&#xff09;。 获取源码 1&#x…

开放式耳机对耳朵好吗?开放式耳机哪个品牌好?

许多人在选择开放式耳机时并不了解如何选购。对开放式耳机也不是很了解&#xff0c;所以我在这里做个简单的科普和分享。今天跟大家聊聊开放式耳机会伤害耳朵吗&#xff1f;开放式耳机有什么好处&#xff1f;等等&#xff0c;下面一起来看看吧~ 开放式耳机是什么意思&#xff1…

如何有效激活微信陌生客户:加好友后的沟通策略!

在当今这个数字化时代&#xff0c;微信已成为我们与客户建立联系的重要桥梁。对于许多企业和个人而言&#xff0c;成功添加陌生客户到微信列表只是第一步&#xff0c;真正的挑战在于如何有效激活这些潜在客户&#xff0c;转化为实际交易或长期关系。 下面分享一些沟通策略&…

oracle ONS configuration failed NoserversAvailable:Subscription time out导致应用起不来

java.lang.IllegalArgumentException:ONS configuration failed Caused by: oracle.ons.NoserversAvailable:Subscription time out ##已部署到服务器解决方案&#xff1a; 修改这个2个jar包后缀 ##在项目工程里面&#xff0c;<artifactId>ojdbc8</artifactId> m…

具有强制函数的物理信息神经网络

图片由 agsandrew 在 iStock 上发布 一、说明 在物理学、数学、经济学、工程学和许多其他领域&#xff0c;微分方程根据变量的导数来描述函数。简而言之&#xff0c;当涉及一个变量相对于其他变量的变化率时&#xff0c;你可能会找到一个微分方程。许多示例描述了这些关系。微分…

debian12 - install and config telnet

文章目录 debian12 - install and config telnet概述笔记配置文件END debian12 - install and config telnet 概述 前面实验&#xff0c;在xinetd中指定telnet服务&#xff0c;查看状态时&#xff0c;看到telnet服务bind失败。 直接从其他计算机来连telnet又是正常的&#xf…

随记-部署flink-1.16.3、jdk-11.0.19、zookeeper-3.4.13、kafka_2.12-2.2.2

一、部署flink-1.16.3、jdk-11.0.19、zookeeper-3.4.13、kafka_2.12-2.2.2 #软件下载 https://archive.apache.org/dist/kafka/2.2.2/kafka_2.12-2.2.2.tgz https://archive.apache.org/dist/zookeeper/zookeeper-3.4.13/zookeeper-3.4.13.tar.gz https://archive.apache.org/…

Clustering-Guided Class Activation for WeaklySupervised Semantic Segmentation

pdf&#xff1a;https://ieeexplore.ieee.org/stamp/stamp.jsp?tp&arnumber10381698 code&#xff1a;https://github.com/DCVL-WSSS/ClusterCAM 摘要&#xff1a; 基于transformer的弱监督语义分割(WSSS)方法利用其捕获全局上下文的强大能力得到了积极的研究。然而&am…

day8JS-作用域

1. 变量的作用域(变量函数) 作用域是变量的可作用范围&#xff0c;变量只有在自己的作用域下才会生效。 函数会产生作用域&#xff0c;在函数内定义的变量只能在函数内使用。 2. 作用域分类 局部作用域&#xff1a; 函数内定义的变量和形参的作用域就是局部作用域&#xff1b;这…

【Hot100】LeetCode—207. 课程表

目录 1- 思路有向图记录入度数组出度列表 2- 实现⭐207. 课程表——题解思路 3- ACM 实现 题目连接&#xff1a;207. 课程表 1- 思路 有向图记录入度数组出度列表 根据输入① 构造遍历构造入度数组② 构造出度列表根据入度数组为 0 的数 加入到 队列中&#xff0c;进行处理 2…

在线拼图用什么软件?5款顶级照片拼接工具

照片拼接在一起用什么软件&#xff1f;当你想全景展现山西应县木塔的震撼之美时&#xff0c;5款精选照片拼接软件能帮你解锁全新视角。 这座千年古塔&#xff0c;巍峨耸立&#xff0c;细节之处尽显匠心独运。而通过拼接技术&#xff0c;每一块木构的精致、每一层塔檐的飞翘都能…

OpenBayes 教程上新 | 青岛小哥焦恩俊版二郎神来袭,MuseV + MuseTalk 分分钟实现高质量数字人制作!

使用传统的数字人训练方案生成一个高质量的数字人&#xff0c;常常需要大量的时间和算力资源&#xff0c;同时对训练素材的要求也较高&#xff0c;如果想要达到良好的唇形一致效果&#xff0c;通常需要数小时乃至更久。 MuseV 和 MuseTalk 的出现为数字人领域带来了新的突破&a…