想寫(xiě)一篇C++ traits方面的文章已經(jīng)有一段時(shí)間了，但是說(shuō)實(shí)話traits這項(xiàng)技術(shù)確實(shí)有些晦澀，很擔(dān)心寫(xiě)完了達(dá)不到期望的效果，于是每每試圖以簡(jiǎn)煉的文字表達(dá)，慢慢的就等到了今天。

先說(shuō)說(shuō)我為什么專(zhuān)門(mén)對(duì)這項(xiàng)技術(shù)寫(xiě)一篇文章吧。記得當(dāng)時(shí)在看STL/boost代碼的時(shí)候經(jīng)常遇到traits，當(dāng)時(shí)驚嘆于代碼原來(lái)可以這樣寫(xiě)，但是最初根本是看不懂的，查了一些資料才徹底理解了traits存在的意義。

本質(zhì)定義：加上一層間接性，換來(lái)以定的靈活性。

看下面的代碼：

template <typename T> 
struct is_void
{ static const bool value = false; };
template <> 
struct is_void<void>
{ static const bool value = true; };

我們可以這樣使用這份代碼：

Is_void<false>::value 調(diào)用第一份代碼，也就是說(shuō)只要我們傳入一個(gè)參數(shù)像下面這樣：

Is_void<T>::value，其中T可以為任意類(lèi)型，我們就可以判斷這個(gè)類(lèi)型是不是void在編譯期。

完整測(cè)試代碼如下：

template <typename T> 
struct is_void
{ 
    static const bool value = false; 
};

template <> 
struct is_void<void>
{ 
    static const bool value = true; 
};

int _tmain(int argc, _TCHAR* argv[])
{
    std::cout<<is_void<int>::value;
    
    std::cout<<is_void<void>::value;
    return 0;
}

下面我們來(lái)看一個(gè)復(fù)雜點(diǎn)的例子，考驗(yàn)一下你的理解：

namespace detail{
    template <bool b>
    struct copier
    {
       template<typename I1, typename I2>
       static I2 do_copy(I1 first, I1 last, I2 out);
    };

    template <bool b>
    template<typename I1, typename I2>
    I2 copier<b>::do_copy(I1 first, I1 last, I2 out)
    {
       while(first != last)
       {
          *out = *first;
          ++out;
          ++first;
       }
       return out;
    }
    template <>
    struct copier<true>
    {
       template<typename I1, typename I2>
       static I2* do_copy(I1* first, I1* last, I2* out)
       {
          memcpy(out, first, (last-first)*sizeof(I2));
          return out+(last-first);
       }
    };
    }

    template<typename I1, typename I2>
    inline I2 copy(I1 first, I1 last, I2 out)
    {
       typedef typename 
        boost::remove_cv<
         typename std::iterator_traits<I1>
          ::value_type>::type v1_t;
       typedef typename 
        boost::remove_cv<
         typename std::iterator_traits<I2>
          ::value_type>::type v2_t;
       enum{ can_opt = 
          boost::is_same<v1_t, v2_t>::value
          && boost::is_pointer<I1>::value
          && boost::is_pointer<I2>::value
          && boost::
          has_trivial_assign<v1_t>::value 
       };
       return detail::copier<can_opt>::
          do_copy(first, last, out);
}