C++ 关于泛型模板的相关问题

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了C++ 关于泛型模板的相关问题，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含6699字，纯文字阅读大概需要10分钟。

内容图文

泛型编程最早提出的目的是为了减轻代码量，避免无意义的重载而提出的；

在检查的时候并不针对于泛型进行检查，只有在编译的时候才会针对于template的类型来进行实例化；

泛型函数模板：

补充：关于内联函数的问题

内联函数类似于c中的宏展开，本质上就是为了减少调用栈的开销而提出的，采用inline方式来构造；

泛型函数也可以使用内联函数，对于最简单的例子如下：

#include<stdio.h>
#include<iostream>
#include<vector>
#include<string>
using namespace std;

template <typename T> inline T cmp(const T& t1, const T& t2) {
	if (t1 > t2)
		return t1;
	else
		return t2;
}

int main() {
	int a = 1, b = 0;
	string s1 = "123", s2 = "234";
	cout << cmp(a, b) << endl;
	cout << cmp(s1, s2) << endl;
	system("pause");
}

泛型类模板：

#include<stdio.h>
#include<iostream>
#include<vector>
#include<string>
using namespace std;

template <typename Type> class Queue {
public:
    Queue();
    type& front();
private:
    //...private person
};

int main() {
    system("pause");
}

如上所示，和泛型函数模板类似，就是在类的定义前加了模板定义；

模板类型形参：

模板类型形参主要指模板尖括号中的声明元素；

主要注意两点：

1.对于模板声明，typename和class都可以，但是前者只适用于C++标准，后者通用；

2.对于size_type这种容器的成员，其实属于类，对于模板中使用size_type作为类型，需要使用typename来指定，该成员是类中的一个类型，而非一个类数据；

如下所示：

template <class Parm, class U> Parm fcn(Parm* array, U value) {
	typename Parm::size_type* p;
	Parm::v = value;
}

3.关于非模板类型形参的问题：

对于template尖括号中的内容，不一定非要用模板来进行确定，也可以直接采用非模板参数来进行定义，如下所示：

#include<stdio.h>
#include<iostream>
#include<vector>
#include<string>
using namespace std;

template<typename T, int N> void output(T(&parm)[N]) {
	cout << N << endl;
}
int main() {
	int x[42];
	double y[34];
	output(x);
	output(y);
	system("pause");
}

个人认为该行为最主要的就是隐式的传递了参数；

例如上述的数组大小，避免了函数形参中需要显式的传递数组大小，直接通过模板定义中进行传递；

但是针对于后面的论述，模板参数定义中，参数定义越少越好；

指定模板形参：

其中最主要的特点之一就是可以指定特定的返回值，但是尤其要注意的是模板形参列表得顺序。

一般而言，模板形参的第一个列表可以作为指定的返回值来使用：

#include<stdio.h>
#include<iostream>
#include<vector>
#include<string>
using namespace std;

template <typename T, typename U, typename V> T output(U a, V b) {
    cout << a << endl << b << endl;
    return a + b;
}

int main() {
    cout << output<int>(1.5, 2.6) << endl;
    system("pause");
}

比较重要的还是注意返回值的指定类型。一般来说默认尖括号的第一个位置是返回值；

类模板成员——通过Queue类得构造来理解类泛型：

在这样给小章节，书中主要举例了Queue类的构造，通过例子来说明类模板的一些问题，比如友元、模板实参、成员模板以及static成员。

首先对于Queue队列中元素的定义：

template <typename Type>class QueueItem {
	QueueItem(const Type& t) :item(t), next(0) {};
	Type item;
	QueueItem* next;
};

直接使用模板在QueueItem中进行定义，对于QueueItem中的类型，可以在实例化Queue中进行保存。本次的例子采用链表进行保存；

#include<iostream>
#include<string>
#include<stdio.h>
using namespace std;

template <typename Type>class QueueItem {
public:
	QueueItem(const Type& t) :item(t), next(0) {};
	Type item;
	QueueItem* next;
};

template <typename Type> class MQueue {
public:
	MQueue() :head(0), tail(0) {}
	MQueue(const MQueue& Q) :head(0), tail(0) {
		copy_elems(Q);
	}
	MQueue& operator=(const MQueue&);
	~MQueue() {
		destory();
	}
	Type& front() {
		return head->item;
	}
	const Type& front() const {
		return head->item;
	}
	void push(const Type&);
	void pop();
	bool empty() const {
		return head == 0;
	}
	
private:
	QueueItem<Type>* head;
	QueueItem<Type>* tail;
	void destory();
	void copy_elems(const MQueue&);
};

//类函数类外定义形式采用：
//template <typename type>ret-type class_name<Type>::memeber_name
template <typename type> void MQueue<type>::destory() {
	while (!empty())
		pop();
}

template <typename type> void MQueue<type>::pop() {
	QueueItem<type>* p = head;
	head = head->next;
	delete p;
}

template <typename type> void MQueue<type>::push(const type& val) {
	QueueItem<type>* pt = new QueueItem<type>(val);
	if (empty()) {
		head = tail = pt;
	}
	else {
		tail->next = pt;
		tail = pt;
	}
}

template <typename type> void MQueue<type>::copy_elems(const MQueue& orig) {
	for (QueueItem<type>* pt = orig.head; pt; pt = pt->next)
		push(pt->item);
}

值得注意

1.private中的QueueItem指针head和tail，直接通过实例化Queue的模板参数就可以给定了QueueItem的类型；

2.在当前类模板的生效范围内，如果想采用其他模板类，必须要对其指定类型;

对于友元问题：

模板的友元问题也可以很好的在这里得到体现。

对于非模板类，如果声明友元函数，可以i很好的构建一个的或者多个实体的有缘关系。

对于模板而言，又有不同的几种情况：

1.授予对友元素说有实例的访问权；

2.只授予模板实例化的特定实例的访问权；

针对于所有实例都有访问权：

template <typename Type> class Bar {
	template <typename T> friend class Fool;
};

该实例其实说明了对于所有的Fool模板实例化的类函数，都可以访问Bar模板所有实例的成员函数和成员；

这里再声明一下友元类的一些细节。

如果A中声明了友元类B，则B的成员函数可以视为A的成员函数，等价于可以直接访问A中的所有私有成员。

同样的，如果是针对于友元函数，而非友元类：

template <typename Type> class Bar {
	//template <typename T> friend class Fool;
	template <typename T> friend void temp1_fcn1(const T&);
};

针对于特定实例的友元关系：

一般有两种情况：

1.同类型模板友元：

template <typename Type> class Bar {
	friend class Fool<Type>;
	friend void temp1_fcn1<Type>(Type const&);
};

可以清楚的看到，Fool的实例化类型和Bar类似，所以说明只有同类型的Fool才可以访问Bar的私有成员；

2.指定类型友元：

template <typename Type> class Bar {
	friend class Fool<char*>;
	friend void temp1_fcn1<char*>(char* const&);
};

可以显而易见，虽然Fool依然是模板，但是制定了类型，Fool<char*>，友元函数同理；

所以可以理解为，只有char*类型的模板实例化可以访问Bar的私有成员；

因此，针对于前面的MQueue中，可以不再将QueueItem变为共用成员，直接采用友元声明：

template <typename Type> class MQueue;

template <typename Type>class QueueItem {
public:
	QueueItem(const Type& t) :item(t), next(0) {}
	friend class MQueue<Type>;
private:
	Type item;
	QueueItem* next;
};

但是要注意声明问题，即在声明友元类的时候，进行初始化；

关于成员模板的问题：

一般来说，不一定是类或者函数整体声明为模板，也可以在类内声明模板函数。

例如典型的assign成员函数；

template <typename It> MQueue(It beg, It end) : head(0), tail(0) {
		copy_elems(beg, end);
	}
template <typename Iter> void assign(Iter, Iter);
template <typename Iter> void copy_elems(Iter, Iter);
//对于该情况，比较典型的需求是将不同类型的元素相互转换，例如vector和Queue相互转换。

所以对于两个不同的模板可以模板类内嵌套的方式进行解决；

对于详细的类外定义，注意，需要补全模板成员函数的声明：

template <typename type> template<typename Iter> void MQueue<type>::assign(Iter beg, Iter end) {
	destory（）;
	copy_elems(beg, end);
}

template <typename type> template<typename Iter> void MQueue<type>::copy_elems(Iter beg, Iter end) {
	while (beg != end) {
		push(*beg);
		++beg;
	}
}去

内容总结

以上是互联网集市为您收集整理的C++ 关于泛型模板的相关问题全部内容，希望文章能够帮你解决C++ 关于泛型模板的相关问题所遇到的程序开发问题。如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端

扫描二维码推送至手机访问。

本文链接：https://qyyshop.com/info/620864.html

来源：【匿名】

【上一篇】C++ STL map 【下一篇】c++有个库什么的吗?

更多 ►

【C++ 关于泛型模板的相关问题】教程文章相关的互联网学习教程文章

C++泛型线性查找算法——find《泛型编程和STL》笔记及思考。线性查找可能是最为简单的一类查找算法了。他所作用的数据结构为一维线性的空间。这篇文章主要介绍使用 C++ 实现泛型算法 find的过程。C 版本首先介绍 C find 算法的实现，用以引入 C++ 版本。char *find1(char *first,char *last,int c) {while(first != last && *first != c)++first;return first; }该版本的算法循环检查每个元素，尾后指针(last)作为结束标识。使用举...

C和C++中泛型编程 - 适应不同类型参数的函数

首先一个简单的问题，如何实现交换两个整数的值？想必每个有编程经验的人都能作答。C语言用指针实现如下：void swap(int * a, int * b){int tmp = *a;*a = *b;*b = tmp; } C++可以使用引用实现如下： void swap(int & a, int & b){int tmp = a;a = b;b = tmp; } 顺便记录另外两个很有意思的实现，不用中间变量tmp （面试中可能会问到）： void swap(int & a, int & b){a = a + b;b = a - b;a = a - b; }void swap(int & a, int & ...

C++泛型编程、模板【代码】

模板的定义模型形参表不能为空// 比较器 template <tempname T> int compare(const T &v1, const T &v2) {if (v1 < v2) return -1;if (v2 < v2) return 1;return 0; }inline函数模板定义template <tempname T> inline int compare(const T &v1, const T &v2);类模板定义#include <iostream> #include <string> using namespace std; template <class T1,class T2> class Pair { public:T1 key; //关键字T2 value; //值Pair(T1 k...

c++泛型为什么存在？

c++作为一种从c演变过来的并且采用了面向对象理念的半面向过程半面向对象的编程语言，在c的显式转换和隐式转换的基础上，也有自己的类型转化方式。在具体讨论c++的类型转换之前，首先来了解一下其中用到的重要的技术思想-泛型。　　还是首先来举一个老生常谈的例子，写一个比较两个数据对象大小的函数，如果不出意外的话，可能至少有以下几个:　　 1int cmp(int a,int b); 2double cmp(double a,double b); 3doubleint cmp(int a,...

【C/C++】【模板和泛型】类模板【代码】

概述用类模板实例化一个特定的类；编译器不能为类模板推断模板参数，为了使用类模板，必须在模板名后用<>来提供额外的信息；同一套代码，可以应付不同的数据类型；类模板定义格式template <typename T, ...> class name {} 实例化类模板的时候，必须要有类的全部信息，包括类模板中成员函数的函数体；类模板的成员函数类模板成员函数可以写在类模板定义中，这些成员函数被隐式声明为内联函数；把成员函数的函数体（函数具体实现）放...

C++ primer 模板与泛型编程

继续浏览c++ primer 看到模板与泛型编程这章，就顺便把这几节的代码综合了下，对一个Queue队列模板的实现贴一下代码(看完书，自己敲，忘记了哪再看下书)#include <ostream> using std::ostream;//声明Queue的模板类 template <class Type> class Queue; //声明模板函数 template <class T> ostream& operator<<(ostream& , const Queue<T>&);//定义QueueItem的模板类 template <class Type> class QueueItem {//定义友元模板类和友...

Chapter10（泛型算法）--C++Prime笔记

关键：算法通过在迭代器上进行操作来实现类型无关。算法不改变所操作序列的大小。1.算法大多都定义在algorithm头文件中，标准库还在头文件numeric中定义了一组数值泛型算法。2.泛型算法永远也不会改变底层容器的大小。3.用一个单一迭代器表示第二个程序的算法都假定第二个序列至少与第一个一样长。4.插入迭代器：当我们通过一个插入迭代器赋值时，一个与赋值号右侧值相等的元素被添加到容器中。5.多个算法都提供所谓的拷贝版本。这...

atitit.泛型编程总结最佳实践 vO99 java c++ c#.net php

atitit.泛型编程总结最佳实践 vO99 java c++ c#.net php\1. 泛型历史 1由来 12. 泛型的机制编辑 1机制 1编译机制 23. 泛型方法定义1::前定义 2标签... 2' ref='nofollow'>4. 泛型方法定义2::后定义，方法也需要加标签... 2meth(); 2' ref='nofollow'>5. 调用泛型方法::: cls.meth(); 26. //反回值为范型 27. 参考 3 1. 泛型历史泛型编程（Generic Programming）最初提出时的动机很简单直接：发明一种语言机制，能够帮助实现一个通...

C++学习笔记32:泛型编程拓展1

标准模板库的内容标准模板类：复数、序偶迭代器标准容器：向量，表，栈，队列，集合，映射等标准算法：查找，排序等标准模板库型式的使用方法“<>”：模板名称<数据对象基型式>数据对象名称；例子1：complex<double>a(1.0,2.0);例子2：pair<string,string>name("zhang","san");(序偶)例子3：vector<int>v(8); 复数一般说明头文件：“complex”模板名：complex<>基型式：float,double,long double首选double,float精度低，long doub...

c++模板与泛型编程基础【代码】【图】

（1）定义函数模板（function template）函数模板是一个独立于类型的函数，可以产生函数的特定类型版本。// implement strcmp-like generic compare function template <typename T> int compare(const T &v1, const T &v2) {if (v1 < v2) return -1;if (v2 < v1) return 1;return 0; }模板定义以关键字template开始，后接尖括号括住的模板形参表。模板形参可以是表示类型的类型形参（type parameter），也可以是表示常量表达式的非...

《C++ Primer》对象、数组、基于对象设计、泛型设计

数组 C++ 不支持数组的抽象 abstraction 也不支持对整个数组的操作我们有时会希望对整个数组进行操作例如把一个数组赋值给另外一个数组对两个数组进行相等比较或者想知道数组的大小 size 例如给出两个数组我们不能用赋值操作符把一个数组拷贝到另一个中去。 int array0[ 10 ], array1[ 10 ]; array0 = array1; // error 数组类型本身没有自我意识它不知道自己的长度我们必须另外记录数组本身的这些信息。数组和指针的关系： int ...

Part10 泛型程序设计与C++标准模板库 10.1泛型程序设计及STL的结构【代码】【图】

1泛型程序设计的基本概念泛型程序设计：　　编写不依赖于具体数据类型的程序　　将算法从特定的数据结构中抽象出来，成为通用的　　C++的模板为泛型程序设计奠定了关键的基础术语：概念用来界定具备一定功能的数据类型。例如：　　将“可以比大小的所有数据类型（有比较运算符）”这一概念记为Comparable 　　将“具有公有的复制构造函数并可以用‘=’赋值的数据类型”这一概念记为Assignable 　　将“可以比大小、具有公有的复...

《C++ Primer》读书笔记—第十六章模板与泛型编程【代码】

---恢复内容开始---声明：文中内容收集整理自《C++ Primer 中文版（第5版）》，版权归原书所有。学习一门程序设计语言最好的方法就是练习编程1、面向对象编程和泛型编程都是处理在编写程序时不知道类型的情况，不同之处在于，OOP能处理类型在程序运行之前都未知的情况，而在泛型编程中，在编译时就能获知类型了。2、泛型编程与面向对象编程一样,都依赖于某种形式的多态性。面向对象编程中的多态性在运行时应用于存在继承关系的类。...

8、泛型程序设计与c++标准模板库2.5容器适配器

容器适配器是用来扩展7中基本容器的，是修改和调整其他类接口的类。他们不提供存放数据的实际数据结构的实现方法，而且容器适配器也不支持迭代器。1、标准栈容器使用STL中的标准栈为程序员提供了一层附加的保护，下溢和上溢的情况在发生之间就会被捕获。标准栈容器是使用适配器与一种基础容器相结合来实现的。使用适配器类，必须要包含他们的头文件，栈是<stack>中声明的。适配器在声明时必须传递参数，指明栈元素的类型及适配器将...

第十一章泛型算法 C++ PRIMER

vector<int>::const_iterator result = find(vector.begin(). vector.end(),search_value); 如果查找失败，分会end（）如果有两个，会返回哪一个的迭代器？int *reauslt = find(ia,ia+6,search_value); 也可以同样处理字符串算法要以<algorithm><numeric>,依赖于迭代器和迭代器的算法实现，算法可能改变值，可能移动元素，单从不直接添加或者删除元素int sum = accumulate(vec.begin(),vec.end(),42); 最后一个参数是必须的，因...

C++ - 技术教程分类

C++ 教程 C++ 简介 C++ 基本语法 C++ 注释 C++ 数据类型 C++ 变量类型 C++ 变量作用域 C++ 常量 C++ 修饰符类型 C++ 存储类 C++ 运算符 C++ 循环 C++ 判断 C++ 函数 C++ 数字 C++ 数组 C++ 字符串 C++ 指针 C++ 引用 C++ 日期 & 时间 C++ 基本的输入输出 C++ 数据结构 C++ 类 & 对象 C++ 继承 C++ 重载运算符和重载函数 C++ 多态 C++ 数据抽象 C++ 数据封装 C++ 接口（抽象类） C++ 文件和流 C++ 异常处理 C++ 动态内存 C++ 命名空间 C++ 模板 C++ 预处理器 C++ 信号处理 C++ 多线程 C++ Web 编程 C++ 标准库 C++ 有用的资源 C++ 实例 c++ 全部

C++ - 最热教程

C++通过共享内存实现进程间通信（windo...C++基于EasyX制作贪吃蛇游戏（一）文档 C++中的分治算法及常见题目汇总【C++】stringstream的str() 和 string...c++中内置函数qsort（快速排序）和bsea...VS2019 C++创建一个简单项目demo [C++]VS2015用动态链接(MD/MDd)方式编译...C/C++编程学习 - 第15周 ⑥ 药房管理万维考试系统检测不到VC++ 6.0环境解决...C/C++ QT自定义对话框与MID窗体

首页 / C++ / C++ 关于泛型模板的相关问题

C++ 关于泛型模板的相关问题

内容导读

内容图文

泛型函数模板：

泛型类模板：

模板类型形参：

指定模板形参：

类模板成员——通过Queue类得构造来理解类泛型：

首先对于Queue队列中元素的定义：

对于友元问题：

关于成员模板的问题：

内容总结

内容备注

内容手机端

【C++ 关于泛型模板的相关问题】教程文章相关的互联网学习教程文章

C++泛型线性查找算法——find【代码】

C和C++中泛型编程 - 适应不同类型参数的函数

C++泛型编程、模板【代码】

c++泛型为什么存在？

【C/C++】【模板和泛型】类模板【代码】

C++ primer 模板与泛型编程

Chapter10（泛型算法）--C++Prime笔记

atitit.泛型编程总结最佳实践 vO99 java c++ c#.net php

C++学习笔记32:泛型编程拓展1

c++模板与泛型编程基础【代码】【图】

《C++ Primer》对象、数组、基于对象设计、泛型设计

Part10 泛型程序设计与C++标准模板库 10.1泛型程序设计及STL的结构【代码】【图】

《C++ Primer》读书笔记—第十六章模板与泛型编程【代码】

8、泛型程序设计与c++标准模板库2.5容器适配器

第十一章泛型算法 C++ PRIMER

C++ - 技术教程分类

C++ - 最新教程

C++ - 最热教程