C++ 模板 全特化与偏特化

2024-04-21 16:48
文章标签 模板 c++ 特化

本文主要是介绍C++ 模板 全特化与偏特化,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C++ 模板 全特化与偏特化

模板

模板定义:模板就是实现代码重用机制的一种工具,它可以实现类型参数化,即把类型定义为参数, 从而实现了真正的代码可重用性。模版可以分为两类,一个是函数模版,另外一个是类模版。

大白话:C++是一门强类型语言,编写一段通用的逻辑,可以把任意类型的变量传进去处理,通过把通用逻辑设计为模板,摆脱了类型的限制,极大地提升了代码的可重用性。

**模板实例化:**模板定义本身不参与编译,而是编译器根据模板的用户使用模板时提供的类型参数生成代码,再进 行编译。用户提供不同的类型参数,就会实例化出不同的代码。


类模板

类模板描述了一组相关的类或数据类型,它们只能通过类型来区分:整数值、指向(或引用)具有全局链接的变量的指针、其他的组合。类模板尤其适用于描述通用但类型安全的数据结构。

类模板使用:

template <类型形式参数>class 类名{//类声明体;};template <类型形式参数>返回类型 类名 <类型> :: 成员函数名1(形式参数){//成员函数定义体;}... ...template <类型形式参数>返回类型 类名 <类型> :: 函数名N(形式参数){//成员函数定义体;}

案例:

#include <iostream>using namespace std;template<class T>
class Compare
{
public:bool equal(T a,T b);
};template<class T>
bool Compare<T>::equal(T a, T b)
{return a == b;
}int main()
{Compare<int>C;C.equal(1,2);return 0;
}

类模板全特化

所谓模板全特化限定死模板实现的具体类型;

比如上述这个例子,我们比较int类型这种还可以,但是比较float这种类型就不行,这时候就需要进行模板特化;

#include <iostream>using namespace std;template<class T>
class Compare
{
public:bool equal(T a,T b);
};template<class T>
bool Compare<T>::equal(T a, T b)
{return a == b;
}//模板全特化
template<>
class Compare<float>
{
public:bool equal(float a, float b);
};bool  Compare<float>::equal(float a, float b)
{return std::abs(a - b) < 10e-3;
}int main()
{Compare<int>C;cout<<C.equal(1,2)<<endl;Compare<float>C2;cout<<C2.equal(1.001,1.001)<<endl;return 0;
}

类模板偏特化

偏特化是指提供另一份template定义式,而其本身仍为templatized,这是针对于template参数更进一步的条件限制所设计出来的一个特化版本。也就是如果这个模板有多个类型,那么只限定其中的一部分;

#include <iostream>using namespace std;template<class T1,class T2>
class Test
{
public:Test(T1 a, T2 b):_a(a),_b(b){cout << "模板化" << endl;}
private:T1 _a;T2 _b;
};//模板全特化
template<>
class Test<int,int>
{
public:Test(int a, int b) :_a(a), _b(b){cout << "模板全特化" << endl;}
private:int _a;int _b;
};//模板偏特化
template<class T>
class Test<int,T>
{
public:Test(int a, T b) :_a(a), _b(b){cout << "模板偏特化" << endl;}
private:int _a;T _b;
};int main()
{Test<double, double> t1(1.01, 1.01);Test<int, int> t2(1, 1);Test<int, char*> t3(1, "111");return 0;
}

函数模板

函数模板一般定义:

template <类型形式参数>      //类型形式参数即此格式:<typename  形式参数>  或 <class 形式参数>
返回类型  函数名 (形式参数)
{//函数定义体;
}

案例:

#include <iostream>using namespace std;//普通模板
template<class T1,class T2>
bool Compare(T1 a, T2 b)
{return a == b;
}int main()
{cout << Compare(1, 2) << endl;return 0;
}

函数模板特化

函数模板特化和类模板特化本质是一样的,是对模板参数的特殊化处理:

#include <iostream>using namespace std;//普通模板
template<class T1,class T2>
bool Compare(T1 a, T2 b)
{cout << "普通模板" << endl;return a == b;
}//函数模板特化
template<>
bool Compare(const char* a, const char* b)
{cout << "函数模板特化" << endl;return strcmp(a,b) == 0;
}int main()
{cout << Compare(1, 2) << endl;cout << Compare("ab","ab") << endl;return 0;
}

总结

1、函数模板只有特化,没有偏特化;

2、模板、模板的特化和模板的偏特化都存在的情况下,编译器在编译阶段进行匹配,优先特殊的;

3、模板函数不能是虚函数;因为每个包含虚函数的类具有一个virtual table,包含该类的所有虚函数的地址,因此vtable的大小是确定的。模板只有被使用时才会被实例化,将其声明为虚函数会使vtable的大小不确定。所以,成员函数模板不能为虚函数。


这篇关于C++ 模板 全特化与偏特化的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/923567

相关文章

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

IDEA自动生成注释模板的配置教程

《IDEA自动生成注释模板的配置教程》本文介绍了如何在IntelliJIDEA中配置类和方法的注释模板,包括自动生成项目名称、包名、日期和时间等内容,以及如何定制参数和返回值的注释格式,需要的朋友可以... 目录项目场景配置方法类注释模板定义类开头的注释步骤类注释效果方法注释模板定义方法开头的注释步骤方法注

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符(formatspecifier)快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a

C++ vector的常见用法超详细讲解

《C++vector的常见用法超详细讲解》:本文主要介绍C++vector的常见用法,包括C++中vector容器的定义、初始化方法、访问元素、常用函数及其时间复杂度,通过代码介绍的非常详细,... 目录1、vector的定义2、vector常用初始化方法1、使编程用花括号直接赋值2、使用圆括号赋值3、ve

如何高效移除C++关联容器中的元素

《如何高效移除C++关联容器中的元素》关联容器和顺序容器有着很大不同,关联容器中的元素是按照关键字来保存和访问的,而顺序容器中的元素是按它们在容器中的位置来顺序保存和访问的,本文介绍了如何高效移除C+... 目录一、简介二、移除给定位置的元素三、移除与特定键值等价的元素四、移除满足特android定条件的元

Python获取C++中返回的char*字段的两种思路

《Python获取C++中返回的char*字段的两种思路》有时候需要获取C++函数中返回来的不定长的char*字符串,本文小编为大家找到了两种解决问题的思路,感兴趣的小伙伴可以跟随小编一起学习一下... 有时候需要获取C++函数中返回来的不定长的char*字符串,目前我找到两种解决问题的思路,具体实现如下:

C++ Sort函数使用场景分析

《C++Sort函数使用场景分析》sort函数是algorithm库下的一个函数,sort函数是不稳定的,即大小相同的元素在排序后相对顺序可能发生改变,如果某些场景需要保持相同元素间的相对顺序,可使... 目录C++ Sort函数详解一、sort函数调用的两种方式二、sort函数使用场景三、sort函数排序

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++