GeekBand c++學習筆記之六(泛型編程概觀與關連特性)

這次想跟大家討論的是關於STL的相關特性，其中我的重點會是在講解泛型編程的這一版塊，因為我在這一塊思考了很久，因為前期所學的相關語言重點都放在語法與算法上，而這次所上的內容以抽象的內存為主，跟以前所學的東西已經開始有了不一樣的領會了，相對的我在這個環節上也一直在想，而我想大家也可能在這板塊上會有所困擾，所以我就選了這一個領域做我個人的理解

泛型編程:是一種編成方法，將type以to-be-specified-later的方式給出，等到需要調用的時候，在實例化一個對象或方法，其作為一個編成的思想，不依賴具體語言，而C++中的犯行是以通過template和相關性質表現

關聯特性(trait)，這個就使我認為最為重要的地方，他是貫穿整的泛型編程的核心，以下就用代碼解釋trait

何為trait?

我們先假設一個數組，我們要將她的所有數相乘的積算出

<span style="font-size:18px;"><span style="font-size:18px;">template<typename T>
inline T Multiply(const T const* start,const T const* end)
{
  T total=T()
  for(;start!=end;start++)
  {
  	total*=start;
  }
  return total;
}</span></span>

Multiply是一個template可以給多個type的數組做應用，但是在一個情況下我們會遇到問題，那就是當數組的乘積超過了其本身type內存所能接受的數值大小時，會出現什麼事呢?

<span style="font-size:18px;"><span style="font-size:18px;">char A[]="abc";
size_t ALength=strlen(A);
char* p=A;
char* q=A+ALength;
cout<<"Multiply(A):"<<Multiply(p,q);
</span></span>

因為char是一個內存存放數值比較小的type，所以就拿他做實驗，可以發現，程序會打印出38(0x26)，但是這跟我們計算好的294不同，這是為何?這是因為這個數值已經超過char的內存範圍了，所以計算出現了錯誤，如何修正，我們可以強制把type T設定為int類型

<span style="font-size:18px;">int s=Multiply<int>(p,q):</span>

這樣雖然可以修正錯誤，但是error卻是依然存在的!那要真正的改變要怎麼做?

我們可以為每個Multiply函數的參數type T構造出一種關聯(association)，關聯的type是用來儲存Multiply所返回的type，而這種關聯可以看成是type T的一種特性(characteristic of the type T)，因此Multiply返回值的type就是T的Triat

示意:

T>>association>>characteristic of T>>another type>>triat

Triat可以實現模板類，而characteristic則是針對每個具體的type T的特化

我們在實驗中就把Triat命名為MultiplyTriat，而這就是Triat模板了

<span style="font-size:18px;">template<typename T>class MultiplyTraits{};
template<>class MultiplyTraits<char>
{
  public: typedef int ReturnType;
}
template<>class MultiplyTraits<short>
{
  public: typedef int ReturnType;
}
template<>class MultiplyTraits<int>
{
  public: typedef long ReturnType;
}
template<>class MultiplyTraits<unsigned int>
{
  public: typedef unsigned long ReturnType;
}
template<>class MultiplyTraits<float>
{
  public: typedef double ReturnType;
}</span>

以上就是我們所對MultiplyTriat做出的特化，可看出這些特化所做的功能全都是把type由小轉到大的，因為這樣做計算不會出錯，而這些特化，我們全歸類為MultiplyTriat，而這也就是Trait，其中ReturnType是他所轉換後的類型，而由於Trait的寫出，我們可以重新改寫Multiply函數

<span style="font-size:18px;">template<typename T>
inline typename MultiplyTraits<T>ReturnType Multiply(const T const* start,const T const* end)
{
  typedef typename ultiplyTraits<T>ReturnType ReturnType ;
  ReturnType  s=ReturnType();
  for(;start!=end;start++)
  {
  	s*=start;
  }
  return s;
}</span>

在新的Multiply函數中，我們可以看到他的返回類形成了typename MultiplyTraits<T>ReturnType，而在函數中s最後返回的也是這個type，而這個type就是我們建立的Trait，因為在Triat中已經把會出錯的type T給改變了，所以現在我們就可以了解到Triat的用處了，他的主要功能就是把它本來的函數的type T給轉成合理的type