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