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_CHECK_MSVC_DWA2006429_HPP |
---|
5 | # define BOOST_CONCEPT_CHECK_MSVC_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 | |
---|
16 | namespace boost { namespace concepts { |
---|
17 | |
---|
18 | |
---|
19 | template <class Model> |
---|
20 | struct check |
---|
21 | { |
---|
22 | virtual void failed(Model* x) |
---|
23 | { |
---|
24 | x->~Model(); |
---|
25 | } |
---|
26 | }; |
---|
27 | |
---|
28 | # ifndef BOOST_NO_PARTIAL_SPECIALIZATION |
---|
29 | struct failed {}; |
---|
30 | template <class Model> |
---|
31 | struct check<failed ************ Model::************> |
---|
32 | { |
---|
33 | virtual void failed(Model* x) |
---|
34 | { |
---|
35 | x->~Model(); |
---|
36 | } |
---|
37 | }; |
---|
38 | # endif |
---|
39 | |
---|
40 | # ifdef BOOST_OLD_CONCEPT_SUPPORT |
---|
41 | |
---|
42 | namespace detail |
---|
43 | { |
---|
44 | // No need for a virtual function here, since evaluating |
---|
45 | // not_satisfied below will have already instantiated the |
---|
46 | // constraints() member. |
---|
47 | struct constraint {}; |
---|
48 | } |
---|
49 | |
---|
50 | template <class Model> |
---|
51 | struct require |
---|
52 | : mpl::if_c< |
---|
53 | not_satisfied<Model>::value |
---|
54 | , detail::constraint |
---|
55 | # ifndef BOOST_NO_PARTIAL_SPECIALIZATION |
---|
56 | , check<Model> |
---|
57 | # else |
---|
58 | , check<failed ************ Model::************> |
---|
59 | # endif |
---|
60 | >::type |
---|
61 | {}; |
---|
62 | |
---|
63 | # else |
---|
64 | |
---|
65 | template <class Model> |
---|
66 | struct require |
---|
67 | # ifndef BOOST_NO_PARTIAL_SPECIALIZATION |
---|
68 | : check<Model> |
---|
69 | # else |
---|
70 | : check<failed ************ Model::************> |
---|
71 | # endif |
---|
72 | {}; |
---|
73 | |
---|
74 | # endif |
---|
75 | |
---|
76 | # if BOOST_WORKAROUND(BOOST_MSVC, == 1310) |
---|
77 | |
---|
78 | // |
---|
79 | // The iterator library sees some really strange errors unless we |
---|
80 | // do things this way. |
---|
81 | // |
---|
82 | template <class Model> |
---|
83 | struct require<void(*)(Model)> |
---|
84 | { |
---|
85 | virtual void failed(Model*) |
---|
86 | { |
---|
87 | require<Model>(); |
---|
88 | } |
---|
89 | }; |
---|
90 | |
---|
91 | # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \ |
---|
92 | enum \ |
---|
93 | { \ |
---|
94 | BOOST_PP_CAT(boost_concept_check,__LINE__) = \ |
---|
95 | sizeof(::boost::concepts::require<ModelFnPtr>) \ |
---|
96 | } |
---|
97 | |
---|
98 | # else // Not vc-7.1 |
---|
99 | |
---|
100 | template <class Model> |
---|
101 | require<Model> |
---|
102 | require_(void(*)(Model)); |
---|
103 | |
---|
104 | # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \ |
---|
105 | enum \ |
---|
106 | { \ |
---|
107 | BOOST_PP_CAT(boost_concept_check,__LINE__) = \ |
---|
108 | sizeof(::boost::concepts::require_((ModelFnPtr)0)) \ |
---|
109 | } |
---|
110 | |
---|
111 | # endif |
---|
112 | }} |
---|
113 | |
---|
114 | #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP |
---|