侵权投诉
订阅
纠错
加入自媒体

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

2020-08-25 10:40
TXP嵌入式
关注

一、类模板的深入学习:

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,下期见!

声明: 本文由入驻维科号的作者撰写,观点仅代表作者本人,不代表OFweek立场。如有侵权或其他问题,请联系举报。

发表评论

0条评论,0人参与

请输入评论内容...

请输入评论/评论长度6~500个字

您提交的评论过于频繁,请输入验证码继续

暂无评论

暂无评论

文章纠错
x
*文字标题:
*纠错内容:
联系邮箱:
*验 证 码:

粤公网安备 44030502002758号