学习c++ traits

#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和模板后，你只需要对某些进行特例话即可。