C++之类模板深入学习的总结

描述

一、类模板的深入学习:

1、类模板可以定义任意多个不同的类型参数(这一点和模板函数一样)

template < typename T1, typenaem T2 >
class Test

public:
   void add(T1 a, T2 b);

//定义类对象时
Test

2、类模板可以被特化

指定类模板的特定实现

部分类参数必须显示指定

根据类型参数分开实现类模板

特化前:

template < typename T1, typename T2 >
class Test

 
};

特化后:

template < typename T >
class Test < T , T >

};

3、类模板的特化类型:

部分特化:用特定的规则约束类型参数

完全特化:完全显示指定类型参数

完全特化前:

template

完全特化后:

template < >
class Test < int, int>

};

代码实践:

#include

输出结果:

root@txp-virtual-machine:/home/txp# ./a.out
void add(T1 a, T2 b)
3.5
void add(T a, T b)
10
class Test  < T , T >
void add(void* a, void* b)
error to add void* parm
void add(T1* a, T2* b)
1.1

4、类模板特化注意事项:

(1)特化只是模板的分开实现

本质上是同一个类模板

(2)特化类模板的使用方式是统一的

必须显示指定每一个类型参数

5、类模板特化与重定义有区别吗?函数模板可以特化吗?

(1)重定义和特化的不同:

重定义:

--一个类模板和一个新类(或者两个类模板)

--使用的时候需要考虑如何选择的问题

特化:

--以统一的方式类使用类模板的特化类

--编译器自动优先选择特化类

(2)函数模板只支持参数完全特化

函数模板特化前:

template < typename T >
bool Equal(T a, T b)

  return a==b;

函数模板完全特化后:

template < >
bool Euqal

代码实践:

#include

输出结果:

root@txp-virtual-machine:/home/txp# ./a.out
bool Equal(T a, T b)
1
bool Equal

注解:当需要重载函数模板时,优先考虑使用模板特化;当模板特化无法满足需求,再使用函数重载

二、总结:

类模板可以定义任意多个不同的类型参数

类模板可以被部分特化和完全特化

特化的本质是模板的分开实现

函数模板只支持完全特化

工程中使用模板特化代替类(函数)重定义

好了,今天的分享就到这里,如果文章中有错误或者不理解的地方,可以交流互动,一起进步。我是txp,下期见!

审核编辑:符乾江
打开APP阅读更多精彩内容
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

全部0条评论

快来发表一下你的评论吧 !

×
20
完善资料,
赚取积分