"Jonathan Turkanis" <technews@kangaroologic.com> writes:
"Daniel Wallin" <dalwan01@student.umu.se> wrote in message news:cht2ik$kcr$1@sea.gmane.org...
Jonathan Turkanis wrote:
"David Abrahams" <dave@boost-consulting.com> 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.
Forget it. Anything that can only be a member function is out. Also anything that's implicitly-generated and can only be disabled by making it private is out. operator= fails both tests :( -- Dave Abrahams Boost Consulting http://www.boost-consulting.com