David Abrahams wrote:
Daniel Wallin <dalwan01@student.umu.se> writes:
David Abrahams wrote:
Daniel Wallin <dalwan01@student.umu.se> writes:
I have been toying with a more general solution to this problem, where one can do things like:
check_dereference<T, is_convertible<mpl::_, U&> > check_add<T, T, is_convertible<mpl::_, T> >
etc.
That *might* be impressive if I could tell what those expressions were supposed to mean ;-)
The metafunction class
I don't see a metafunction class here. Don't you mean "lambda expression?"
Maybe. I was trying to describe the formal argument. So I guess something like: template<class T, class U, class Predicate> struct check_add; Where Predicate is a unary metafunction class or a lambda expression. ?? [snip]
Oh, very nice! Now it's impressive. :-)
:) So, anyone interested in this? -- Daniel Wallin