// 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 |