C++模板之模板成员函数不能偏特化

2024-06-16 13:28

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

目录

1.引言

2.类模板成员函数的特化

2.1.没有函数特化的类模板

2.2.增加函数特化        

3.“曲线救国”函数“偏特化”

3.1.函数重载实现“偏特化”

3.2.使用类型选择机制实现“偏特化”

4.总结


1.引言

        C++ 泛型编程的资料在介绍类模板的特化和偏特化的时候,都会提到“虽然类模板可以偏特化,但是类模板的成员函数不可以偏特化”。对于初次接触泛型编程的 C++ 程序员来说,甚至对 C++ 有一定了解的人,一时也会摸不着头脑。到底模板成员函数的特化和偏特化是怎么回事儿,类模板成员函数不能偏特化是什么意思?本文就用几个简单的例子解释一下这句话。

2.类模板成员函数的特化

2.1.没有函数特化的类模板

        当你开始了解 C++ 的泛型编程的时候,类模板的特化和偏特化就是两个绕不开的话题。在很多 C++ 的书籍中都会提到一点,就是:“虽然类模板可以偏特化,但是类模板的成员函数不可以偏特化”。这句话到底是什么意思呢?本篇小文就用一段例子代码,直观地解释一下这句话。读懂本篇小文,你需要对 C++ 的类模板、类模板的特化相关的概念和 C++ 的语法实现有基本的了解。
        废话少说,我们先定义一个类模板 SpecialClass<> ,它有两个模板参数,分别是 U 和 T。这个类模板有两个(函数)方法,即 FuncA() 和 FuncB(),如下代码片段所示:

        对于这个类模板,我们可以这样实例化它们,下面的代码片段中,sp1 和 sp2 就是类模板的两个实例化对象:

        不出意料,两个类模板的实例对象的函数调用的输出结果都是主模板(Primary Template)类的 FuncA() 和 FuncB() 的输出:

SpecialClass::FuncA(U, T) invoked!
SpecialClass::FuncB(U, T) invoked!
SpecialClass::FuncA(U, T) invoked!
SpecialClass::FuncB(U, T) invoked!

2.2.增加函数特化        

        既然标准已经说了,类模板不支持成员函数的偏特化,那么我们先来个全特化成员函数,看看全特化成员函数是什么情况。我们对 FuncA() 进行全特化,保留 FuncB() 作为对比:

        我们用 int 和 char 对 FuncA() 进行特化,然后再像代码 2 那样创建两个类模板的实例,此时运行的结果如下所示,第二个实例中的 FuncA() 特化起了作用,但是 FuncB()仍然是主模板类的函数:

SpecialClass::FuncA(U, T) invoked!
SpecialClass::FuncB(U, T) invoked!
SpecialClass::FuncA(int, char) invoked!
SpecialClass::FuncB(U, T) invoked!

        正如标准所说的那样,类模板中函数的全特化是没有问题的,那么我们现在来看看函数的偏特化。如下代码片段所示,我们只特化模板参数 T:

        终于,编译器拒绝编译这段代码,不同的编译器可能给出的错误信息不一样。我用的 gcc 7.3 抱怨说 FuncA 的类型 class SpecialClass<U, char> 声明不完整,Visual C++ 14.0(Visual Studio 2015) 给出的错误信息是SpecialClass<U,char>::FuncA 无法匹配已经存在的函数声明:void SpecialClass<U,T>::FuncA(U,T) 。编译器的提示信息和大多数涉及模板的编译错误提示信息一样,一如既往的含蓄和隐晦。
        至此,我们已经用具体的例子解释了类模板成员函数的特化和偏特化(不被允许),实际上,不仅类模板的成员函数不支持偏特化,有具体的名字域(namespace)级别的非成员函数,也不支持偏特化。如果我们不死心,一定要 FuncA 的第二个参数使用 char 类型怎么办呢?方法当然有,那就是利用 C++ 语言的函数重载机制“曲线救国”。

3.“曲线救国”函数“偏特化”

        注意,这里要介绍的两个方法都不是真正意义上的函数偏特化,因为 C++ 不支持模板函数偏特化,所以标题都加了引号。这里介绍的两种方法都是采用模拟的方法,让编译器能够根据函数参数的差异实现函数的最佳匹配。

3.1.函数重载实现“偏特化”

        假如我们无论如何都要给 SpecialClass<> 增加一个 FuncA 的定制版本: FuncA(U para1, char para2),使得这个函数对 char 类型参数时,能够使用更高效的算法实现。简单一点的方法就是利用函数重载,直接给 SpecialClass<> 增加一个重载函数,比如这样:

template <class U, class T>
class TestClass
{
public:void FuncA(U para1, T para2){std::cout << "TestClass::FuncA(U, T) invoked!" << std::endl;}void FuncA(U para1, char para2){std::cout << "TestClass::FuncA(U, char) invoked!" << std::endl;}
};//模板实例化应用
TestClass<std::string, double> tp1;tp1.FuncA("dsdfsd", 23.1); //第一个重载函数被调用
tp1.FuncA("dsdfsd", 'B'); //第二个重载函数被调用

3.2.使用类型选择机制实现“偏特化”

C++ 的 Tag Dispatching(标签派发) 惯用法-CSDN博客

        《Modern C++ Design》这本书里介绍了一种利用编译期间类型选择机制实现的“函数”的偏特化选择,这种技术被称为“Tag Dispatching”,其本质仍然是利用了 C++ 的函数重载机制,这里我们就简单介绍一下这种技术。
        首先介绍一种 C++ 泛型编程种常用的技巧,即“类型对类型的映射”。C++ 是一种强类型语言,对于类模板的实例来说,SomeClass<int> 和 SomeClass<double> 是两种不同的类型(虽然它们的代码是一套代码)。利用这个特点,我们可以定义一个类型到类型映射的模板类:

template <typename T>
struct Type2Type
{typedef T thisNewType;
};

        这里我想插入解答一个读者经常问我的问题,即:为什么你这里用 struct 而不是 class?其实不只是我,很多人都这么用,原因很简单,就是省事儿,你接着往下看就明白了。这样在获取映射类型的时候,就可以直接这么用:

Type2Type<T>::thisNewType 是个类型定义,可被用于编译器的自动推导Type2Type<int>::thisNewType a; // 等同于: int a;

        当然可以用 class ,不过别忘了,C++ 的 class 与 struct 的区别之一就是 class 的属性默认是私有的,如果用 class,代码要这么写:

template <typename T>
class Type2Type
{
public:typedef T thisNewType;
};

        好了,现在言归正传。我们已经知道 Type2Type<int> 和 Type2Type<double> 是两种完全不同的类型,如果将其作为函数的参数,就可以利用函数的重载机制,让编译器区分它们,既能够根据类型自动生成对应类型的函数实例,又能引导编译器将某些特定类型参数的函数调用链接到针对特定类型实现的函数体上。

template <class U, class T>
T* CreateObject(U para1, Type2Type<T>)
{std::cout << "SpecialTypeClass::CreateObject(U, T) invoked!" << std::endl;return new T(para1); //毫无意义的代码
}template <class U>
char* CreateObject(U para1, Type2Type<char>)
{std::cout << "SpecialTypeClass::CreateObject(U, char) invoked!" << std::endl;return new char(para1); //又一行毫无意义的代码
}

       使用起来也很简单,第二个参数仅仅是用于告诉编译器如何根据类型匹配正确的函数体:

double *pValue = CreateObject(5, Type2Type<double>());char *pCh = CreateObject(5, Type2Type<char>());

       没有悬念,程序输出如我们所愿:

SpecialTypeClass::CreateObject(U, T) invoked!
SpecialTypeClass::CreateObject(U, char) invoked!

        使用这种方法,还有一个好处,就是简化 CreateObject() 函数的使用。想想在 C++11 标准出来之前,为了让编译器能正确实作出对应模板参数的函数,我们不得不这样写代码:

//这样定义模板函数
template <class U, class T>
T* CreateObject(U para1)
{ std::cout << "SpecialTypeClass::CreateObject(U, T) invoked!" << std::endl; return new T(para1); //毫无意义的代码
}//这样使用模板函数
double *pValue = CreateObject<int, double>(5);

4.总结

        好了,本篇小文就写到这里,总结一下内容,首先实例代码讲解了很多 C++ 书籍都提到,但是没有细说的:“虽然类模板可以偏特化,但是类模板的成员函数不可以偏特化” 这句话的意思,然后又介绍了两种利用函数重载机制实现的变相函数“偏特化”的方法。

这篇关于C++模板之模板成员函数不能偏特化的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Python的time模块一些常用功能(各种与时间相关的函数)

《Python的time模块一些常用功能(各种与时间相关的函数)》Python的time模块提供了各种与时间相关的函数,包括获取当前时间、处理时间间隔、执行时间测量等,:本文主要介绍Python的... 目录1. 获取当前时间2. 时间格式化3. 延时执行4. 时间戳运算5. 计算代码执行时间6. 转换为指

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念: 本身也是一个字符串,其中

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

shell编程之函数与数组的使用详解

《shell编程之函数与数组的使用详解》:本文主要介绍shell编程之函数与数组的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录shell函数函数的用法俩个数求和系统资源监控并报警函数函数变量的作用范围函数的参数递归函数shell数组获取数组的长度读取某下的

MySQL高级查询之JOIN、子查询、窗口函数实际案例

《MySQL高级查询之JOIN、子查询、窗口函数实际案例》:本文主要介绍MySQL高级查询之JOIN、子查询、窗口函数实际案例的相关资料,JOIN用于多表关联查询,子查询用于数据筛选和过滤,窗口函... 目录前言1. JOIN(连接查询)1.1 内连接(INNER JOIN)1.2 左连接(LEFT JOI

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

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