[boost] Re: Proposal for 'is_dereferenceable' and othertemplatemetafunctions

From: Jonathan Turkanis (technews_at_[hidden])
Date: 2004-09-11 17:27:43

"Daniel Wallin" <dalwan01_at_[hidden]> wrote in message
news:cht2ik$kcr$1_at_sea.gmane.org...
> 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. ;)

I know the feeling. ;-)

What I'd really like to be able to do is test assignability.

Jonathan