別のテンプレート型引数を使用するのではなく、テンプレート関数でiterator_traitsを使用するのはなぜですか？

Question

cplusplus.comからこのスニペットには、例えば、参照：

は

template <class InputIterator, class T> 
typename iterator_traits<InputIterator>::difference_type 
count(InputIterator first, InputIterator last, const T& val) 
{ 
    typename iterator_traits<InputIterator>::difference_type ret = 0; 
    while (first!=last) { 
     if (*first == val) 
      ++ret; 
     ++first; 
    } 
    return ret; 
} 

疑問は、なぜ、むしろ別のテンプレート引数に取るよりも、この文脈でiterator_traitsを使用している、ここで示したように：

template <class InputIterator, class T, class DiffType> 
DiffType count(InputIterator first, InputIterator last, const T& val) 
{ 
    DiffType ret = 0; 
    while (first!=last) { 
     if (*first == val) 
      ++ret; 
     ++first; 
    } 
    return ret; 
} 

Answer 1

提案しますコメントで提案されている - 別のテンプレート引数を取る関数を持つ - はあなたが意図したとおりに動作しません。ここでは、提案されてきたコードは次のとおりです。

template <class InputIterator, class T, typename DiffType> 
DiffType count(InputIterator first, InputIterator last, const T& val) 
{ 
    DiffType ret = 0; 
    while (first!=last) { 
     if (*first == val) 
      ++ret; 
     ++first; 
    } 
    return ret; 
} 

このコードの問題は、これはもはやコンパイルされることである：

std::vector<int> v = /* ... */; 
auto numElems = count(v.begin(), v.end(), 137); // <--- Error! 

ここでの問題は、すべてのテンプレート引数、順番に関数テンプレートを呼び出すために、ということではありません引数型から推論可能であるか、呼び出し側によって明示的に指定されなければなりません。ここでは、タイプDiffTypeを引数タイプから推測することはできません（InputIteratorとTタイプは2つの引数から推論できますが、シグネチャだけではコンテキストがありません）、この呼び出しはコンパイラエラーで失敗します。 std::iterator_traitsの使用は、イテレータのタイプ自体からイテレータに関する情報を抽出するための一般的なテンプレートパターンです。