一、类模板的深入学习:
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,下期见!
-
可编程逻辑
+关注
关注
7文章
514浏览量
44071 -
C++
+关注
关注
22文章
2104浏览量
73480
发布评论请先 登录
相关推荐
评论