[轉載]__type_traits，轉載__type_traits

[轉載]__type_traits，轉載__type_traits

在STL中為了提供通用的操作而又不損失效率，我們用到了一種特殊的技巧，叫traits編程技巧。具體的來說，traits就是 通過定義一些結構體或類，並利用模板類特化和偏特化的能力，給類型賦予一些特性，這些特性根據類型的不同而異。在程序設計中可以使用這些traits來判 斷一個類型的一些特性，引發C++的函數重載機制，實現同一種操作因類型不同而異的效果。traits的編程技巧極度彌補了C++語言的不足 。

舉例：

現在定義一個__type_traits可以獲得類型的如下屬性：
1. 是否存在non-trivial default constructor 
2. 是否存在non-trivial copy constructor
3. 是否存在non-trivial assignment operator
4. 是否存在non-trivial destructor

struct __true_type {
};
struct __false_type {
};

template <class _Tp>
struct __type_traits {

   typedef __false_type    has_trivial_default_constructor;
   typedef __false_type    has_trivial_copy_constructor;
   typedef __false_type    has_trivial_assignment_operator;
   typedef __false_type    has_trivial_destructor;
};

問題：為什麼把對象的所有的屬性都定義為__false_type？
這樣是采用最保守的做法，先把所有的對象屬性都設置為__false_type，然後在針對每個基本數據類型設計特化的__type_traits，就可以達到預期的目的，如可以定義__type_traits<int>如下：

template <>
struct __type_traits<int> {
   typedef __true_type    has_trivial_default_constructor;
   typedef __true_type    has_trivial_copy_constructor;
   typedef __true_type    has_trivial_assignment_operator;
   typedef __true_type    has_trivial_destructor;
};

template <>
struct __type_traits<char> {
   typedef __true_type    has_trivial_default_constructor;
   typedef __true_type    has_trivial_copy_constructor;
   typedef __true_type    has_trivial_assignment_operator;
   typedef __true_type    has_trivial_destructor;
};

    ......

    ......

其他基本類型的traits也可以有相應的定義

__type_traits的偏特化版本
template <class _Tp>
struct __type_traits<_Tp*> {
   typedef __true_type    has_trivial_default_constructor;
   typedef __true_type    has_trivial_copy_constructor;
   typedef __true_type    has_trivial_assignment_operator;
   typedef __true_type    has_trivial_destructor;
   typedef __true_type    is_POD_type;
};

我們可以自定義__type_traits的特化版本
比如對與自定義的Shape類型，我們可以這樣定義__type_traits<Shape>
struct __type_traits<Shape> {
   typedef __false_type    has_trivial_default_constructor;
   typedef __true_type    has_trivial_copy_constructor;
   typedef __true_type    has_trivial_assignment_operator;
   typedef __true_type    has_trivial_destructor;
   typedef __true_type    is_POD_type;
};

如果編譯器夠厲害，我們甚至可以不用自己去定義特化的__type_traits，編譯器就能夠幫我們搞定：）

如何使用呢？

假設現在用個模板函數fun需要根據類型T是否有non-trivial constructor來進行不同的操作，可以這樣來實現：

template<class T>
void fun()
{
     typedef typename __type_traits<T>::has_trivial_constructor _Trivial_constructor;
    __fun(_Trivial_constructor()); // 根據得到的_Trivial_constructor來調用相應的函數
}

// 兩個重載的函數
void _fun(_true_type)
{
cout<<"fun(_true_type)called"<<endl;
}
void _fun(_false_type)
{
cout<<"fun(_false_type) called"<<endl;
}

//測試代碼

int main()
{
fun<char>();
fun<int>();
fun<char *>();
fun<double>();
}

vector<int>::difference_type 與iterator_traits<vector<int> >::difference_type有什不同？

你需要知道 iterator_traits 這個東西的作用
這個類的作用是得到某個迭代器的相關信息。比如 iterator_traits<vector<int>::iterator>::difference_type

iterator_traits 的模板參數是一種迭代器
vector<int> 是一種容器類型，並不是迭代器類型

以上是從邏輯上你的錯誤所在
從代碼上講，iterator_traits<T>的默認實現要求 T類型 定義過 iterator_category 等成員，顯然vector類並未定義過，所以編譯錯誤
 

QQ空間日志的分享 轉載 收藏有什不同

分享是把你喜歡的某篇日志分享給你的好友看，大家都能看見你分享了這篇日志，但這篇日志並不在你的QQ空間裡，別人點日志名時還是會進到原作者的空間。

轉載是把你喜歡的日志轉到自己的空間裡，也就是顯示在自己的日志列表裡，並且會顯示是轉載，當然你的好友也能看到你轉載了這篇文章。

收藏就是收藏起來以後隨時看，但是是自己偷著看的，好友看不到。。