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

From: David Abrahams (dave_at_[hidden])
Date: 2004-09-11 05:36:08

Daniel Wallin <dalwan01_at_[hidden]> writes:

> 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. 

That *might* be impressive if I could tell what those expressions were
supposed to mean ;-)

> 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. ;)

I'm sure!

-- 
Dave Abrahams
Boost Consulting
http://www.boost-consulting.com