[Boost-users] Re: Looking for more advanced type_traits-likefunctionality

"Agoston Bejo" writes:

"David Abrahams" wrote in message news:ur7srmmpm.fsf@boost-consulting.com...

...

"Wolfgang Meyer" writes:

...

...

that is something like this: How can I determine if a type T has such and such member? It

would look like something like this:

has_member::result (true if T::paint() exists) has_member::result (true if T::m_size exists)

AFAIK, checking for arbitrary members at compile time is not possible in a portable way.

However, it seems that you can check for operators:

http://lists.boost.org/MailArchives/boost/msg29007.php

Much better techniques than the ones shown there are now known.

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

And where are they available, or at least can be read of?

You might look at http://www.boost-consulting.com/boost/boost/detail/is_incrementable.hpp, though it could be improved by using the comma operator to deal with the possibility of void returns from a user defined operator++. -- Dave Abrahams Boost Consulting http://www.boost-consulting.com