[轉]Traits 編程技法+模板偏特化+template參數推導+內嵌型別編程技巧，traitstemplate

[轉]Traits 編程技法+模板偏特化+template參數推導+內嵌型別編程技巧，traitstemplate

STL中，traits編程技法得到了很大的應用，了解這個，才能一窺STL奧妙所在。

先將自己所理解的記錄如下：

Traits技術可以用來獲得一個 類型 的相關信息的。 首先假如有以下一個泛型的迭代器類，其中類型參數 T 為迭代器所指向的類型：

template <typename T>
class myIterator
{
 ...
};

當我們使用myIterator時，怎樣才能獲知它所指向的元素的類型呢？我們可以為這個類加入一個內嵌類型，像這樣：
template <typename T>
class myIterator
{
      typedef  T value_type; 
...
};
這樣當我們使用myIterator類型時，可以通過 myIterator::value_type來獲得相應的myIterator所指向的類型。

現在我們來設計一個算法，使用這個信息。
template <typename T>
typename myIterator<T>::value_type Foo(myIterator<T> i)
{
 ...
}
這裡我們定義了一個函數Foo，它的返回為為  參數i 所指向的類型，也就是T，那麼我們為什麼還要興師動眾的使用那個value_type呢？ 那是因為，當我們希望修改Foo函數，使它能夠適應所有類型的迭代器時，我們可以這樣寫：
template <typename I> //這裡的I可以是任意類型的迭代器
typename I::value_type Foo(I i)
{
 ...
}
現在，任意定義了 value_type內嵌類型的迭代器都可以做為Foo的參數了，並且Foo的返回值的類型將與相應迭代器所指的元素的類型一致。至此一切問題似乎都已解決，我們並沒有使用任何特殊的技術。然而當考慮到以下情況時，新的問題便顯現出來了：

原 生指針也完全可以做為迭代器來使用，然而我們顯然沒有辦法為原生指針添加一個value_type的內嵌類型，如此一來我們的Foo()函數就不能適用原 生指針了，這不能不說是一大缺憾。那麼有什麼辦法可以解決這個問題呢？ 此時便是我們的主角：類型信息搾取機 Traits 登場的時候了

....drum roll......

我們可以不直接使用myIterator的value_type，而是通過另一個類來把這個信息提取出來：
template <typename T>
class Traits
{
      typedef typename T::value_type value_type;
};
這樣，我們可以通過 Traits<myIterator>::value_type 來獲得myIterator的value_type，於是我們把Foo函數改寫成：
template <typename I> //這裡的I可以是任意類型的迭代器
typename Traits<I>::value_type Foo(I i)
{
 ...
}
然而，即使這樣，那個原生指針的問題仍然沒有解決，因為Trait類一樣沒辦法獲得原生指針的相關信息。於是我們祭出C++的又一件利器--偏特化(partial specialization)：
template <typename T>
class Traits<T*> //注意 這裡針對原生指針進行了偏特化
{
      typedef typename T value_type;
};
通過上面這個 Traits的偏特化版本，我們陳述了這樣一個事實：一個 T* 類型的指針所指向的元素的類型為 T。

如此一來，我們的 Foo函數就完全可以適用於原生指針了。比如：
int * p;
....
int i = Foo(p);
Traits會自動推導出 p 所指元素的類型為 int，從而Foo正確返回。

過程：內嵌型別->traite類->模板偏特化=>可萃取原生指針的value type。

原文鏈接：http://www.cnblogs.com/kanego/archive/2012/08/15/2639761.html

template 偏特化的問題

是原來stl的代碼就編譯不過呢，還是你自己寫了一個版本編譯不過？
你是用什麼編譯器？
有的編譯器不支持偏特化也正常
 

C++裡面 模板特化一般用來解決什問題？ 也就是說用來干什？

自己對比下兩個簡單的例子就知道模板的好處了
#include<iostream.h>
int abs ( int x )
{ return ( x>0 ? x : -x ) ; }
long abs ( long x )
{ return ( x>0 ? x : -x ) ; }
float abs ( float x )
{ return ( x>0 ? x : -x ) ; }
double abs ( double x )
{ return ( x>0 ? x : -x ) ; }
void main ( )
{ int a = -96 ; long b = 78 ;
float c = -3.6 ; double d = 5.8 ;
cout << “|a|=” << abs (a) << endl ;
cout << “|b|=” << abs (b) << endl ;
cout << “|c|=” << abs (c) << endl ;
cout << “|d|=” << abs (d) << endl ;
}

（求絕對值的函數模板）
#include<iostream.h>
template < typename T >
T abs ( T x )
{ return ( x>0 ? x : -x ) ; }
void main ( )
{ int a = -96 ; long b = 78 ;
float c = -3.6 ; double d = 5.8 ;
cout<< “|a|=” << abs <int> (a) <<endl ;
cout<< “|b|=” << abs <long> (b) <<endl ;
cout<< “|c|=” << abs <float> (c) <<endl ;
cout<< “|d|=” << abs <double> (d) <<endl ;
}