テンプレートテンプレート関数はどのように実装されていますか？ （述語版）

Question

"Accelerated C++"の勉強中ですが、演習の1つでは、ヘッダーの 'equal'関数をエミュレートする必要があります。これまでのところ、次の3つのパラメータを取る簡単なバージョンを実装しました：

template <class iterType1, class iterType2> 
bool cequal(iterType1 begin, iterType1 end, iterType2 e){ 

    while(begin != end){ 
     if(!(*begin == *e)) 
      return false; 
     ++begin; 
     ++e; 
    } 
    return true; 
} 

と第四パラメータを受け入れることができ番目のバージョン...

template <class iterType1, class iterType2, class boolPred> 
bool cequal(iterType1 begin, iterType1 end, iterType2 e, boolPred pred){ 

    while(begin != end){ 
     if(!pred(*begin, *e)) 
      return false; 
     ++begin; 
     ++e; 
    } 
    return true; 
} 

私の質問は、これはそれを行うための理想的な方法ですか？またはこれらの2つの関数は併合可能ですか？

Answer 1

最初のバージョンは、equal_toオブジェクトを最後のパラメータとして渡して、2番目のバージョンを呼び出すことができます。 また、デフォルトのパラメータとして設定することもできます。 私はそれを取り戻す。私は実際に関数テンプレートのデフォルトの引数を持つ方法を見つけることができません。 C++ 0x機能（decltype）を使用せずに、オーバーロードソリューションでコードを再利用する方法もわかりません。

template <class iterType1, class iterType2> 
bool cequal(iterType1 begin, iterType1 end, iterType2 e){ 
    return cequal(begin, end, e, std::equal_to<decltype(*begin)>()); 
} 

Answer 2

あなたがそれらをマージしたい場合は、あなただけの入力でoperator==を呼び出し、最後のパラメータにデフォルトの述語を提供することができます。

編集：例では、次のようになります。

template<typename T1, typename T2> 
struct eqpred 
{ 
    bool operator(T1 &a, T2 &b) { return a==b; } 
} 

template <class iterType1, class iterType2, class boolPred=eqpred> 
bool cequal(iterType1 begin, iterType1 end, iterType2 e, boolPred pred){ 

    while(begin != end){ 
     if(!pred(*begin, *e)) 
      return false; 
     ++begin; 
     ++e; 
    } 
    return true; 
} 

Answer 3

これら2つの関数は単にマージ可能ではありません、彼らはほぼ正確にラインの同じ、ラインです。

私はあなたのためにそれをすべて拡張してやることができますが、それはスポイラーのビットです。