A few months ago, Aleksey posted a cool way of doing lambda using function
notation. I hadn't followed the thread at the time, but I read up on it
recently. Like many others, I found it hard to understand how it worked, so
I asked Aleksey if he could make a minimal example of it, which he did.
For the benefit of anybody else interested in knowing how it works, I post
the example here. I found it much easier to understand how it works, with
such a minimal example.
--- Start ---
#include <boost/mpl/quote.hpp>
#include <boost/mpl/apply.hpp>
#include "boost/mpl/bind.hpp"
#include "boost/type_traits/is_same.hpp"
#include "boost/static_assert.hpp"
using namespace boost::mpl;
template<typename T>
struct expr
{
typedef T type;
};
template<typename F, typename T1, typename T2>
struct expr<F (T1, T2)> : bind2<F, typename expr<T1>::type, typename
expr<T2>::type> {};
struct is_same : quote2<boost::is_same> {};
// Here:
typedef apply<expr<is_same(_, int)>, int>::type type;
BOOST_STATIC_ASSERT(type::value);
--- End ---
Regards,
Terje
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
