テンプレート引数で定義された型を使用する

Question

vector、listなどのコンテナクラスを使用する場合、要素の型はvector<type>::value_typeと書くことができます。

ただし、次のコード

template<class container> 
void foo(container& c) 
{ 
    typedef container::value_type elementtype; 
    elementtype b; 
}

はエラー "expected initializer before ‘elementtype’" で失敗します。 コンテナの型がテンプレートの引数として指定されている場合、または要素の型を余分なテンプレートの引数として指定する必要がある場合、要素の型を推論することはできますか？

Answer 1

必要な型名キーワードが欠落している：

typedef typename container::value_type elementtype; 

containerこのテンプレートで依存名なので、コンパイラは、コンテナかどうかを知る方法がない:: VALUE_TYPEは常にあるためですタイプは、containerの選択によって異なる場合があります。

確かにこの質問はどこかのFAQですか？

編集：http://www.parashift.com/c++-faq-lite/templates.html#faq-35.18