// 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 | |
# ifdef BOOST_OLD_CONCEPT_SUPPORT | |
# include <boost/concept_check/has_constraints.hpp> | |
# include <boost/mpl/if.hpp> | |
# endif | |
// This implementation works on GCC and Comeau, but has actually been | |
// fairly carefully tuned to work on GCC versions starting with | |
// gcc-2.95.x. If you're trying to get an additional compiler to pass | |
// the tests you might consider breaking out a separate gcc.hpp and | |
// starting over on the general case. | |
namespace boost | |
{ | |
namespace concept_checking | |
{ | |
template <void(*)()> struct instantiate {}; | |
} | |
template <class ModelFn> struct concept_check_; | |
template <class Model> | |
void concept_check_failed() | |
{ | |
((Model*)0)->~Model(); | |
} | |
template <class Model> | |
struct concept_check | |
{ | |
concept_checking::instantiate<concept_check_failed<Model> > x; | |
enum { instantiate = 1 }; | |
}; | |
# ifdef BOOST_OLD_CONCEPT_SUPPORT | |
template <class Model> | |
void constraint_check_failed() | |
{ | |
((Model*)0)->constraints(); | |
} | |
template <class Model> | |
struct constraint_check | |
{ | |
concept_checking::instantiate<constraint_check_failed<Model> > x; | |
enum { instantiate = 1 }; | |
}; | |
template <class Model> | |
struct concept_check_<void(*)(Model)> | |
: mpl::if_c< | |
concept_checking::has_constraints<Model>::value | |
, constraint_check<Model> | |
, concept_check<Model> | |
>::type | |
{}; | |
# else | |
template <class Model> | |
struct concept_check_<void(*)(Model)> | |
: concept_check<Model> | |
{}; | |
# endif | |
// Usage, in class or function context: | |
// | |
// BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>)); | |
# define BOOST_CONCEPT_ASSERT( ModelInParens ) \ | |
enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \ | |
::boost::concept_check_<void(*) ModelInParens>::instantiate \ | |
} | |
} | |
#endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP |