annotate DEPENDENCIES/generic/include/boost/lambda/construct.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents 2665513ce2d3
children
rev   line source
Chris@16 1 // - construct.hpp -- Lambda Library -------------
Chris@16 2 //
Chris@16 3 // Copyright (C) 2000 Gary Powell (powellg@amazon.com)
Chris@16 4 // Copyright (C) 1999, 2000 Jaakko Jarvi (jaakko.jarvi@cs.utu.fi)
Chris@16 5 //
Chris@16 6 // Distributed under the Boost Software License, Version 1.0. (See
Chris@16 7 // accompanying file LICENSE_1_0.txt or copy at
Chris@16 8 // http://www.boost.org/LICENSE_1_0.txt)
Chris@16 9 //
Chris@16 10 // For more information, see http://www.boost.org
Chris@16 11 //
Chris@16 12 // -----------------------------------------------
Chris@16 13
Chris@16 14 #if !defined(BOOST_LAMBDA_CONSTRUCT_HPP)
Chris@16 15 #define BOOST_LAMBDA_CONSTRUCT_HPP
Chris@16 16
Chris@16 17 #include "boost/type_traits/remove_cv.hpp"
Chris@16 18 #include "boost/type_traits/is_pointer.hpp"
Chris@16 19
Chris@16 20 namespace boost {
Chris@16 21 namespace lambda {
Chris@16 22
Chris@16 23 // constructor is used together with bind. constructor<A> creates a bindable
Chris@16 24 // function object that passes its arguments forward to a constructor call
Chris@16 25 // of type A
Chris@16 26
Chris@16 27 template<class T> struct constructor {
Chris@16 28
Chris@16 29 template <class U> struct sig { typedef T type; };
Chris@16 30
Chris@16 31 T operator()() const {
Chris@16 32 return T();
Chris@16 33 }
Chris@16 34
Chris@16 35 template<class A1>
Chris@16 36 T operator()(A1& a1) const {
Chris@16 37 return T(a1);
Chris@16 38 }
Chris@16 39
Chris@16 40 template<class A1, class A2>
Chris@16 41 T operator()(A1& a1, A2& a2) const {
Chris@16 42 return T(a1, a2);
Chris@16 43 }
Chris@16 44
Chris@16 45 template<class A1, class A2, class A3>
Chris@16 46 T operator()(A1& a1, A2& a2, A3& a3) const {
Chris@16 47 return T(a1, a2, a3);
Chris@16 48 }
Chris@16 49
Chris@16 50 template<class A1, class A2, class A3, class A4>
Chris@16 51 T operator()(A1& a1, A2& a2, A3& a3, A4& a4) const {
Chris@16 52 return T(a1, a2, a3, a4);
Chris@16 53 }
Chris@16 54
Chris@16 55 template<class A1, class A2, class A3, class A4, class A5>
Chris@16 56 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5) const {
Chris@16 57 return T(a1, a2, a3, a4, a5);
Chris@16 58 }
Chris@16 59
Chris@16 60 template<class A1, class A2, class A3, class A4, class A5, class A6>
Chris@16 61 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6) const {
Chris@16 62 return T(a1, a2, a3, a4, a5, a6);
Chris@16 63 }
Chris@16 64
Chris@16 65 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7>
Chris@16 66 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7) const {
Chris@16 67 return T(a1, a2, a3, a4, a5, a6, a7);
Chris@16 68 }
Chris@16 69
Chris@16 70 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
Chris@16 71 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8) const {
Chris@16 72 return T(a1, a2, a3, a4, a5, a6, a7, a8);
Chris@16 73 }
Chris@16 74
Chris@16 75 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
Chris@16 76 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9) const {
Chris@16 77 return T(a1, a2, a3, a4, a5, a6, a7, a8, a9);
Chris@16 78 }
Chris@16 79
Chris@16 80 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9, class A10>
Chris@16 81 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9, A10& a10) const {
Chris@16 82 return T(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);
Chris@16 83 }
Chris@16 84
Chris@16 85 };
Chris@16 86
Chris@16 87
Chris@16 88 namespace detail {
Chris@16 89
Chris@16 90 // A standard conforming compiler could disambiguate between
Chris@16 91 // A1* and A1&, but not all compilers do that, so we need the
Chris@16 92 // helpers
Chris@16 93
Chris@16 94
Chris@16 95 template <bool IsPointer>
Chris@16 96 struct destructor_helper {
Chris@16 97
Chris@16 98 template<class A1>
Chris@16 99 static void exec(A1& a1) {
Chris@16 100 // remove all the qualifiers, not sure whether it is necessary
Chris@16 101 typedef typename boost::remove_cv<A1>::type plainA1;
Chris@16 102 a1.~plainA1();
Chris@16 103 }
Chris@16 104 };
Chris@16 105
Chris@16 106 template <>
Chris@16 107 struct destructor_helper<true> {
Chris@16 108
Chris@16 109 template<class A1>
Chris@16 110 static void exec(A1* a1) {
Chris@16 111 typedef typename boost::remove_cv<A1>::type plainA1;
Chris@16 112 (*a1).~plainA1();
Chris@16 113 }
Chris@16 114 };
Chris@16 115
Chris@16 116 }
Chris@16 117
Chris@16 118 // destructor funtion object
Chris@16 119 struct destructor {
Chris@16 120
Chris@16 121 template <class T> struct sig { typedef void type; };
Chris@16 122
Chris@16 123 template<class A1>
Chris@16 124 void operator()(A1& a1) const {
Chris@16 125 typedef typename boost::remove_cv<A1>::type plainA1;
Chris@16 126 detail::destructor_helper<boost::is_pointer<plainA1>::value>::exec(a1);
Chris@16 127 }
Chris@16 128 };
Chris@16 129
Chris@16 130
Chris@16 131
Chris@16 132 // new_ptr is used together with bind.
Chris@16 133
Chris@16 134 // note: placement new is not supported
Chris@16 135
Chris@16 136 template<class T> struct new_ptr {
Chris@16 137
Chris@16 138 template <class U> struct sig { typedef T* type; };
Chris@16 139
Chris@16 140 T* operator()() const {
Chris@16 141 return new T();
Chris@16 142 }
Chris@16 143
Chris@16 144 template<class A1>
Chris@16 145 T* operator()(A1& a1) const {
Chris@16 146 return new T(a1);
Chris@16 147 }
Chris@16 148
Chris@16 149 template<class A1, class A2>
Chris@16 150 T* operator()(A1& a1, A2& a2) const {
Chris@16 151 return new T(a1, a2);
Chris@16 152 }
Chris@16 153
Chris@16 154 template<class A1, class A2, class A3>
Chris@16 155 T* operator()(A1& a1, A2& a2, A3& a3) const {
Chris@16 156 return new T(a1, a2, a3);
Chris@16 157 }
Chris@16 158
Chris@16 159 template<class A1, class A2, class A3, class A4>
Chris@16 160 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4) const {
Chris@16 161 return new T(a1, a2, a3, a4);
Chris@16 162 }
Chris@16 163
Chris@16 164 template<class A1, class A2, class A3, class A4, class A5>
Chris@16 165 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5) const {
Chris@16 166 return new T(a1, a2, a3, a4, a5);
Chris@16 167 }
Chris@16 168
Chris@16 169 template<class A1, class A2, class A3, class A4, class A5, class A6>
Chris@16 170 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6) const {
Chris@16 171 return new T(a1, a2, a3, a4, a5, a6);
Chris@16 172 }
Chris@16 173
Chris@16 174 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7>
Chris@16 175 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7) const {
Chris@16 176 return new T(a1, a2, a3, a4, a5, a6, a7);
Chris@16 177 }
Chris@16 178
Chris@16 179 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
Chris@16 180 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8) const {
Chris@16 181 return new T(a1, a2, a3, a4, a5, a6, a7, a8);
Chris@16 182 }
Chris@16 183
Chris@16 184 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
Chris@16 185 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9) const {
Chris@16 186 return new T(a1, a2, a3, a4, a5, a6, a7, a8, a9);
Chris@16 187 }
Chris@16 188
Chris@16 189 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9, class A10>
Chris@16 190 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9, A10& a10) const {
Chris@16 191 return new T(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);
Chris@16 192 }
Chris@16 193
Chris@16 194 };
Chris@16 195
Chris@16 196 // delete_ptr return void
Chris@16 197
Chris@16 198 struct delete_ptr {
Chris@16 199
Chris@16 200 template <class U> struct sig { typedef void type; };
Chris@16 201
Chris@16 202 template <class A1>
Chris@16 203 void operator()(A1& a1) const {
Chris@16 204 delete a1;
Chris@16 205 }
Chris@16 206
Chris@16 207 };
Chris@16 208
Chris@16 209
Chris@16 210 // new_array is used together with bind.
Chris@16 211
Chris@16 212 template<class T> struct new_array {
Chris@16 213
Chris@16 214 template <class U> struct sig { typedef T* type; };
Chris@16 215
Chris@16 216 T* operator()(int size) const {
Chris@16 217 return new T[size];
Chris@16 218 }
Chris@16 219 };
Chris@16 220
Chris@16 221
Chris@16 222 // delete_ptr return void
Chris@16 223
Chris@16 224 struct delete_array {
Chris@16 225
Chris@16 226 template <class U> struct sig { typedef void type; };
Chris@16 227
Chris@16 228 template <class A1>
Chris@16 229 void operator()(A1& a1) const {
Chris@16 230 delete[] a1;
Chris@16 231 }
Chris@16 232
Chris@16 233 };
Chris@16 234
Chris@16 235
Chris@16 236
Chris@16 237 } // namespace lambda
Chris@16 238 } // namespace boost
Chris@16 239
Chris@16 240 #endif