#include <iostream>
struct foo_type{};
struct bar_type{};
template<class T>
struct my_traits{
typedef foo_type value_type;
};
template<>
struct my_traits<char>{
typedef bar_type value_type;
};
template<class T>
void add(T t1,T t2)
{
typename my_traits<T>::value_type type;
_add(t1,t2,type);
}
template<class T>
void _add(T t1,T t2,foo_type)
{
std::cout<<typeid(t1).name()<<" _add"<<std::endl;
}
template<class T>
void _add(T t1,T t2,bar_type)
{
std::cout<<typeid(t1).name()<<" _add"<<std::endl;
}
int main()
{
add(1,2);
add('1','2');
return 0;
}
最近看了一下traits方面的东西,记录一下以备今后忘记。首先traits这东西在你不使用模板风格编程的时候是基本没有用武之地的,注意是基本。
目前我的理解是,traits的本质是让某个类使用某个meta类来标记它具有某种特性,从而根据特性进行特殊处理。
比如根据特性,来调用某一个被重载的函数。这些主要是通过模板特例话进行的。同时typename这个关键字起到了获取 T的类型的目的。
在这里也是typename关键字同class关键字在模板编程中的主要不同点。
这里的例子表明了通过不同的type调用不同的_add 函数。虽然直接编写 _add(int,int) _add(char,char)两个函数重载也可以达到同样的目的,但是在这里我们可以看到
出了char类型以外,其他的所有类型在调用_add函数的时候都是第一个,只有char是第二个。这个也是模板的威力所在吧。不然你应该没有功夫去写这么多类型的_add函数的重载,而使用traits和模板后,你只需要对某些进行特例话即可。