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