boost/contract/detail/type_traits/mirror.hpp
#ifndef BOOST_CONTRACT_DETAIL_MIRROR_HPP_
#define BOOST_CONTRACT_DETAIL_MIRROR_HPP_
// Copyright (C) 2008-2018 Lorenzo Caminiti
// Distributed under the Boost Software License, Version 1.0 (see accompanying
// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
#include <boost/contract/detail/name.hpp>
#include <boost/function_types/member_function_pointer.hpp>
#include <boost/function_types/function_pointer.hpp>
#include <boost/function_types/property_tags.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/preprocessor/control/iif.hpp>
#include <boost/preprocessor/tuple/rem.hpp>
#include <boost/preprocessor/tuple/eat.hpp>
// NOTE: Unfortunately, it is not possible to use Boost.TTI because it not
// always works on MSVC (e.g., when the mirror meta-function is invoked
// multiple times, MSVC 2010 gives an internal compiler error). This is a
// simpler mirror implementation that seems to work better on MSVC.
/* PRIVATE */
#define BOOST_CONTRACT_DETAIL_MIRROR_END_(tparam) \
template<typename> \
static boost::contract::detail::mirror::no& apply(...); \
public: \
static bool const value = sizeof(apply<tparam>(0)) == \
sizeof(boost::contract::detail::mirror::yes); \
typedef boost::mpl::bool_<value> type;
#define BOOST_CONTRACT_DETAIL_MIRROR_HAS_MEMBER_FUNCTION_(is_static, \
trait, func_name) \
template< \
typename BOOST_CONTRACT_DETAIL_NAME1(T), \
typename BOOST_CONTRACT_DETAIL_NAME1(R), \
class BOOST_CONTRACT_DETAIL_NAME1(P), \
class BOOST_CONTRACT_DETAIL_NAME1(G) = boost::function_types::null_tag \
> \
class trait { \
template<class BOOST_CONTRACT_DETAIL_NAME1(C)> \
static boost::contract::detail::mirror::yes& apply( \
boost::contract::detail::mirror::check_function< \
typename \
BOOST_PP_IIF(is_static, \
boost::function_types::function_pointer \
, \
boost::function_types::member_function_pointer \
) \
< \
typename boost::mpl::push_front< \
BOOST_PP_IIF(is_static, \
BOOST_CONTRACT_DETAIL_NAME1(P) \
BOOST_PP_TUPLE_EAT(2) \
, \
BOOST_PP_TUPLE_REM(2) \
)( \
typename boost::mpl::push_front< \
BOOST_CONTRACT_DETAIL_NAME1(P), \
BOOST_CONTRACT_DETAIL_NAME1(C) \
>::type \
) \
, BOOST_CONTRACT_DETAIL_NAME1(R) \
>::type, \
BOOST_CONTRACT_DETAIL_NAME1(G) \
>::type, \
&BOOST_CONTRACT_DETAIL_NAME1(C)::func_name \
>* \
); \
BOOST_CONTRACT_DETAIL_MIRROR_END_( \
BOOST_CONTRACT_DETAIL_NAME1(T)) \
};
/* PUBLIC */
#define BOOST_CONTRACT_DETAIL_MIRROR_HAS_TYPE(trait, type_name)\
template<typename BOOST_CONTRACT_DETAIL_NAME1(T)> \
class trait { \
template<class BOOST_CONTRACT_DETAIL_NAME1(C)> \
static boost::contract::detail::mirror::yes& apply( \
typename BOOST_CONTRACT_DETAIL_NAME1(C)::type_name*); \
BOOST_CONTRACT_DETAIL_MIRROR_END_( \
BOOST_CONTRACT_DETAIL_NAME1(T)) \
};
#define BOOST_CONTRACT_DETAIL_MIRROR_HAS_MEMBER_FUNCTION( \
trait, func_name) \
BOOST_CONTRACT_DETAIL_MIRROR_HAS_MEMBER_FUNCTION_( \
/* is_static = */ 0, trait, func_name)
#define BOOST_CONTRACT_DETAIL_MIRROR_HAS_STATIC_MEMBER_FUNCTION(trait, \
func_name) \
BOOST_CONTRACT_DETAIL_MIRROR_HAS_MEMBER_FUNCTION_( \
/* is_static = */ 1, trait, func_name)
/* CODE */
namespace boost { namespace contract { namespace detail { namespace mirror {
typedef class {} yes;
typedef yes no[2];
template<typename F, F> class check_function;
} } } } // namespace
#endif // #include guard