123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375 |
- // (C) Copyright 2009-2011 Frederic Bron.
- //
- // Use, modification and distribution are subject to the Boost Software License,
- // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt).
- //
- // See http://www.boost.org/libs/type_traits for most recent version including documentation.
- #ifndef BOOST_TT_HAS_DEREFERENCE_HPP_INCLUDED
- #define BOOST_TT_HAS_DEREFERENCE_HPP_INCLUDED
- #define BOOST_TT_TRAIT_NAME has_dereference
- #define BOOST_TT_TRAIT_OP *
- #define BOOST_TT_FORBIDDEN_IF\
- /* void* or fundamental */\
- (\
- (\
- ::boost::is_pointer< Rhs_noref >::value && \
- ::boost::is_void< Rhs_noptr >::value\
- ) || \
- ::boost::is_fundamental< Rhs_nocv >::value\
- )
- #include <boost/type_traits/detail/has_prefix_operator.hpp>
- #undef BOOST_TT_TRAIT_NAME
- #undef BOOST_TT_TRAIT_OP
- #undef BOOST_TT_FORBIDDEN_IF
- #if defined(BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION)
- namespace boost {
- template <class R>
- struct has_dereference<void*, R> : public false_type {};
- template <>
- struct has_dereference<void*, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*, R> : public false_type {};
- template <>
- struct has_dereference<const void*, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*, void> : public false_type {};
- template <class R>
- struct has_dereference<void*const, R> : public false_type {};
- template <>
- struct has_dereference<void*const, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*const, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*const, R> : public false_type {};
- template <>
- struct has_dereference<const void*const, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*const, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*const, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*const, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*const, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*const, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const, void> : public false_type {};
- template <class R>
- struct has_dereference<void*volatile, R> : public false_type {};
- template <>
- struct has_dereference<void*volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*volatile, R> : public false_type {};
- template <>
- struct has_dereference<const void*volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*volatile, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*volatile, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<void*const volatile, R> : public false_type {};
- template <>
- struct has_dereference<void*const volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*const volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*const volatile, R> : public false_type {};
- template <>
- struct has_dereference<const void*const volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*const volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*const volatile, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*const volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*const volatile, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*const volatile, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const volatile, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const volatile, void> : public false_type {};
- // references:
- template <class R>
- struct has_dereference<void*&, R> : public false_type {};
- template <>
- struct has_dereference<void*&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*&, R> : public false_type {};
- template <>
- struct has_dereference<const void*&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*&, void> : public false_type {};
- template <class R>
- struct has_dereference<void*const&, R> : public false_type {};
- template <>
- struct has_dereference<void*const&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*const&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*const&, R> : public false_type {};
- template <>
- struct has_dereference<const void*const&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*const&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*const&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*const&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*const&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*const&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const&, void> : public false_type {};
- template <class R>
- struct has_dereference<void*volatile&, R> : public false_type {};
- template <>
- struct has_dereference<void*volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*volatile&, R> : public false_type {};
- template <>
- struct has_dereference<const void*volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*volatile&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*volatile&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<void*const volatile&, R> : public false_type {};
- template <>
- struct has_dereference<void*const volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*const volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*const volatile&, R> : public false_type {};
- template <>
- struct has_dereference<const void*const volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*const volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*const volatile&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*const volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*const volatile&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*const volatile&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const volatile&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const volatile&, void> : public false_type {};
- // rvalue refs:
- template <class R>
- struct has_dereference<void*&&, R> : public false_type {};
- template <>
- struct has_dereference<void*&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*&&, R> : public false_type {};
- template <>
- struct has_dereference<const void*&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*&&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*&&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*&&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*&&, void> : public false_type {};
- template <class R>
- struct has_dereference<void*const&&, R> : public false_type {};
- template <>
- struct has_dereference<void*const&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*const&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*const&&, R> : public false_type {};
- template <>
- struct has_dereference<const void*const&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*const&&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*const&&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*const&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*const&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*const&&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const&&, void> : public false_type {};
- template <class R>
- struct has_dereference<void*volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<void*volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<const void*volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<void*const volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<void*const volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<void*const volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const void*const volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<const void*const volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const void*const volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<volatile void*const volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<volatile void*const volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<volatile void*const volatile&&, void> : public false_type {};
- template <class R>
- struct has_dereference<const volatile void*const volatile&&, R> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const volatile&&, boost::binary_op_detail::dont_care> : public false_type {};
- template <>
- struct has_dereference<const volatile void*const volatile&&, void> : public false_type {};
- }
- #endif
- #endif
|