Re: [Boost-users] [tuple, lambda] predicate does not compile

From: Jaakko Jarvi (jarvi_at_[hidden])
Date: 2006-02-16 11:57:14

On Feb 16, 2006, at 2:36 AM, Christian Rössel wrote:

> Hello Newsgroup,
>
> in the following code the call
> bind (&boost::tuple<int, double>::get<0>, _1)
> does not compile whereas an analogous call with a non-template
> parameter compiles fine. What am I doing wrong?
>
If I remember correctly, get has two overloads (one const, one  
without const).
One cannot take the address of an overloaded (member) function  
without specifying its type.

(This is without looking at the tuple code, so comes with a caveat)

   Best, Jaakko Järvi

> I'm using boost 1.33.1 and Visual Studio 7.1
>
> Thanks in advance,
> Christian
>
> #include <vector>
> #include <algorithm>
> #include <string>
> #include <boost/lambda/lambda.hpp>
> #include <boost/lambda/bind.hpp>
> #include <boost/tuple/tuple.hpp>
>
> class SearchForMe
> {
>   std::string a_;
> public:
>   std::string getA () {return a_;}
> };
>
> int main(int argc, char* argv[])
> {
>   using namespace std;
>   using namespace boost::lambda;
>
>   vector<SearchForMe> foo;
>   // compiles fine
>   find_if (foo.begin (), foo.end (),
>            bind (&SearchForMe::getA, _1) == "apple");
>
>   vector< boost::tuple<int, double> > bar;
>   // does not compile
>   find_if (bar.begin (), bar.end (),
>            bind (&boost::tuple<int, double>::get<0>, _1) == 15);
>
>   return 0;
> }
>
> The error messages are:
>
> Compiling...
> boost_lambda.cpp
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<2,boost::lambda::function_action<2,Result>>,detail::b 
> ind_tuple_mapper<const
> Arg1,const Arg2>::type>> boost::lambda::bind(const Arg1 &,const
> Arg2 &)' : could not deduce template argument for 'overloaded
> function type' from 'overloaded function type'
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(232)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<2,boost::lambda::function_action<2,Result>>,detail::b 
> ind_tuple_mapper<const
> Arg1,const Arg2>::type>> boost::lambda::bind(const Arg1 &,const
> Arg2 &)' : could not deduce template argument for 'overloaded
> function type' from 'overloaded function type'
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(232)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<Arity,Act>,detail::bind_tuple_mapper<const
> Arg1,const Arg2>::type>> boost::lambda::bind(const Arg1 &,const
> Arg2 &)' : could not deduce template argument for 'overloaded
> function type' from 'overloaded function type'
>         with
>         [
>             Arity=2,
>             Act=boost::lambda::function_action<2>
>         ]
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(212)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<Arity,Act>,detail::bind_tuple_mapper<const
> Arg1,const Arg2>::type>> boost::lambda::bind(const Arg1 &,const
> Arg2 &)' : could not deduce template argument for 'overloaded
> function type' from 'overloaded function type'
>         with
>         [
>             Arity=2,
>             Act=boost::lambda::function_action<2>
>         ]
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(212)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<Arity,Act>,detail::bind_tuple_mapper<const
> Arg1,const Arg2>::type>> boost::lambda::bind(const Arg1 &,const
> Arg2 &)' : could not deduce template argument for 'overloaded
> function type' from 'overloaded function type'
>         with
>         [
>             Arity=2,
>             Act=boost::lambda::function_action<2>
>         ]
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(212)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<2,boost::lambda::function_action<2,Result>>,detail::b 
> ind_tuple_mapper<Result(__cdecl
> &)(Par1),const Arg2>::type>> boost::lambda::bind(Result (__cdecl
> &)(Par1),const Arg2 &)' : could not deduce template argument for
> 'overloaded function type' from 'overloaded function type'
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(190)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<2,boost::lambda::function_action<2,Result>>,detail::b 
> ind_tuple_mapper<Result(__cdecl
> &)(Par1),const Arg2>::type>> boost::lambda::bind(Result (__cdecl
> &)(Par1),const Arg2 &)' : could not deduce template argument for
> 'overloaded function type' from 'overloaded function type'
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(190)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2784: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<2,boost::lambda::function_action<2,Result>>,detail::b 
> ind_tuple_mapper<Result(__cdecl
> &)(Par1),const Arg2>::type>> boost::lambda::bind(Result (__cdecl
> &)(Par1),const Arg2 &)' : could not deduce template argument for
> 'overloaded function type' from 'overloaded function type'
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(190)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2780: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<1,boost::lambda::function_action<1,Result>>,detail::b 
> ind_tuple_mapper<const
> Arg1>::type>> boost::lambda::bind(const Arg1 &)' : expects 1
> arguments - 2 provided
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(91)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2780: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<Arity,Act>,detail::bind_tuple_mapper<const
> Arg1>::type>> boost::lambda::bind(const Arg1 &)' : expects 1
> arguments - 2 provided
>         with
>         [
>             Arity=1,
>             Act=boost::lambda::function_action<1>
>         ]
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(71)
> : see declaration of 'boost::lambda::bind'
> d:\home\roe\c++_tests\boost_lambda\boost_lambda\boost_lambda 
> \boost_lambda.cpp(31)
> : error C2780: 'const
> boost::lambda::lambda_functor<boost::lambda::lambda_functor_base<boost 
> ::lambda::action<1,boost::lambda::function_action<1,Result>>,detail::b 
> ind_tuple_mapper<Result(__cdecl
> &)(void)>::type>> boost::lambda::bind(Result (__cdecl &)(void))'
> : expects 1 arguments - 2 provided
>
> d:\home\roe\boost_1_33_1\boost\lambda\detail\bind_functions.hpp(49)
> : see declaration of 'boost::lambda::bind'
>
>
>
> _______________________________________________
> Boost-users mailing list
> Boost-users_at_[hidden]
> http://lists.boost.org/mailman/listinfo.cgi/boost-users