ヘルプ

Question

typename T::ElementT 

と

a[i] 

は何を意味しています。このコード

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

を考えると？ T:ElementT以来

Answer 1

typename T::ElementT 

あなたがそれの前にキーワードtypenameを参照してください理由です、依存名です。 ElementTは、タイプ、、値であることをコンパイラに伝えています。

については、を書くときに呼び出されるoperator[]を定義したクラスであると思われます。例えば、（部分的に）ここで定義されているようTがsample次のようになります。Tがsampleであれば今

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

     //... 

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

     ElementT *m_data; 
     //... 
}; 

、あなたはタイプTであるT::ElementTなどa[i]を書くことができます。この場合、Tをサンプルとした場合、インデックスiのタイプがintであると仮定しています。

Answer 2

私は、コードTは常に演算子[]がオーバーロードされ、サブクラスDefenition ElementTを持つクラスであると推測します。これらの2つの性質を持たない他のクラスはコンパイル中にエラーを起こします。

Answer 3

typename T::ElementT 

これはC++ FAQにthis entryにヨハネスによってexhaustingly説明します。

a[i] 

この操作は通常、 "サブスクリプション" と呼ばれ、aのi番目の要素にアクセスしています。これを行うには、aは配列か、サブスクリプション演算子をオーバーロードするクラス（std::vectorまたはstd::mapなど）でなければなりません。
しかしナワズは、彼のコメントで指摘したように、a以来タイプTのものであり、Tので、配列にすることはできません。この場合aには、ネストされたタイプElementAtが期待されています。