幫助在代碼模板

Question

鑑於這種代碼

template <typename T> 
typename T::ElementT at (T const &a , T const &b) 
{ 
     return a[i] ; 
} 

什麼

typename T::ElementT 

和

a[i] 

是什麼意思？

Answer 1

typename T::ElementT 

由於T:ElementT是一個從屬名稱，這就是爲什麼你之前看到的關鍵字typename。它告訴編譯器ElementT是測試的類型,不是值。

而且a[i]，看起來T是定義爲operator[]的類，當您編寫a[i]時正在調用它。例如，T可能是sample爲（部分）定義如下：

class sample 
{ 
public: 
     typedef int ElementT; //nested type! 

     //... 

     ElementT operator[](int i) 
     { 
      return m_data[i]; 
     } 

     ElementT *m_data; 
     //... 
}; 

現在，如果T是sample，那麼你可以寫T::ElementT以及a[i]這是型T的。在這種情況下，當T是樣本時，我假設指數i的類型是int。

Answer 2

我想在那個代碼中T總是一個有operator []重載的類並且有一個子類defenition ElementT任何其他沒有這兩個品質的類都會在編譯時產生錯誤。

Answer 3

typename T::ElementT 

這exhaustingly由約翰在this entry到C++ FAQ說明。

a[i] 

這種操作通常被稱爲 「訂閱」 並且訪問的第i個元素中a。爲此，a必須是數組或重載訂閱運算符的某個類（如std::vector或std::map）。但是，正如Nawaz在他的評論中指出的那樣，由於a的類型爲T，並且由於T預計有嵌套類型ElementAt，在這種情況下a不能是數組。