[boost] Re: Proposal for 'is_dereferenceable' and other templatemetafunctions

From: Daniel Wallin (dalwan01_at_[hidden])
Date: 2004-09-10 15:24:55

Jonathan Turkanis wrote:
> "David Abrahams" <dave_at_[hidden]> wrote in message
>>Don't you think it's time we generalized the hack into a nice macro
>>that generates the right code?
> 
> 
> I think so. In addition to prefix and postfix unary operators, there should be a
> binary version, too, right?

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. I haven't used it anywhere yet, so I can't say if it's useful in
practice, but at least it was fun implementing. ;)

-- 
Daniel Wallin