Blame view

3rdparty/boost_1_81_0/boost/concept_check/msvc.hpp 2.11 KB
63e88f80   Hu Chunming   提交三方库
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
  // 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/type_traits/conditional.hpp>
  # endif
  
  
  namespace boost
  {
    namespace concept_checking
    {
      template <class Model>
      struct concept_check_
      {
          virtual void failed(Model* x)
          {
              x->~Model();
          }
      };
    }
    
  # ifdef BOOST_OLD_CONCEPT_SUPPORT
    
    namespace concept_checking
    {
      template <class Model>
      struct constraint_check
      {
          virtual void failed(Model* x)
          {
              x->constraints();
          }
      };
    }
  
    template <class Model>
    struct concept_check
      : conditional<
            concept_checking::has_constraints<Model>::value
          , concept_checking::constraint_check<Model>
          , concept_checking::concept_check_<Model>
        >::type
    {};
        
  # else
    
    template <class Model>
    struct concept_check
      : concept_checking::concept_check_<Model>
    {};
    
  # endif
  
  # if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
  
    //
    // The iterator library sees some really strange errors unless we
    // use partial specialization to extract the model type with
    // msvc-7.1
    // 
    template <class Model>
    struct concept_check<void(*)(Model)>
      : concept_check<Model>
    { };
  
  # define BOOST_CONCEPT_ASSERT( ModelInParens )                          \
    enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                   \
           sizeof(::boost::concept_check<void(*) ModelInParens>)          \
    }
    
  # else
    
    template <class Model>
    concept_check<Model>
    concept_check_(void(*)(Model));
    
  # define BOOST_CONCEPT_ASSERT( ModelInParens )                          \
    enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                   \
           sizeof(::boost::concept_check_((void(*) ModelInParens)0))      \
    }
    
  # endif 
  }
  
  #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP