テンプレートのオーバーロード（引数の数の差）

Question

私は以下に示すこれらの関数テンプレートを作成したかったのです。その目的はファンクタを比較することですが、boost.bind型のファンクタの特殊なケースをカバーする必要がありました。

template<typename R, typename F, typename L> 
void compare(boost::_bi::bind_t<R, F, L>& lhs, boost::_bi::bind_t<R, F, L>& rhs) 
{ 
    std::cout << lhs.compare(rhs) << std::endl; 
} 

template<typename T> 
void compare(T lhs, T rhs) 
{ 
    std::cout << (lhs == rhs) << std::endl; 
} 

問題は、私はcompare(boost::bind(func, 1), boost::bind(func, 1))を行う際に、コンパイラは2番目のテンプレートを使用しようとしていることです。私が2番目のものをコメントアウトすると、boost.bind型に特化したものが正しく使用され、すべて正常に動作します。

使用する正しい関数テンプレートを選択するにはどうすればよいですか？

Answer 1

boost::bindは、const参照にバインドできない値を返します。あなたのより専門化されたテンプレートは、値によって引数を取るか、constで参照する必要があります。そうでない場合は、コールで考慮されません。compare(boost::bind(func, 1), boost::bind(func, 1))。

このテストプログラムは、自分のプラットフォームで正しくコンパイルされて動作します。

#include <boost/bind/bind.hpp> 
#include <iostream> 
#include <ostream> 

template<typename R, typename F, typename L> 
void compare(const boost::_bi::bind_t<R, F, L>& lhs 
       , const boost::_bi::bind_t<R, F, L>& rhs) 
{ 
    std::cout << lhs.compare(rhs) << std::endl; 
} 

template<typename T> 
void compare(T lhs, T rhs) 
{ 
    std::cout << (lhs == rhs) << std::endl; 
} 

void func(int) {} 

int main() 
{ 
    compare(boost::bind(func, 1), boost::bind(func, 1)); 
}