C++数据结构模板进阶的多方面分析

 更新时间:2022年02月28日 17:05:15   作者:呆呆兽学编程  
今天我要给大家介绍C++中的模板更深的一些知识。有关于非类型的模板参数和模板特化的一些知识,感兴趣的朋友快来看看吧

⭐️博客代码已上传至gitee:https://gitee.com/byte-binxin/cpp-class-code

🌏非类型模板参数

模板参数分类类型形参与非类型形参。

  • 类型模板形参:出现在模板参数列表中,跟在class或者typename后面的参数类型名称。(这个我们之前有讲过)
  • 非类型模板形参:用一个常量作为模板的一个参数,必须是整形家族中的类型参数,否则不行。他在模板中可以当常量使用。

实例:

// 类型模板参数
namespace wxj
{
	// 非类型模板参数 N 是一个常量参数,只能是整形家族的:int short char long  long long    自定义类型和其他类型都不能作费类型模板参数
	// 必须在编译期就能确认结果
	template<class T, size_t N = 10>
	class Array
	{
	public:
		Array()
			:_size(N)
		{}
		T& operator[](size_t i)
		{
			return _arr[i];
		}
		const T& operator[](size_t i) const
		{
			return _arr[i];
		}
		size_t size()
		{
			return _size;
		}
		bool empty()
		{
			return _size == 0;
		}
	private:
		T _arr[N];
		size_t _size;
	};

	void TestArray()
	{
		Array<int, 5> arr;
		for (size_t i = 0; i < arr.size(); ++i)
		{
			arr[i] = i;
		}
		for (size_t i = 0; i < arr.size(); ++i)
		{
			cout << arr[i] << " ";
		}
		cout << endl;
	}
}

int main()
{
	wxj::TestArray();
	return 0;
}

代码运行结果如下:

看上面,我们定义了一个数组类,空间大小由N决定,类型是Array<T, size_t>

注意:

  • 非类型形参必须是整形家族中的类型,浮点数和类对象都不行。
  • 非类型的模板形参必须在编译期间就能确认结果。

🌏模板的特化

模板特化:在原模板类的基础上,针对特殊类型所进行的特殊化的实现。分为函数模板特化 和类模板特化。

🍯函数模板的特化

特化的步骤

  • 必须先有一个基础的函数模板
  • 关键字template后面接一对空的尖括号<>
  • 函数名后跟一对尖括号<>,里面指定需要的特化的类型
  • 函数形参列表:必须和函数模板的基础参数类型完全一致

实例

// 模板的特化    模板的特殊化
template<class T>
bool IsEqual(T& left, T& right)
{
	return left == right;
}

 // 特化  针对某些类型进行特殊化处理
template<>
bool IsEqual<const char* const>(const char* const& left, const char* const& right)
{
	return strcmp(left, right) == 0;
}

注意: 一般情况下如果函数模板遇到不能处理或者处理有误的类型,为了实现简单通常都是将该函数直接给出。

bool IsEqual(char* left, char* right)
{
	return strcmp(left, right) == 0;
}

🍯类模板的特化

类模板的特化分为全特化和偏特化。

全特化: 对类模板参数列表的类型全部都确定(明确指定)

template <class T1, class T2>
class Date
{
public:
	Date()
	{
		cout << "Date<T1, T2>" << endl;
	}
private:
	T1 _d1;
	T2 _d2;
};

// 全特化
template<>
class Date<int, double>
{
public:
	Date()
	{
		cout << "Date<int, double>" << endl;
	}
private:
	int _d1;
	double _d2;
};

偏特化: 堆类模板的参数列表中部分参数进行确定化分为部分特化和参数进一步限制

部分特化

// 部分
template<class T2>
class Date<int, T2>
{
public:
	Date()
	{
		cout << "Date<int, T2>" << endl;
	}
private:
	int _d1;
	T2 _d2;
};

参数进一步限制 如下有T*和T&,是模板的类型转为指针类型和引用类型

// 参数进一步限制  堆模板参数更进一步的条件限制
template <class T1, class T2>
class Date<T1*, T2&>
{
public:
	Date(int& a)
		:_d2(a)
	{
		cout << "Date<T1*, T2&>" << endl;
	}
private:
	T1* _d1;
	T2& _d2;
};

实例 我们试着实例化几个对象,看他们用的是哪个模板

int main()
{
	Date<int, int> d1;
	Date<int, double> d2;
	Date<int, float> d3;
	int a = 10;
	Date<int*, int&> d4(a);
	return 0;
}

代码运行结果:

🌏模板的分离编译

分离编译: 我们对这个应该是不陌生的,就是把函数的声明放在一个叫**.h的文件中,实现都放在一个叫.cpp**的文件中,这样方便我们管理。

下面我们试着对模板进行分离编译:

// a.h
#pragma once


// 普通函数
void Swap(int& a, int& b);
// 函数模板
template<class T>
T Add(const T& a, const T& b);

// a.cpp
#define _CRT_SECURE_NO_WARNINGS 1
#include "a.h"

// 普通函数
void Swap(int& a, int& b)
{
	int tmp = a;
	a = b;
	b = tmp;
}
// 函数模板
template<class T>
T Add(const T& a, const T& b)
{
	return a + b;
}

// test.cpp
#include "a.h"

int main()
{
	int a = 3;
	int b = 4;

	Swap(a, b);
	cout << "a = " << a << " b = " << b << endl;
	cout << Add(a, b) << endl;
	
	return 0;
}

代码运行结果如下

代码运行时发生了报错,说Add这个函数是没有见过的。得出结论:函数模板不能分离编译,普通函数可以。

为什么会这样呢?

C++程序运行一般经过几个阶段:预处理——>编译——>汇编——>链接(更详细的内容可以参考往期博客——程序的编译

  • 模板在.cpp中定义了,由于不知道T的类型,所以没有对模板进行实例化。
  • a.h 和 a.cpp 走的是两条不同的路,两条路都没有对模板进行实例化(因为不知道T的类型)。
  • 因为没有对模板进行实例化,所以没有函数参数,也就没有函数地址,所以在链接时,test.cpp中的调用Add函数时,没有函数地址,call调用不到Add函数,所以报错。

解决方法:

  • 暴力:不分离编译,统一放在一个.h或.hpp的文件中
  • 模板定义位置显示实例化(不推荐,这样就失去了泛型的特点)

🌐总结

模板进阶也就是这些内容了,喜欢的话,欢迎收藏支持~

到此这篇关于C++数据结构模板进阶的多方面分析的文章就介绍到这了,更多相关C++ 模板进阶内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • Qt利用QChart实现实时波形图的绘制

    Qt利用QChart实现实时波形图的绘制

    这篇文章主要介绍了Qt如何利用QChart实现实时波形图的绘制,文中的示例代码讲解详细,对我们学习有一定是参考价值,需要的可以参考一下
    2022-06-06
  • C++ 中滚动条的滚动问题

    C++ 中滚动条的滚动问题

    本文主要通过一个示例,给大家介绍了C++中滚动条的滚动问题,以及相关参数的解释,非常的详细,有需要的小伙伴可以参考下。
    2015-06-06
  • C++进程的创建和进程ID标识详细介绍

    C++进程的创建和进程ID标识详细介绍

    传统的C++(C++98)中并没有引入线程这个概念。linux和unix操作系统的设计采用的是多进程,进程间的通信十分方便,同时进程之间互相有着独立的空间,不会污染其他进程的数据,天然的隔离性给程序的稳定性带来了很大的保障
    2022-08-08
  • c语言中比较特殊的输入函数举例详解

    c语言中比较特殊的输入函数举例详解

    C语言提供了丰富的标准库函数,用于处理各种输入输出操作,下面这篇文章主要介绍了c语言中比较特殊的输入函数的相关资料,文中通过代码介绍的非常详细,需要的朋友可以参考下
    2024-09-09
  • c++自定义sort()函数的排序方法介绍

    c++自定义sort()函数的排序方法介绍

    这篇文章主要介绍了c++自定义sort()函数的排序方法介绍,文章通过围绕主题展开详细的内容戒杀,具有一定的参考价值,需要的小伙伴可以参考一下
    2022-09-09
  • 使用C++描绘心形

    使用C++描绘心形

    本文给大家分享的是一个使用c++绘制心形的代码,虽然情人节已经过去了,但是只要有心,天天都是情人节~~哈哈,让那些说程序猿都是木头的人去死吧。
    2015-03-03
  • C++ opencv将图片动漫化介绍

    C++ opencv将图片动漫化介绍

    大家好,本篇文章主要讲的是C++ opencv将图片动漫化介绍,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下
    2022-01-01
  • DEV C++自动补全文件头的设置操作教程

    DEV C++自动补全文件头的设置操作教程

    Dev-C++ 是一款轻量级的集成开发环境 (IDE),主要用于 C 和 C++ 的程序编写,它提供了基本的功能来帮助开发者更高效地工作,其中包括文件头的自动补全功能,本文就给大家介绍了DEV C++自动补全文件头的设置操作教程,需要的朋友可以参考下
    2025-04-04
  • C++详解如何实现单链表

    C++详解如何实现单链表

    线性表的链式存储又称为单链表,它是指通过一组任意的存储单元来存储线性表中的数据元素。本文将用C++实现单链表,需要的可以参考一下
    2022-06-06
  • C语言实现学生成绩等级划分的方法实例

    C语言实现学生成绩等级划分的方法实例

    这篇文章主要给大家介绍了关于C语言实现学生成绩等级划分的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-12-12

最新评论