115 lines
2.5 KiB
C++
115 lines
2.5 KiB
C++
|
// Copyright David Abrahams 2006. Distributed under 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)
|
||
|
|
#ifndef BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
|
||
|
|
# define BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
|
||
|
|
|
||
|
|
# include <boost/preprocessor/cat.hpp>
|
||
|
|
# include <boost/concept/detail/backward_compatibility.hpp>
|
||
|
|
|
||
|
|
# ifdef BOOST_OLD_CONCEPT_SUPPORT
|
||
|
|
# include <boost/concept/detail/has_constraints.hpp>
|
||
|
|
# include <boost/mpl/if.hpp>
|
||
|
|
# endif
|
||
|
|
|
||
|
|
|
||
|
|
namespace boost { namespace concepts {
|
||
|
|
|
||
|
|
|
||
|
|
template <class Model>
|
||
|
|
struct check
|
||
|
|
{
|
||
|
|
virtual void failed(Model* x)
|
||
|
|
{
|
||
|
|
x->~Model();
|
||
|
|
}
|
||
|
|
};
|
||
|
|
|
||
|
|
# ifndef BOOST_NO_PARTIAL_SPECIALIZATION
|
||
|
|
struct failed {};
|
||
|
|
template <class Model>
|
||
|
|
struct check<failed ************ Model::************>
|
||
|
|
{
|
||
|
|
virtual void failed(Model* x)
|
||
|
|
{
|
||
|
|
x->~Model();
|
||
|
|
}
|
||
|
|
};
|
||
|
|
# endif
|
||
|
|
|
||
|
|
# ifdef BOOST_OLD_CONCEPT_SUPPORT
|
||
|
|
|
||
|
|
namespace detail
|
||
|
|
{
|
||
|
|
// No need for a virtual function here, since evaluating
|
||
|
|
// not_satisfied below will have already instantiated the
|
||
|
|
// constraints() member.
|
||
|
|
struct constraint {};
|
||
|
|
}
|
||
|
|
|
||
|
|
template <class Model>
|
||
|
|
struct require
|
||
|
|
: mpl::if_c<
|
||
|
|
not_satisfied<Model>::value
|
||
|
|
, detail::constraint
|
||
|
|
# ifndef BOOST_NO_PARTIAL_SPECIALIZATION
|
||
|
|
, check<Model>
|
||
|
|
# else
|
||
|
|
, check<failed ************ Model::************>
|
||
|
|
# endif
|
||
|
|
>::type
|
||
|
|
{};
|
||
|
|
|
||
|
|
# else
|
||
|
|
|
||
|
|
template <class Model>
|
||
|
|
struct require
|
||
|
|
# ifndef BOOST_NO_PARTIAL_SPECIALIZATION
|
||
|
|
: check<Model>
|
||
|
|
# else
|
||
|
|
: check<failed ************ Model::************>
|
||
|
|
# endif
|
||
|
|
{};
|
||
|
|
|
||
|
|
# endif
|
||
|
|
|
||
|
|
# if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
|
||
|
|
|
||
|
|
//
|
||
|
|
// The iterator library sees some really strange errors unless we
|
||
|
|
// do things this way.
|
||
|
|
//
|
||
|
|
template <class Model>
|
||
|
|
struct require<void(*)(Model)>
|
||
|
|
{
|
||
|
|
virtual void failed(Model*)
|
||
|
|
{
|
||
|
|
require<Model>();
|
||
|
|
}
|
||
|
|
};
|
||
|
|
|
||
|
|
# define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
|
||
|
|
enum \
|
||
|
|
{ \
|
||
|
|
BOOST_PP_CAT(boost_concept_check,__LINE__) = \
|
||
|
|
sizeof(::boost::concepts::require<ModelFnPtr>) \
|
||
|
|
}
|
||
|
|
|
||
|
|
# else // Not vc-7.1
|
||
|
|
|
||
|
|
template <class Model>
|
||
|
|
require<Model>
|
||
|
|
require_(void(*)(Model));
|
||
|
|
|
||
|
|
# define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
|
||
|
|
enum \
|
||
|
|
{ \
|
||
|
|
BOOST_PP_CAT(boost_concept_check,__LINE__) = \
|
||
|
|
sizeof(::boost::concepts::require_((ModelFnPtr)0)) \
|
||
|
|
}
|
||
|
|
|
||
|
|
# endif
|
||
|
|
}}
|
||
|
|
|
||
|
|
#endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
|