Chris@16: // Copyright David Abrahams 2006. Distributed under the Boost
Chris@16: // Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: #ifndef BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
Chris@16: # define BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
Chris@16: 
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16: #  include <boost/concept_check/has_constraints.hpp>
Chris@16: #  include <boost/mpl/if.hpp>
Chris@16: # endif
Chris@16: 
Chris@16: 
Chris@16: // This implementation works on GCC and Comeau, but has actually been
Chris@16: // fairly carefully tuned to work on GCC versions starting with
Chris@16: // gcc-2.95.x.  If you're trying to get an additional compiler to pass
Chris@16: // the tests you might consider breaking out a separate gcc.hpp and
Chris@16: // starting over on the general case.
Chris@16: namespace boost
Chris@16: {
Chris@16:   namespace concept_checking
Chris@16:   {
Chris@16:     template <void(*)()> struct instantiate {};
Chris@16:   }
Chris@16:   
Chris@16:   template <class ModelFn> struct concept_check_;
Chris@16: 
Chris@16:   template <class Model>
Chris@16:   void concept_check_failed()
Chris@16:   {
Chris@16:       ((Model*)0)->~Model();
Chris@16:   }
Chris@16: 
Chris@16:   template <class Model>
Chris@16:   struct concept_check
Chris@16:   {
Chris@16:       concept_checking::instantiate<concept_check_failed<Model> > x;
Chris@16:       enum { instantiate = 1 };
Chris@16:   };
Chris@16: 
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16:   
Chris@16:   template <class Model>
Chris@16:   void constraint_check_failed()
Chris@16:   {
Chris@16:       ((Model*)0)->constraints();
Chris@16:   }
Chris@16: 
Chris@16:   template <class Model>
Chris@16:   struct constraint_check
Chris@16:   {
Chris@16:       concept_checking::instantiate<constraint_check_failed<Model> > x;
Chris@16:       enum { instantiate = 1 };
Chris@16:   };
Chris@16:   
Chris@16:   template <class Model>
Chris@16:   struct concept_check_<void(*)(Model)>
Chris@16:     : mpl::if_c<
Chris@16:           concept_checking::has_constraints<Model>::value
Chris@16:         , constraint_check<Model>
Chris@16:         , concept_check<Model>
Chris@16:       >::type
Chris@16:   {};
Chris@16:   
Chris@16: # else
Chris@16:   
Chris@16:   template <class Model>
Chris@16:   struct concept_check_<void(*)(Model)>
Chris@16:     : concept_check<Model>
Chris@16:   {};
Chris@16:   
Chris@16: # endif
Chris@16:   
Chris@16:   // Usage, in class or function context:
Chris@16:   //
Chris@16:   //     BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>));
Chris@16: #  define BOOST_CONCEPT_ASSERT( ModelInParens )                             \
Chris@16:   enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                       \
Chris@16:          ::boost::concept_check_<void(*) ModelInParens>::instantiate        \
Chris@16:   }
Chris@16: }
Chris@16: 
Chris@16: #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP