1 // Copyright David Abrahams 2006. Distributed under the Boost 2 // Software License, Version 1.0. (See accompanying 3 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) 4 #ifndef BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP 5 # define BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP 6 7 # include <boost/preprocessor/cat.hpp> 8 # include <boost/concept/detail/backward_compatibility.hpp> 9 10 # ifdef BOOST_OLD_CONCEPT_SUPPORT 11 # include <boost/concept/detail/has_constraints.hpp> 12 # include <boost/mpl/if.hpp> 13 # endif 14 15 // This implementation works on Comeau and GCC, all the way back to 16 // 2.95 17 namespace boost { namespace concepts { 18 19 template <class ModelFn> 20 struct requirement_; 21 22 namespace detail 23 { 24 template <void(*)()> struct instantiate {}; 25 } 26 27 template <class Model> 28 struct requirement 29 { 30 static void failed() { ((Model*)0)->~Model(); } 31 }; 32 33 struct failed {}; 34 35 template <class Model> 36 struct requirement<failed ************ Model::************> 37 { 38 static void failed() { ((Model*)0)->~Model(); } 39 }; 40 41 # ifdef BOOST_OLD_CONCEPT_SUPPORT 42 43 template <class Model> 44 struct constraint 45 { 46 static void failed() { ((Model*)0)->constraints(); } 47 }; 48 49 template <class Model> 50 struct requirement_<void(*)(Model)> 51 : mpl::if_< 52 concepts::not_satisfied<Model> 53 , constraint<Model> 54 , requirement<failed ************ Model::************> 55 >::type 56 {}; 57 58 # else 59 60 // For GCC-2.x, these can't have exactly the same name 61 template <class Model> 62 struct requirement_<void(*)(Model)> 63 : requirement<failed ************ Model::************> 64 {}; 65 66 # endif 67 68 # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \ 69 typedef ::boost::concepts::detail::instantiate< \ 70 &::boost::concepts::requirement_<ModelFnPtr>::failed> \ 71 BOOST_PP_CAT(boost_concept_check,__LINE__) 72 73 }} 74 75 #endif // BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP 76
