blob: 1bddb9fadf47b6cacf160d7117ab7ee8993cb583 [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001// -*- C++ -*-
2//===------------------------ functional ----------------------------------===//
3//
Howard Hinnantc566dc32010-05-11 21:36:01 +00004// The LLVM Compiler Infrastructure
Howard Hinnantc51e1022010-05-11 19:42:16 +00005//
Howard Hinnantee11c312010-11-16 22:09:02 +00006// This file is dual licensed under the MIT and the University of Illinois Open
7// Source Licenses. See LICENSE.TXT for details.
Howard Hinnantc51e1022010-05-11 19:42:16 +00008//
9//===----------------------------------------------------------------------===//
10
11#ifndef _LIBCPP_FUNCTIONAL
12#define _LIBCPP_FUNCTIONAL
13
14/*
15 functional synopsis
16
17namespace std
18{
19
20template <class Arg, class Result>
21struct unary_function
22{
23 typedef Arg argument_type;
24 typedef Result result_type;
25};
26
27template <class Arg1, class Arg2, class Result>
28struct binary_function
29{
30 typedef Arg1 first_argument_type;
31 typedef Arg2 second_argument_type;
32 typedef Result result_type;
33};
34
Howard Hinnantf06d9262010-08-20 19:36:46 +000035template <class T>
Howard Hinnantc51e1022010-05-11 19:42:16 +000036class reference_wrapper
37 : public unary_function<T1, R> // if wrapping a unary functor
38 : public binary_function<T1, T2, R> // if wraping a binary functor
39{
40public:
41 // types
42 typedef T type;
43 typedef see below result_type; // Not always defined
44
45 // construct/copy/destroy
Howard Hinnantf7724cd2011-05-28 17:59:48 +000046 reference_wrapper(T&) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +000047 reference_wrapper(T&&) = delete; // do not bind to temps
Howard Hinnantf7724cd2011-05-28 17:59:48 +000048 reference_wrapper(const reference_wrapper<T>& x) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +000049
50 // assignment
Howard Hinnantf7724cd2011-05-28 17:59:48 +000051 reference_wrapper& operator=(const reference_wrapper<T>& x) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +000052
53 // access
Howard Hinnantf7724cd2011-05-28 17:59:48 +000054 operator T& () const noexcept;
55 T& get() const noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +000056
57 // invoke
58 template <class... ArgTypes>
Howard Hinnantc9c775b2013-09-21 17:58:58 +000059 typename result_of<T&(ArgTypes&&...)>::type
Howard Hinnantc51e1022010-05-11 19:42:16 +000060 operator() (ArgTypes&&...) const;
61};
62
Howard Hinnantf7724cd2011-05-28 17:59:48 +000063template <class T> reference_wrapper<T> ref(T& t) noexcept;
Howard Hinnantf06d9262010-08-20 19:36:46 +000064template <class T> void ref(const T&& t) = delete;
Howard Hinnantf7724cd2011-05-28 17:59:48 +000065template <class T> reference_wrapper<T> ref(reference_wrapper<T>t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +000066
Howard Hinnantf7724cd2011-05-28 17:59:48 +000067template <class T> reference_wrapper<const T> cref(const T& t) noexcept;
Howard Hinnantf06d9262010-08-20 19:36:46 +000068template <class T> void cref(const T&& t) = delete;
Howard Hinnantf7724cd2011-05-28 17:59:48 +000069template <class T> reference_wrapper<const T> cref(reference_wrapper<T> t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +000070
Louis Dionnedb1892a2018-12-03 14:03:27 +000071template <class T> struct unwrap_reference; // since C++20
72template <class T> struct unwrap_ref_decay : unwrap_reference<decay_t<T>> { }; // since C++20
73template <class T> using unwrap_reference_t = typename unwrap_reference<T>::type; // since C++20
74template <class T> using unwrap_ref_decay_t = typename unwrap_ref_decay<T>::type; // since C++20
75
Marshall Clow974bae22013-07-29 14:21:53 +000076template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +000077struct plus : binary_function<T, T, T>
78{
79 T operator()(const T& x, const T& y) const;
80};
81
Marshall Clow974bae22013-07-29 14:21:53 +000082template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +000083struct minus : binary_function<T, T, T>
84{
85 T operator()(const T& x, const T& y) const;
86};
87
Marshall Clow974bae22013-07-29 14:21:53 +000088template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +000089struct multiplies : binary_function<T, T, T>
90{
91 T operator()(const T& x, const T& y) const;
92};
93
Marshall Clow974bae22013-07-29 14:21:53 +000094template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +000095struct divides : binary_function<T, T, T>
96{
97 T operator()(const T& x, const T& y) const;
98};
99
Marshall Clow974bae22013-07-29 14:21:53 +0000100template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000101struct modulus : binary_function<T, T, T>
102{
103 T operator()(const T& x, const T& y) const;
104};
105
Marshall Clow974bae22013-07-29 14:21:53 +0000106template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000107struct negate : unary_function<T, T>
108{
109 T operator()(const T& x) const;
110};
111
Marshall Clow974bae22013-07-29 14:21:53 +0000112template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000113struct equal_to : binary_function<T, T, bool>
114{
115 bool operator()(const T& x, const T& y) const;
116};
117
Marshall Clow974bae22013-07-29 14:21:53 +0000118template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000119struct not_equal_to : binary_function<T, T, bool>
120{
121 bool operator()(const T& x, const T& y) const;
122};
123
Marshall Clow974bae22013-07-29 14:21:53 +0000124template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000125struct greater : binary_function<T, T, bool>
126{
127 bool operator()(const T& x, const T& y) const;
128};
129
Marshall Clow974bae22013-07-29 14:21:53 +0000130template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000131struct less : binary_function<T, T, bool>
132{
133 bool operator()(const T& x, const T& y) const;
134};
135
Marshall Clow974bae22013-07-29 14:21:53 +0000136template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000137struct greater_equal : binary_function<T, T, bool>
138{
139 bool operator()(const T& x, const T& y) const;
140};
141
Marshall Clow974bae22013-07-29 14:21:53 +0000142template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000143struct less_equal : binary_function<T, T, bool>
144{
145 bool operator()(const T& x, const T& y) const;
146};
147
Marshall Clow974bae22013-07-29 14:21:53 +0000148template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000149struct logical_and : binary_function<T, T, bool>
150{
151 bool operator()(const T& x, const T& y) const;
152};
153
Marshall Clow974bae22013-07-29 14:21:53 +0000154template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000155struct logical_or : binary_function<T, T, bool>
156{
157 bool operator()(const T& x, const T& y) const;
158};
159
Marshall Clow974bae22013-07-29 14:21:53 +0000160template <class T> // <class T=void> in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000161struct logical_not : unary_function<T, bool>
162{
163 bool operator()(const T& x) const;
164};
165
Marshall Clow974bae22013-07-29 14:21:53 +0000166template <class T> // <class T=void> in C++14
167struct bit_and : unary_function<T, bool>
168{
169 bool operator()(const T& x, const T& y) const;
170};
171
172template <class T> // <class T=void> in C++14
173struct bit_or : unary_function<T, bool>
174{
175 bool operator()(const T& x, const T& y) const;
176};
177
178template <class T> // <class T=void> in C++14
179struct bit_xor : unary_function<T, bool>
180{
181 bool operator()(const T& x, const T& y) const;
182};
183
184template <class T=void> // C++14
185struct bit_xor : unary_function<T, bool>
186{
187 bool operator()(const T& x) const;
188};
189
Howard Hinnantc51e1022010-05-11 19:42:16 +0000190template <class Predicate>
Louis Dionne481a2662018-09-23 18:35:00 +0000191class unary_negate // deprecated in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000192 : public unary_function<typename Predicate::argument_type, bool>
193{
194public:
195 explicit unary_negate(const Predicate& pred);
196 bool operator()(const typename Predicate::argument_type& x) const;
197};
198
Louis Dionne481a2662018-09-23 18:35:00 +0000199template <class Predicate> // deprecated in C++17
200unary_negate<Predicate> not1(const Predicate& pred);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000201
202template <class Predicate>
Louis Dionne481a2662018-09-23 18:35:00 +0000203class binary_negate // deprecated in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000204 : public binary_function<typename Predicate::first_argument_type,
205 typename Predicate::second_argument_type,
206 bool>
207{
208public:
209 explicit binary_negate(const Predicate& pred);
210 bool operator()(const typename Predicate::first_argument_type& x,
211 const typename Predicate::second_argument_type& y) const;
212};
213
Louis Dionne481a2662018-09-23 18:35:00 +0000214template <class Predicate> // deprecated in C++17
215binary_negate<Predicate> not2(const Predicate& pred);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000216
Eric Fiselier934f63b2016-06-02 01:25:41 +0000217template <class F> unspecified not_fn(F&& f); // C++17
218
Howard Hinnantc51e1022010-05-11 19:42:16 +0000219template<class T> struct is_bind_expression;
220template<class T> struct is_placeholder;
221
Marshall Clow2d2d7f12016-09-22 00:23:15 +0000222 // See C++14 20.9.9, Function object binders
Marshall Clowf1bf62f2018-01-02 17:17:01 +0000223template <class T> inline constexpr bool is_bind_expression_v
Marshall Clow2d2d7f12016-09-22 00:23:15 +0000224 = is_bind_expression<T>::value; // C++17
Marshall Clowf1bf62f2018-01-02 17:17:01 +0000225template <class T> inline constexpr int is_placeholder_v
Marshall Clow2d2d7f12016-09-22 00:23:15 +0000226 = is_placeholder<T>::value; // C++17
227
228
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000229template<class Fn, class... BoundArgs>
Howard Hinnantf06d9262010-08-20 19:36:46 +0000230 unspecified bind(Fn&&, BoundArgs&&...);
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000231template<class R, class Fn, class... BoundArgs>
Howard Hinnantf06d9262010-08-20 19:36:46 +0000232 unspecified bind(Fn&&, BoundArgs&&...);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000233
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000234namespace placeholders {
235 // M is the implementation-defined number of placeholders
Howard Hinnantc51e1022010-05-11 19:42:16 +0000236 extern unspecified _1;
237 extern unspecified _2;
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000238 .
239 .
240 .
Howard Hinnantc834c512011-11-29 18:15:50 +0000241 extern unspecified _Mp;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000242}
243
244template <class Operation>
Marshall Clow26a027c2017-04-13 18:25:32 +0000245class binder1st // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000246 : public unary_function<typename Operation::second_argument_type,
247 typename Operation::result_type>
248{
249protected:
250 Operation op;
251 typename Operation::first_argument_type value;
252public:
253 binder1st(const Operation& x, const typename Operation::first_argument_type y);
254 typename Operation::result_type operator()( typename Operation::second_argument_type& x) const;
255 typename Operation::result_type operator()(const typename Operation::second_argument_type& x) const;
256};
257
258template <class Operation, class T>
Marshall Clow26a027c2017-04-13 18:25:32 +0000259binder1st<Operation> bind1st(const Operation& op, const T& x); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000260
261template <class Operation>
Marshall Clow26a027c2017-04-13 18:25:32 +0000262class binder2nd // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000263 : public unary_function<typename Operation::first_argument_type,
264 typename Operation::result_type>
265{
266protected:
267 Operation op;
268 typename Operation::second_argument_type value;
269public:
270 binder2nd(const Operation& x, const typename Operation::second_argument_type y);
271 typename Operation::result_type operator()( typename Operation::first_argument_type& x) const;
272 typename Operation::result_type operator()(const typename Operation::first_argument_type& x) const;
273};
274
275template <class Operation, class T>
Marshall Clow26a027c2017-04-13 18:25:32 +0000276binder2nd<Operation> bind2nd(const Operation& op, const T& x); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000277
Marshall Clow26a027c2017-04-13 18:25:32 +0000278template <class Arg, class Result> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000279class pointer_to_unary_function : public unary_function<Arg, Result>
280{
281public:
282 explicit pointer_to_unary_function(Result (*f)(Arg));
283 Result operator()(Arg x) const;
284};
285
286template <class Arg, class Result>
Marshall Clow26a027c2017-04-13 18:25:32 +0000287pointer_to_unary_function<Arg,Result> ptr_fun(Result (*f)(Arg)); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000288
Marshall Clow26a027c2017-04-13 18:25:32 +0000289template <class Arg1, class Arg2, class Result> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000290class pointer_to_binary_function : public binary_function<Arg1, Arg2, Result>
291{
292public:
293 explicit pointer_to_binary_function(Result (*f)(Arg1, Arg2));
294 Result operator()(Arg1 x, Arg2 y) const;
295};
296
297template <class Arg1, class Arg2, class Result>
Marshall Clow26a027c2017-04-13 18:25:32 +0000298pointer_to_binary_function<Arg1,Arg2,Result> ptr_fun(Result (*f)(Arg1,Arg2)); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000299
Marshall Clow26a027c2017-04-13 18:25:32 +0000300template<class S, class T> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000301class mem_fun_t : public unary_function<T*, S>
302{
303public:
304 explicit mem_fun_t(S (T::*p)());
305 S operator()(T* p) const;
306};
307
308template<class S, class T, class A>
Marshall Clow26a027c2017-04-13 18:25:32 +0000309class mem_fun1_t : public binary_function<T*, A, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000310{
311public:
312 explicit mem_fun1_t(S (T::*p)(A));
313 S operator()(T* p, A x) const;
314};
315
Marshall Clow26a027c2017-04-13 18:25:32 +0000316template<class S, class T> mem_fun_t<S,T> mem_fun(S (T::*f)()); // deprecated in C++11, removed in C++17
317template<class S, class T, class A> mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A)); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000318
319template<class S, class T>
Marshall Clow26a027c2017-04-13 18:25:32 +0000320class mem_fun_ref_t : public unary_function<T, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000321{
322public:
323 explicit mem_fun_ref_t(S (T::*p)());
324 S operator()(T& p) const;
325};
326
327template<class S, class T, class A>
Marshall Clow26a027c2017-04-13 18:25:32 +0000328class mem_fun1_ref_t : public binary_function<T, A, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000329{
330public:
331 explicit mem_fun1_ref_t(S (T::*p)(A));
332 S operator()(T& p, A x) const;
333};
334
Marshall Clow26a027c2017-04-13 18:25:32 +0000335template<class S, class T> mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)()); // deprecated in C++11, removed in C++17
336template<class S, class T, class A> mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A)); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000337
338template <class S, class T>
Marshall Clow26a027c2017-04-13 18:25:32 +0000339class const_mem_fun_t : public unary_function<const T*, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000340{
341public:
342 explicit const_mem_fun_t(S (T::*p)() const);
343 S operator()(const T* p) const;
344};
345
346template <class S, class T, class A>
Marshall Clow26a027c2017-04-13 18:25:32 +0000347class const_mem_fun1_t : public binary_function<const T*, A, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000348{
349public:
350 explicit const_mem_fun1_t(S (T::*p)(A) const);
351 S operator()(const T* p, A x) const;
352};
353
Marshall Clow26a027c2017-04-13 18:25:32 +0000354template <class S, class T> const_mem_fun_t<S,T> mem_fun(S (T::*f)() const); // deprecated in C++11, removed in C++17
355template <class S, class T, class A> const_mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A) const); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000356
357template <class S, class T>
Marshall Clow26a027c2017-04-13 18:25:32 +0000358class const_mem_fun_ref_t : public unary_function<T, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000359{
360public:
361 explicit const_mem_fun_ref_t(S (T::*p)() const);
362 S operator()(const T& p) const;
363};
364
365template <class S, class T, class A>
Marshall Clow26a027c2017-04-13 18:25:32 +0000366class const_mem_fun1_ref_t : public binary_function<T, A, S> // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000367{
368public:
369 explicit const_mem_fun1_ref_t(S (T::*p)(A) const);
370 S operator()(const T& p, A x) const;
371};
372
Marshall Clow26a027c2017-04-13 18:25:32 +0000373template <class S, class T> const_mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)() const); // deprecated in C++11, removed in C++17
374template <class S, class T, class A> const_mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A) const); // deprecated in C++11, removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000375
Howard Hinnantf06d9262010-08-20 19:36:46 +0000376template<class R, class T> unspecified mem_fn(R T::*);
Howard Hinnantf06d9262010-08-20 19:36:46 +0000377
Howard Hinnantc51e1022010-05-11 19:42:16 +0000378class bad_function_call
379 : public exception
380{
381};
382
Howard Hinnantf06d9262010-08-20 19:36:46 +0000383template<class> class function; // undefined
Howard Hinnantc51e1022010-05-11 19:42:16 +0000384
Howard Hinnantf06d9262010-08-20 19:36:46 +0000385template<class R, class... ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000386class function<R(ArgTypes...)>
387 : public unary_function<T1, R> // iff sizeof...(ArgTypes) == 1 and
388 // ArgTypes contains T1
389 : public binary_function<T1, T2, R> // iff sizeof...(ArgTypes) == 2 and
390 // ArgTypes contains T1 and T2
391{
392public:
393 typedef R result_type;
394
Howard Hinnantf06d9262010-08-20 19:36:46 +0000395 // construct/copy/destroy:
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000396 function() noexcept;
397 function(nullptr_t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000398 function(const function&);
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000399 function(function&&) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000400 template<class F>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000401 function(F);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000402 template<Allocator Alloc>
Marshall Clow3148f422016-10-13 21:06:03 +0000403 function(allocator_arg_t, const Alloc&) noexcept; // removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000404 template<Allocator Alloc>
Marshall Clow3148f422016-10-13 21:06:03 +0000405 function(allocator_arg_t, const Alloc&, nullptr_t) noexcept; // removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000406 template<Allocator Alloc>
Marshall Clow3148f422016-10-13 21:06:03 +0000407 function(allocator_arg_t, const Alloc&, const function&); // removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000408 template<Allocator Alloc>
Marshall Clow3148f422016-10-13 21:06:03 +0000409 function(allocator_arg_t, const Alloc&, function&&); // removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000410 template<class F, Allocator Alloc>
Marshall Clow3148f422016-10-13 21:06:03 +0000411 function(allocator_arg_t, const Alloc&, F); // removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000412
413 function& operator=(const function&);
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000414 function& operator=(function&&) noexcept;
Howard Hinnant7b85be02011-05-29 13:53:56 +0000415 function& operator=(nullptr_t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000416 template<class F>
Howard Hinnantf06d9262010-08-20 19:36:46 +0000417 function& operator=(F&&);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000418 template<class F>
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000419 function& operator=(reference_wrapper<F>) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000420
421 ~function();
422
Howard Hinnantf06d9262010-08-20 19:36:46 +0000423 // function modifiers:
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000424 void swap(function&) noexcept;
Howard Hinnantf06d9262010-08-20 19:36:46 +0000425 template<class F, class Alloc>
Marshall Clowfc8fd832016-01-25 17:29:55 +0000426 void assign(F&&, const Alloc&); // Removed in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000427
Howard Hinnantf06d9262010-08-20 19:36:46 +0000428 // function capacity:
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000429 explicit operator bool() const noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000430
Howard Hinnantf06d9262010-08-20 19:36:46 +0000431 // function invocation:
Howard Hinnantc51e1022010-05-11 19:42:16 +0000432 R operator()(ArgTypes...) const;
433
Howard Hinnantf06d9262010-08-20 19:36:46 +0000434 // function target access:
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000435 const std::type_info& target_type() const noexcept;
436 template <typename T> T* target() noexcept;
437 template <typename T> const T* target() const noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000438};
439
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000440// Null pointer comparisons:
441template <class R, class ... ArgTypes>
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000442 bool operator==(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000443
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000444template <class R, class ... ArgTypes>
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000445 bool operator==(nullptr_t, const function<R(ArgTypes...)>&) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000446
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000447template <class R, class ... ArgTypes>
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000448 bool operator!=(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000449
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000450template <class R, class ... ArgTypes>
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000451 bool operator!=(nullptr_t, const function<R(ArgTypes...)>&) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000452
Howard Hinnant3b6579a2010-08-22 00:02:43 +0000453// specialized algorithms:
454template <class R, class ... ArgTypes>
Howard Hinnantf7724cd2011-05-28 17:59:48 +0000455 void swap(function<R(ArgTypes...)>&, function<R(ArgTypes...)>&) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000456
457template <class T> struct hash;
458
459template <> struct hash<bool>;
460template <> struct hash<char>;
461template <> struct hash<signed char>;
462template <> struct hash<unsigned char>;
463template <> struct hash<char16_t>;
464template <> struct hash<char32_t>;
465template <> struct hash<wchar_t>;
466template <> struct hash<short>;
467template <> struct hash<unsigned short>;
468template <> struct hash<int>;
469template <> struct hash<unsigned int>;
470template <> struct hash<long>;
471template <> struct hash<long long>;
472template <> struct hash<unsigned long>;
473template <> struct hash<unsigned long long>;
474
475template <> struct hash<float>;
476template <> struct hash<double>;
477template <> struct hash<long double>;
478
479template<class T> struct hash<T*>;
Marshall Clowcc252222017-03-23 06:20:18 +0000480template <> struct hash<nullptr_t>; // C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000481
482} // std
483
484POLICY: For non-variadic implementations, the number of arguments is limited
485 to 3. It is hoped that the need for non-variadic implementations
486 will be minimal.
487
488*/
489
490#include <__config>
491#include <type_traits>
492#include <typeinfo>
493#include <exception>
494#include <memory>
495#include <tuple>
Eric Fiselier698a97b2017-01-21 00:02:12 +0000496#include <utility>
Marshall Clow0a1e7502018-09-12 19:41:40 +0000497#include <version>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000498
499#include <__functional_base>
500
Howard Hinnantaaaa52b2011-10-17 20:05:10 +0000501#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000502#pragma GCC system_header
Howard Hinnantaaaa52b2011-10-17 20:05:10 +0000503#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +0000504
505_LIBCPP_BEGIN_NAMESPACE_STD
506
Marshall Clow974bae22013-07-29 14:21:53 +0000507#if _LIBCPP_STD_VER > 11
508template <class _Tp = void>
509#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000510template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000511#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000512struct _LIBCPP_TEMPLATE_VIS plus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000513{
Marshall Clowd18ee652013-09-28 19:06:12 +0000514 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
515 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000516 {return __x + __y;}
517};
518
Marshall Clow974bae22013-07-29 14:21:53 +0000519#if _LIBCPP_STD_VER > 11
520template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000521struct _LIBCPP_TEMPLATE_VIS plus<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000522{
523 template <class _T1, class _T2>
Marshall Clowd18ee652013-09-28 19:06:12 +0000524 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
525 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000526 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) + _VSTD::forward<_T2>(__u)))
527 -> decltype (_VSTD::forward<_T1>(__t) + _VSTD::forward<_T2>(__u))
528 { return _VSTD::forward<_T1>(__t) + _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000529 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000530};
531#endif
532
533
534#if _LIBCPP_STD_VER > 11
535template <class _Tp = void>
536#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000537template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000538#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000539struct _LIBCPP_TEMPLATE_VIS minus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000540{
Marshall Clowd18ee652013-09-28 19:06:12 +0000541 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
542 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000543 {return __x - __y;}
544};
545
Marshall Clow974bae22013-07-29 14:21:53 +0000546#if _LIBCPP_STD_VER > 11
547template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000548struct _LIBCPP_TEMPLATE_VIS minus<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000549{
550 template <class _T1, class _T2>
Marshall Clowd18ee652013-09-28 19:06:12 +0000551 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
552 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000553 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) - _VSTD::forward<_T2>(__u)))
554 -> decltype (_VSTD::forward<_T1>(__t) - _VSTD::forward<_T2>(__u))
555 { return _VSTD::forward<_T1>(__t) - _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000556 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000557};
558#endif
559
560
561#if _LIBCPP_STD_VER > 11
562template <class _Tp = void>
563#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000564template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000565#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000566struct _LIBCPP_TEMPLATE_VIS multiplies : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000567{
Marshall Clowd18ee652013-09-28 19:06:12 +0000568 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
569 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000570 {return __x * __y;}
571};
572
Marshall Clow974bae22013-07-29 14:21:53 +0000573#if _LIBCPP_STD_VER > 11
574template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000575struct _LIBCPP_TEMPLATE_VIS multiplies<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000576{
577 template <class _T1, class _T2>
Marshall Clowd18ee652013-09-28 19:06:12 +0000578 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
579 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000580 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) * _VSTD::forward<_T2>(__u)))
581 -> decltype (_VSTD::forward<_T1>(__t) * _VSTD::forward<_T2>(__u))
582 { return _VSTD::forward<_T1>(__t) * _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000583 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000584};
585#endif
586
587
588#if _LIBCPP_STD_VER > 11
589template <class _Tp = void>
590#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000591template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000592#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000593struct _LIBCPP_TEMPLATE_VIS divides : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000594{
Marshall Clowd18ee652013-09-28 19:06:12 +0000595 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
596 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000597 {return __x / __y;}
598};
599
Marshall Clow974bae22013-07-29 14:21:53 +0000600#if _LIBCPP_STD_VER > 11
601template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000602struct _LIBCPP_TEMPLATE_VIS divides<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000603{
604 template <class _T1, class _T2>
Marshall Clowd18ee652013-09-28 19:06:12 +0000605 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
606 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000607 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) / _VSTD::forward<_T2>(__u)))
608 -> decltype (_VSTD::forward<_T1>(__t) / _VSTD::forward<_T2>(__u))
609 { return _VSTD::forward<_T1>(__t) / _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000610 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000611};
612#endif
613
614
615#if _LIBCPP_STD_VER > 11
616template <class _Tp = void>
617#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000618template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000619#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000620struct _LIBCPP_TEMPLATE_VIS modulus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000621{
Marshall Clowd18ee652013-09-28 19:06:12 +0000622 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
623 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000624 {return __x % __y;}
625};
626
Marshall Clow974bae22013-07-29 14:21:53 +0000627#if _LIBCPP_STD_VER > 11
628template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000629struct _LIBCPP_TEMPLATE_VIS modulus<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000630{
631 template <class _T1, class _T2>
Marshall Clowd18ee652013-09-28 19:06:12 +0000632 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
633 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000634 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) % _VSTD::forward<_T2>(__u)))
635 -> decltype (_VSTD::forward<_T1>(__t) % _VSTD::forward<_T2>(__u))
636 { return _VSTD::forward<_T1>(__t) % _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000637 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000638};
639#endif
640
641
642#if _LIBCPP_STD_VER > 11
643template <class _Tp = void>
644#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000645template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000646#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000647struct _LIBCPP_TEMPLATE_VIS negate : unary_function<_Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000648{
Marshall Clowd18ee652013-09-28 19:06:12 +0000649 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
650 _Tp operator()(const _Tp& __x) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000651 {return -__x;}
652};
653
Marshall Clow974bae22013-07-29 14:21:53 +0000654#if _LIBCPP_STD_VER > 11
655template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000656struct _LIBCPP_TEMPLATE_VIS negate<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000657{
658 template <class _Tp>
Marshall Clowd18ee652013-09-28 19:06:12 +0000659 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
660 auto operator()(_Tp&& __x) const
Marshall Clow012ca342015-02-25 12:20:52 +0000661 _NOEXCEPT_(noexcept(- _VSTD::forward<_Tp>(__x)))
662 -> decltype (- _VSTD::forward<_Tp>(__x))
663 { return - _VSTD::forward<_Tp>(__x); }
Marshall Clowc0152142013-08-13 01:11:06 +0000664 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000665};
666#endif
667
668
669#if _LIBCPP_STD_VER > 11
670template <class _Tp = void>
671#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000672template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000673#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000674struct _LIBCPP_TEMPLATE_VIS equal_to : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000675{
Marshall Clowd18ee652013-09-28 19:06:12 +0000676 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
677 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000678 {return __x == __y;}
679};
680
Marshall Clow974bae22013-07-29 14:21:53 +0000681#if _LIBCPP_STD_VER > 11
682template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000683struct _LIBCPP_TEMPLATE_VIS equal_to<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000684{
Marshall Clowd18ee652013-09-28 19:06:12 +0000685 template <class _T1, class _T2>
686 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000687 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000688 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) == _VSTD::forward<_T2>(__u)))
689 -> decltype (_VSTD::forward<_T1>(__t) == _VSTD::forward<_T2>(__u))
690 { return _VSTD::forward<_T1>(__t) == _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000691 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000692};
693#endif
694
695
696#if _LIBCPP_STD_VER > 11
697template <class _Tp = void>
698#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000699template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000700#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000701struct _LIBCPP_TEMPLATE_VIS not_equal_to : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000702{
Marshall Clowd18ee652013-09-28 19:06:12 +0000703 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
704 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000705 {return __x != __y;}
706};
707
Marshall Clow974bae22013-07-29 14:21:53 +0000708#if _LIBCPP_STD_VER > 11
709template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000710struct _LIBCPP_TEMPLATE_VIS not_equal_to<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000711{
Marshall Clowd18ee652013-09-28 19:06:12 +0000712 template <class _T1, class _T2>
713 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000714 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000715 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) != _VSTD::forward<_T2>(__u)))
716 -> decltype (_VSTD::forward<_T1>(__t) != _VSTD::forward<_T2>(__u))
717 { return _VSTD::forward<_T1>(__t) != _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000718 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000719};
720#endif
721
722
723#if _LIBCPP_STD_VER > 11
724template <class _Tp = void>
725#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000726template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000727#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000728struct _LIBCPP_TEMPLATE_VIS greater : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000729{
Marshall Clowd18ee652013-09-28 19:06:12 +0000730 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
731 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000732 {return __x > __y;}
733};
734
Marshall Clow974bae22013-07-29 14:21:53 +0000735#if _LIBCPP_STD_VER > 11
736template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000737struct _LIBCPP_TEMPLATE_VIS greater<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000738{
Marshall Clowd18ee652013-09-28 19:06:12 +0000739 template <class _T1, class _T2>
740 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000741 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000742 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) > _VSTD::forward<_T2>(__u)))
743 -> decltype (_VSTD::forward<_T1>(__t) > _VSTD::forward<_T2>(__u))
744 { return _VSTD::forward<_T1>(__t) > _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000745 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000746};
747#endif
748
749
Howard Hinnantb17caf92012-02-21 21:02:58 +0000750// less in <__functional_base>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000751
Marshall Clow974bae22013-07-29 14:21:53 +0000752#if _LIBCPP_STD_VER > 11
753template <class _Tp = void>
754#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000755template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000756#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000757struct _LIBCPP_TEMPLATE_VIS greater_equal : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000758{
Marshall Clowd18ee652013-09-28 19:06:12 +0000759 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
760 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000761 {return __x >= __y;}
762};
763
Marshall Clow974bae22013-07-29 14:21:53 +0000764#if _LIBCPP_STD_VER > 11
765template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000766struct _LIBCPP_TEMPLATE_VIS greater_equal<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000767{
Marshall Clowd18ee652013-09-28 19:06:12 +0000768 template <class _T1, class _T2>
769 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000770 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000771 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) >= _VSTD::forward<_T2>(__u)))
772 -> decltype (_VSTD::forward<_T1>(__t) >= _VSTD::forward<_T2>(__u))
773 { return _VSTD::forward<_T1>(__t) >= _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000774 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000775};
776#endif
777
778
779#if _LIBCPP_STD_VER > 11
780template <class _Tp = void>
781#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000782template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000783#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000784struct _LIBCPP_TEMPLATE_VIS less_equal : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000785{
Marshall Clowd18ee652013-09-28 19:06:12 +0000786 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
787 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000788 {return __x <= __y;}
789};
790
Marshall Clow974bae22013-07-29 14:21:53 +0000791#if _LIBCPP_STD_VER > 11
792template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000793struct _LIBCPP_TEMPLATE_VIS less_equal<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000794{
Marshall Clowd18ee652013-09-28 19:06:12 +0000795 template <class _T1, class _T2>
796 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000797 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000798 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) <= _VSTD::forward<_T2>(__u)))
799 -> decltype (_VSTD::forward<_T1>(__t) <= _VSTD::forward<_T2>(__u))
800 { return _VSTD::forward<_T1>(__t) <= _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000801 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000802};
803#endif
804
805
806#if _LIBCPP_STD_VER > 11
807template <class _Tp = void>
808#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000809template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000810#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000811struct _LIBCPP_TEMPLATE_VIS logical_and : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000812{
Marshall Clowd18ee652013-09-28 19:06:12 +0000813 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
814 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000815 {return __x && __y;}
816};
817
Marshall Clow974bae22013-07-29 14:21:53 +0000818#if _LIBCPP_STD_VER > 11
819template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000820struct _LIBCPP_TEMPLATE_VIS logical_and<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000821{
Marshall Clowd18ee652013-09-28 19:06:12 +0000822 template <class _T1, class _T2>
823 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000824 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000825 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) && _VSTD::forward<_T2>(__u)))
826 -> decltype (_VSTD::forward<_T1>(__t) && _VSTD::forward<_T2>(__u))
827 { return _VSTD::forward<_T1>(__t) && _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000828 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000829};
830#endif
831
832
833#if _LIBCPP_STD_VER > 11
834template <class _Tp = void>
835#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000836template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000837#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000838struct _LIBCPP_TEMPLATE_VIS logical_or : binary_function<_Tp, _Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000839{
Marshall Clowd18ee652013-09-28 19:06:12 +0000840 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
841 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000842 {return __x || __y;}
843};
844
Marshall Clow974bae22013-07-29 14:21:53 +0000845#if _LIBCPP_STD_VER > 11
846template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000847struct _LIBCPP_TEMPLATE_VIS logical_or<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000848{
Marshall Clowd18ee652013-09-28 19:06:12 +0000849 template <class _T1, class _T2>
850 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000851 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000852 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) || _VSTD::forward<_T2>(__u)))
853 -> decltype (_VSTD::forward<_T1>(__t) || _VSTD::forward<_T2>(__u))
854 { return _VSTD::forward<_T1>(__t) || _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000855 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000856};
857#endif
858
859
860#if _LIBCPP_STD_VER > 11
861template <class _Tp = void>
862#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000863template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000864#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000865struct _LIBCPP_TEMPLATE_VIS logical_not : unary_function<_Tp, bool>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000866{
Marshall Clowd18ee652013-09-28 19:06:12 +0000867 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
868 bool operator()(const _Tp& __x) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000869 {return !__x;}
870};
871
Marshall Clow974bae22013-07-29 14:21:53 +0000872#if _LIBCPP_STD_VER > 11
873template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000874struct _LIBCPP_TEMPLATE_VIS logical_not<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000875{
876 template <class _Tp>
Marshall Clowd18ee652013-09-28 19:06:12 +0000877 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
878 auto operator()(_Tp&& __x) const
Marshall Clow012ca342015-02-25 12:20:52 +0000879 _NOEXCEPT_(noexcept(!_VSTD::forward<_Tp>(__x)))
880 -> decltype (!_VSTD::forward<_Tp>(__x))
881 { return !_VSTD::forward<_Tp>(__x); }
Marshall Clowc0152142013-08-13 01:11:06 +0000882 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000883};
884#endif
885
886
887#if _LIBCPP_STD_VER > 11
888template <class _Tp = void>
889#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000890template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000891#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000892struct _LIBCPP_TEMPLATE_VIS bit_and : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000893{
Marshall Clowd18ee652013-09-28 19:06:12 +0000894 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
895 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000896 {return __x & __y;}
897};
898
Marshall Clow974bae22013-07-29 14:21:53 +0000899#if _LIBCPP_STD_VER > 11
900template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000901struct _LIBCPP_TEMPLATE_VIS bit_and<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000902{
Marshall Clowd18ee652013-09-28 19:06:12 +0000903 template <class _T1, class _T2>
904 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000905 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000906 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) & _VSTD::forward<_T2>(__u)))
907 -> decltype (_VSTD::forward<_T1>(__t) & _VSTD::forward<_T2>(__u))
908 { return _VSTD::forward<_T1>(__t) & _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000909 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000910};
911#endif
912
913
914#if _LIBCPP_STD_VER > 11
915template <class _Tp = void>
916#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000917template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000918#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000919struct _LIBCPP_TEMPLATE_VIS bit_or : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000920{
Marshall Clowd18ee652013-09-28 19:06:12 +0000921 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
922 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000923 {return __x | __y;}
924};
925
Marshall Clow974bae22013-07-29 14:21:53 +0000926#if _LIBCPP_STD_VER > 11
927template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000928struct _LIBCPP_TEMPLATE_VIS bit_or<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000929{
Marshall Clowd18ee652013-09-28 19:06:12 +0000930 template <class _T1, class _T2>
931 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000932 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000933 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) | _VSTD::forward<_T2>(__u)))
934 -> decltype (_VSTD::forward<_T1>(__t) | _VSTD::forward<_T2>(__u))
935 { return _VSTD::forward<_T1>(__t) | _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000936 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000937};
938#endif
939
940
941#if _LIBCPP_STD_VER > 11
942template <class _Tp = void>
943#else
Howard Hinnantc51e1022010-05-11 19:42:16 +0000944template <class _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000945#endif
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000946struct _LIBCPP_TEMPLATE_VIS bit_xor : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000947{
Marshall Clowd18ee652013-09-28 19:06:12 +0000948 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
949 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantc51e1022010-05-11 19:42:16 +0000950 {return __x ^ __y;}
951};
952
Marshall Clow974bae22013-07-29 14:21:53 +0000953#if _LIBCPP_STD_VER > 11
954template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000955struct _LIBCPP_TEMPLATE_VIS bit_xor<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000956{
Marshall Clowd18ee652013-09-28 19:06:12 +0000957 template <class _T1, class _T2>
958 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clow974bae22013-07-29 14:21:53 +0000959 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow012ca342015-02-25 12:20:52 +0000960 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) ^ _VSTD::forward<_T2>(__u)))
961 -> decltype (_VSTD::forward<_T1>(__t) ^ _VSTD::forward<_T2>(__u))
962 { return _VSTD::forward<_T1>(__t) ^ _VSTD::forward<_T2>(__u); }
Marshall Clowc0152142013-08-13 01:11:06 +0000963 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000964};
965#endif
966
967
968#if _LIBCPP_STD_VER > 11
969template <class _Tp = void>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000970struct _LIBCPP_TEMPLATE_VIS bit_not : unary_function<_Tp, _Tp>
Marshall Clow974bae22013-07-29 14:21:53 +0000971{
Marshall Clowd18ee652013-09-28 19:06:12 +0000972 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
973 _Tp operator()(const _Tp& __x) const
Marshall Clow974bae22013-07-29 14:21:53 +0000974 {return ~__x;}
975};
976
977template <>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000978struct _LIBCPP_TEMPLATE_VIS bit_not<void>
Marshall Clow974bae22013-07-29 14:21:53 +0000979{
980 template <class _Tp>
Marshall Clowd18ee652013-09-28 19:06:12 +0000981 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
982 auto operator()(_Tp&& __x) const
Marshall Clow012ca342015-02-25 12:20:52 +0000983 _NOEXCEPT_(noexcept(~_VSTD::forward<_Tp>(__x)))
984 -> decltype (~_VSTD::forward<_Tp>(__x))
985 { return ~_VSTD::forward<_Tp>(__x); }
Marshall Clowc0152142013-08-13 01:11:06 +0000986 typedef void is_transparent;
Marshall Clow974bae22013-07-29 14:21:53 +0000987};
988#endif
989
Howard Hinnantc51e1022010-05-11 19:42:16 +0000990template <class _Predicate>
Louis Dionne481a2662018-09-23 18:35:00 +0000991class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX17 unary_negate
Howard Hinnantc51e1022010-05-11 19:42:16 +0000992 : public unary_function<typename _Predicate::argument_type, bool>
993{
994 _Predicate __pred_;
995public:
Marshall Clowd18ee652013-09-28 19:06:12 +0000996 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
997 explicit unary_negate(const _Predicate& __pred)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000998 : __pred_(__pred) {}
Marshall Clowd18ee652013-09-28 19:06:12 +0000999 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
1000 bool operator()(const typename _Predicate::argument_type& __x) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001001 {return !__pred_(__x);}
1002};
1003
1004template <class _Predicate>
Louis Dionne481a2662018-09-23 18:35:00 +00001005_LIBCPP_DEPRECATED_IN_CXX17 inline _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001006unary_negate<_Predicate>
1007not1(const _Predicate& __pred) {return unary_negate<_Predicate>(__pred);}
1008
1009template <class _Predicate>
Louis Dionne481a2662018-09-23 18:35:00 +00001010class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX17 binary_negate
Howard Hinnantc51e1022010-05-11 19:42:16 +00001011 : public binary_function<typename _Predicate::first_argument_type,
1012 typename _Predicate::second_argument_type,
1013 bool>
1014{
1015 _Predicate __pred_;
1016public:
Louis Dionne44bcff92018-08-03 22:36:53 +00001017 _LIBCPP_INLINE_VISIBILITY explicit _LIBCPP_CONSTEXPR_AFTER_CXX11
Marshall Clowd18ee652013-09-28 19:06:12 +00001018 binary_negate(const _Predicate& __pred) : __pred_(__pred) {}
1019
1020 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
1021 bool operator()(const typename _Predicate::first_argument_type& __x,
Howard Hinnantc51e1022010-05-11 19:42:16 +00001022 const typename _Predicate::second_argument_type& __y) const
1023 {return !__pred_(__x, __y);}
1024};
1025
1026template <class _Predicate>
Louis Dionne481a2662018-09-23 18:35:00 +00001027_LIBCPP_DEPRECATED_IN_CXX17 inline _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001028binary_negate<_Predicate>
1029not2(const _Predicate& __pred) {return binary_negate<_Predicate>(__pred);}
1030
Marshall Clow26a027c2017-04-13 18:25:32 +00001031#if _LIBCPP_STD_VER <= 14 || defined(_LIBCPP_ENABLE_CXX17_REMOVED_BINDERS)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001032template <class __Operation>
Louis Dionne481a2662018-09-23 18:35:00 +00001033class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 binder1st
Howard Hinnantc51e1022010-05-11 19:42:16 +00001034 : public unary_function<typename __Operation::second_argument_type,
1035 typename __Operation::result_type>
1036{
1037protected:
1038 __Operation op;
1039 typename __Operation::first_argument_type value;
1040public:
1041 _LIBCPP_INLINE_VISIBILITY binder1st(const __Operation& __x,
1042 const typename __Operation::first_argument_type __y)
1043 : op(__x), value(__y) {}
1044 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1045 (typename __Operation::second_argument_type& __x) const
1046 {return op(value, __x);}
1047 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1048 (const typename __Operation::second_argument_type& __x) const
1049 {return op(value, __x);}
1050};
1051
1052template <class __Operation, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001053_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001054binder1st<__Operation>
1055bind1st(const __Operation& __op, const _Tp& __x)
1056 {return binder1st<__Operation>(__op, __x);}
1057
1058template <class __Operation>
Louis Dionne481a2662018-09-23 18:35:00 +00001059class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 binder2nd
Howard Hinnantc51e1022010-05-11 19:42:16 +00001060 : public unary_function<typename __Operation::first_argument_type,
1061 typename __Operation::result_type>
1062{
1063protected:
1064 __Operation op;
1065 typename __Operation::second_argument_type value;
1066public:
Howard Hinnant4ff57432010-09-21 22:55:27 +00001067 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001068 binder2nd(const __Operation& __x, const typename __Operation::second_argument_type __y)
1069 : op(__x), value(__y) {}
1070 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1071 ( typename __Operation::first_argument_type& __x) const
1072 {return op(__x, value);}
1073 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1074 (const typename __Operation::first_argument_type& __x) const
1075 {return op(__x, value);}
1076};
1077
1078template <class __Operation, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001079_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001080binder2nd<__Operation>
1081bind2nd(const __Operation& __op, const _Tp& __x)
1082 {return binder2nd<__Operation>(__op, __x);}
1083
1084template <class _Arg, class _Result>
Louis Dionne481a2662018-09-23 18:35:00 +00001085class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 pointer_to_unary_function
Howard Hinnant4ff57432010-09-21 22:55:27 +00001086 : public unary_function<_Arg, _Result>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001087{
1088 _Result (*__f_)(_Arg);
1089public:
1090 _LIBCPP_INLINE_VISIBILITY explicit pointer_to_unary_function(_Result (*__f)(_Arg))
1091 : __f_(__f) {}
1092 _LIBCPP_INLINE_VISIBILITY _Result operator()(_Arg __x) const
1093 {return __f_(__x);}
1094};
1095
1096template <class _Arg, class _Result>
Louis Dionne481a2662018-09-23 18:35:00 +00001097_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001098pointer_to_unary_function<_Arg,_Result>
1099ptr_fun(_Result (*__f)(_Arg))
1100 {return pointer_to_unary_function<_Arg,_Result>(__f);}
1101
1102template <class _Arg1, class _Arg2, class _Result>
Louis Dionne481a2662018-09-23 18:35:00 +00001103class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 pointer_to_binary_function
Howard Hinnant4ff57432010-09-21 22:55:27 +00001104 : public binary_function<_Arg1, _Arg2, _Result>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001105{
1106 _Result (*__f_)(_Arg1, _Arg2);
1107public:
1108 _LIBCPP_INLINE_VISIBILITY explicit pointer_to_binary_function(_Result (*__f)(_Arg1, _Arg2))
1109 : __f_(__f) {}
1110 _LIBCPP_INLINE_VISIBILITY _Result operator()(_Arg1 __x, _Arg2 __y) const
1111 {return __f_(__x, __y);}
1112};
1113
1114template <class _Arg1, class _Arg2, class _Result>
Louis Dionne481a2662018-09-23 18:35:00 +00001115_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001116pointer_to_binary_function<_Arg1,_Arg2,_Result>
1117ptr_fun(_Result (*__f)(_Arg1,_Arg2))
1118 {return pointer_to_binary_function<_Arg1,_Arg2,_Result>(__f);}
1119
1120template<class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001121class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 mem_fun_t
1122 : public unary_function<_Tp*, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001123{
1124 _Sp (_Tp::*__p_)();
1125public:
1126 _LIBCPP_INLINE_VISIBILITY explicit mem_fun_t(_Sp (_Tp::*__p)())
1127 : __p_(__p) {}
1128 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp* __p) const
1129 {return (__p->*__p_)();}
1130};
1131
1132template<class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001133class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 mem_fun1_t
1134 : public binary_function<_Tp*, _Ap, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001135{
1136 _Sp (_Tp::*__p_)(_Ap);
1137public:
1138 _LIBCPP_INLINE_VISIBILITY explicit mem_fun1_t(_Sp (_Tp::*__p)(_Ap))
1139 : __p_(__p) {}
1140 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp* __p, _Ap __x) const
1141 {return (__p->*__p_)(__x);}
1142};
1143
1144template<class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001145_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001146mem_fun_t<_Sp,_Tp>
1147mem_fun(_Sp (_Tp::*__f)())
1148 {return mem_fun_t<_Sp,_Tp>(__f);}
1149
1150template<class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001151_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001152mem_fun1_t<_Sp,_Tp,_Ap>
1153mem_fun(_Sp (_Tp::*__f)(_Ap))
1154 {return mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
1155
1156template<class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001157class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 mem_fun_ref_t
1158 : public unary_function<_Tp, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001159{
1160 _Sp (_Tp::*__p_)();
1161public:
1162 _LIBCPP_INLINE_VISIBILITY explicit mem_fun_ref_t(_Sp (_Tp::*__p)())
1163 : __p_(__p) {}
1164 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp& __p) const
1165 {return (__p.*__p_)();}
1166};
1167
1168template<class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001169class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 mem_fun1_ref_t
1170 : public binary_function<_Tp, _Ap, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001171{
1172 _Sp (_Tp::*__p_)(_Ap);
1173public:
1174 _LIBCPP_INLINE_VISIBILITY explicit mem_fun1_ref_t(_Sp (_Tp::*__p)(_Ap))
1175 : __p_(__p) {}
1176 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp& __p, _Ap __x) const
1177 {return (__p.*__p_)(__x);}
1178};
1179
1180template<class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001181_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001182mem_fun_ref_t<_Sp,_Tp>
1183mem_fun_ref(_Sp (_Tp::*__f)())
1184 {return mem_fun_ref_t<_Sp,_Tp>(__f);}
1185
1186template<class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001187_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001188mem_fun1_ref_t<_Sp,_Tp,_Ap>
1189mem_fun_ref(_Sp (_Tp::*__f)(_Ap))
1190 {return mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
1191
1192template <class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001193class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 const_mem_fun_t
1194 : public unary_function<const _Tp*, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001195{
1196 _Sp (_Tp::*__p_)() const;
1197public:
1198 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun_t(_Sp (_Tp::*__p)() const)
1199 : __p_(__p) {}
1200 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp* __p) const
1201 {return (__p->*__p_)();}
1202};
1203
1204template <class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001205class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 const_mem_fun1_t
1206 : public binary_function<const _Tp*, _Ap, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001207{
1208 _Sp (_Tp::*__p_)(_Ap) const;
1209public:
1210 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun1_t(_Sp (_Tp::*__p)(_Ap) const)
1211 : __p_(__p) {}
1212 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp* __p, _Ap __x) const
1213 {return (__p->*__p_)(__x);}
1214};
1215
1216template <class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001217_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001218const_mem_fun_t<_Sp,_Tp>
1219mem_fun(_Sp (_Tp::*__f)() const)
1220 {return const_mem_fun_t<_Sp,_Tp>(__f);}
1221
1222template <class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001223_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001224const_mem_fun1_t<_Sp,_Tp,_Ap>
1225mem_fun(_Sp (_Tp::*__f)(_Ap) const)
1226 {return const_mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
1227
1228template <class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001229class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 const_mem_fun_ref_t
1230 : public unary_function<_Tp, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001231{
1232 _Sp (_Tp::*__p_)() const;
1233public:
1234 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun_ref_t(_Sp (_Tp::*__p)() const)
1235 : __p_(__p) {}
1236 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp& __p) const
1237 {return (__p.*__p_)();}
1238};
1239
1240template <class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001241class _LIBCPP_TEMPLATE_VIS _LIBCPP_DEPRECATED_IN_CXX11 const_mem_fun1_ref_t
Howard Hinnant4ff57432010-09-21 22:55:27 +00001242 : public binary_function<_Tp, _Ap, _Sp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001243{
1244 _Sp (_Tp::*__p_)(_Ap) const;
1245public:
1246 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun1_ref_t(_Sp (_Tp::*__p)(_Ap) const)
1247 : __p_(__p) {}
1248 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp& __p, _Ap __x) const
1249 {return (__p.*__p_)(__x);}
1250};
1251
1252template <class _Sp, class _Tp>
Louis Dionne481a2662018-09-23 18:35:00 +00001253_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001254const_mem_fun_ref_t<_Sp,_Tp>
1255mem_fun_ref(_Sp (_Tp::*__f)() const)
1256 {return const_mem_fun_ref_t<_Sp,_Tp>(__f);}
1257
1258template <class _Sp, class _Tp, class _Ap>
Louis Dionne481a2662018-09-23 18:35:00 +00001259_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc51e1022010-05-11 19:42:16 +00001260const_mem_fun1_ref_t<_Sp,_Tp,_Ap>
1261mem_fun_ref(_Sp (_Tp::*__f)(_Ap) const)
1262 {return const_mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
Marshall Clow26a027c2017-04-13 18:25:32 +00001263#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001264
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001265////////////////////////////////////////////////////////////////////////////////
1266// MEMFUN
1267//==============================================================================
Howard Hinnantc51e1022010-05-11 19:42:16 +00001268
Howard Hinnantc51e1022010-05-11 19:42:16 +00001269template <class _Tp>
1270class __mem_fn
1271 : public __weak_result_type<_Tp>
1272{
1273public:
1274 // types
1275 typedef _Tp type;
1276private:
1277 type __f_;
1278
1279public:
Marshall Clowad8ff212015-10-25 20:12:16 +00001280 _LIBCPP_INLINE_VISIBILITY __mem_fn(type __f) _NOEXCEPT : __f_(__f) {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001281
Eric Fiseliera9ae7a62017-04-19 01:28:47 +00001282#ifndef _LIBCPP_CXX03_LANG
Howard Hinnantc51e1022010-05-11 19:42:16 +00001283 // invoke
1284 template <class... _ArgTypes>
Eric Fiselier2cc48332015-07-22 22:43:27 +00001285 _LIBCPP_INLINE_VISIBILITY
1286 typename __invoke_return<type, _ArgTypes...>::type
1287 operator() (_ArgTypes&&... __args) const {
1288 return __invoke(__f_, _VSTD::forward<_ArgTypes>(__args)...);
1289 }
1290#else
Eric Fiselier2cc48332015-07-22 22:43:27 +00001291
1292 template <class _A0>
Eric Fiselierce1813a2015-08-26 20:15:02 +00001293 _LIBCPP_INLINE_VISIBILITY
Eric Fiselier2cc48332015-07-22 22:43:27 +00001294 typename __invoke_return0<type, _A0>::type
1295 operator() (_A0& __a0) const {
1296 return __invoke(__f_, __a0);
1297 }
1298
Eric Fiselierce1813a2015-08-26 20:15:02 +00001299 template <class _A0>
1300 _LIBCPP_INLINE_VISIBILITY
1301 typename __invoke_return0<type, _A0 const>::type
1302 operator() (_A0 const& __a0) const {
1303 return __invoke(__f_, __a0);
1304 }
1305
Eric Fiselier2cc48332015-07-22 22:43:27 +00001306 template <class _A0, class _A1>
Eric Fiselierce1813a2015-08-26 20:15:02 +00001307 _LIBCPP_INLINE_VISIBILITY
Eric Fiselier2cc48332015-07-22 22:43:27 +00001308 typename __invoke_return1<type, _A0, _A1>::type
1309 operator() (_A0& __a0, _A1& __a1) const {
1310 return __invoke(__f_, __a0, __a1);
1311 }
1312
Eric Fiselierce1813a2015-08-26 20:15:02 +00001313 template <class _A0, class _A1>
1314 _LIBCPP_INLINE_VISIBILITY
1315 typename __invoke_return1<type, _A0 const, _A1>::type
1316 operator() (_A0 const& __a0, _A1& __a1) const {
1317 return __invoke(__f_, __a0, __a1);
1318 }
1319
1320 template <class _A0, class _A1>
1321 _LIBCPP_INLINE_VISIBILITY
1322 typename __invoke_return1<type, _A0, _A1 const>::type
1323 operator() (_A0& __a0, _A1 const& __a1) const {
1324 return __invoke(__f_, __a0, __a1);
1325 }
1326
1327 template <class _A0, class _A1>
1328 _LIBCPP_INLINE_VISIBILITY
1329 typename __invoke_return1<type, _A0 const, _A1 const>::type
1330 operator() (_A0 const& __a0, _A1 const& __a1) const {
1331 return __invoke(__f_, __a0, __a1);
1332 }
1333
Eric Fiselier2cc48332015-07-22 22:43:27 +00001334 template <class _A0, class _A1, class _A2>
Eric Fiselierce1813a2015-08-26 20:15:02 +00001335 _LIBCPP_INLINE_VISIBILITY
Eric Fiselier2cc48332015-07-22 22:43:27 +00001336 typename __invoke_return2<type, _A0, _A1, _A2>::type
1337 operator() (_A0& __a0, _A1& __a1, _A2& __a2) const {
1338 return __invoke(__f_, __a0, __a1, __a2);
1339 }
Eric Fiselierce1813a2015-08-26 20:15:02 +00001340
1341 template <class _A0, class _A1, class _A2>
1342 _LIBCPP_INLINE_VISIBILITY
1343 typename __invoke_return2<type, _A0 const, _A1, _A2>::type
1344 operator() (_A0 const& __a0, _A1& __a1, _A2& __a2) const {
1345 return __invoke(__f_, __a0, __a1, __a2);
1346 }
1347
1348 template <class _A0, class _A1, class _A2>
1349 _LIBCPP_INLINE_VISIBILITY
1350 typename __invoke_return2<type, _A0, _A1 const, _A2>::type
1351 operator() (_A0& __a0, _A1 const& __a1, _A2& __a2) const {
1352 return __invoke(__f_, __a0, __a1, __a2);
1353 }
1354
1355 template <class _A0, class _A1, class _A2>
1356 _LIBCPP_INLINE_VISIBILITY
1357 typename __invoke_return2<type, _A0, _A1, _A2 const>::type
1358 operator() (_A0& __a0, _A1& __a1, _A2 const& __a2) const {
1359 return __invoke(__f_, __a0, __a1, __a2);
1360 }
1361
1362 template <class _A0, class _A1, class _A2>
1363 _LIBCPP_INLINE_VISIBILITY
1364 typename __invoke_return2<type, _A0 const, _A1 const, _A2>::type
1365 operator() (_A0 const& __a0, _A1 const& __a1, _A2& __a2) const {
1366 return __invoke(__f_, __a0, __a1, __a2);
1367 }
1368
1369 template <class _A0, class _A1, class _A2>
1370 _LIBCPP_INLINE_VISIBILITY
1371 typename __invoke_return2<type, _A0 const, _A1, _A2 const>::type
1372 operator() (_A0 const& __a0, _A1& __a1, _A2 const& __a2) const {
1373 return __invoke(__f_, __a0, __a1, __a2);
1374 }
1375
1376 template <class _A0, class _A1, class _A2>
1377 _LIBCPP_INLINE_VISIBILITY
1378 typename __invoke_return2<type, _A0, _A1 const, _A2 const>::type
1379 operator() (_A0& __a0, _A1 const& __a1, _A2 const& __a2) const {
1380 return __invoke(__f_, __a0, __a1, __a2);
1381 }
1382
1383 template <class _A0, class _A1, class _A2>
1384 _LIBCPP_INLINE_VISIBILITY
1385 typename __invoke_return2<type, _A0 const, _A1 const, _A2 const>::type
1386 operator() (_A0 const& __a0, _A1 const& __a1, _A2 const& __a2) const {
1387 return __invoke(__f_, __a0, __a1, __a2);
1388 }
Eric Fiselier2cc48332015-07-22 22:43:27 +00001389#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001390};
1391
Howard Hinnantc834c512011-11-29 18:15:50 +00001392template<class _Rp, class _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001393inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00001394__mem_fn<_Rp _Tp::*>
Marshall Clowad8ff212015-10-25 20:12:16 +00001395mem_fn(_Rp _Tp::* __pm) _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001396{
Howard Hinnantc834c512011-11-29 18:15:50 +00001397 return __mem_fn<_Rp _Tp::*>(__pm);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001398}
1399
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001400////////////////////////////////////////////////////////////////////////////////
1401// FUNCTION
1402//==============================================================================
1403
Howard Hinnantc51e1022010-05-11 19:42:16 +00001404// bad_function_call
1405
Howard Hinnant4ff57432010-09-21 22:55:27 +00001406class _LIBCPP_EXCEPTION_ABI bad_function_call
Howard Hinnantc51e1022010-05-11 19:42:16 +00001407 : public exception
1408{
Shoaib Meenaic130eaf2017-03-28 19:33:31 +00001409#ifdef _LIBCPP_ABI_BAD_FUNCTION_CALL_KEY_FUNCTION
1410public:
1411 virtual ~bad_function_call() _NOEXCEPT;
1412
1413 virtual const char* what() const _NOEXCEPT;
1414#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001415};
1416
Louis Dionne16fe2952018-07-11 23:14:33 +00001417_LIBCPP_NORETURN inline _LIBCPP_INLINE_VISIBILITY
Marshall Clow8fea1612016-08-25 15:09:01 +00001418void __throw_bad_function_call()
1419{
1420#ifndef _LIBCPP_NO_EXCEPTIONS
1421 throw bad_function_call();
1422#else
Louis Dionne44bcff92018-08-03 22:36:53 +00001423 _VSTD::abort();
Marshall Clow8fea1612016-08-25 15:09:01 +00001424#endif
1425}
1426
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00001427template<class _Fp> class _LIBCPP_TEMPLATE_VIS function; // undefined
Howard Hinnantc51e1022010-05-11 19:42:16 +00001428
1429namespace __function
1430{
1431
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001432template<class _Rp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001433struct __maybe_derive_from_unary_function
1434{
1435};
1436
Howard Hinnantc834c512011-11-29 18:15:50 +00001437template<class _Rp, class _A1>
1438struct __maybe_derive_from_unary_function<_Rp(_A1)>
1439 : public unary_function<_A1, _Rp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001440{
1441};
1442
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001443template<class _Rp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001444struct __maybe_derive_from_binary_function
1445{
1446};
1447
Howard Hinnantc834c512011-11-29 18:15:50 +00001448template<class _Rp, class _A1, class _A2>
1449struct __maybe_derive_from_binary_function<_Rp(_A1, _A2)>
1450 : public binary_function<_A1, _A2, _Rp>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001451{
1452};
1453
Eric Fiseliera584a1e2015-08-18 19:41:51 +00001454template <class _Fp>
1455_LIBCPP_INLINE_VISIBILITY
1456bool __not_null(_Fp const&) { return true; }
1457
1458template <class _Fp>
1459_LIBCPP_INLINE_VISIBILITY
1460bool __not_null(_Fp* __ptr) { return __ptr; }
1461
1462template <class _Ret, class _Class>
1463_LIBCPP_INLINE_VISIBILITY
1464bool __not_null(_Ret _Class::*__ptr) { return __ptr; }
1465
1466template <class _Fp>
1467_LIBCPP_INLINE_VISIBILITY
1468bool __not_null(function<_Fp> const& __f) { return !!__f; }
1469
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001470} // namespace __function
1471
Eric Fiseliera9ae7a62017-04-19 01:28:47 +00001472#ifndef _LIBCPP_CXX03_LANG
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001473
1474namespace __function {
1475
Howard Hinnantc51e1022010-05-11 19:42:16 +00001476template<class _Fp> class __base;
1477
Howard Hinnantc834c512011-11-29 18:15:50 +00001478template<class _Rp, class ..._ArgTypes>
1479class __base<_Rp(_ArgTypes...)>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001480{
1481 __base(const __base&);
1482 __base& operator=(const __base&);
1483public:
Howard Hinnant4ff57432010-09-21 22:55:27 +00001484 _LIBCPP_INLINE_VISIBILITY __base() {}
1485 _LIBCPP_INLINE_VISIBILITY virtual ~__base() {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001486 virtual __base* __clone() const = 0;
1487 virtual void __clone(__base*) const = 0;
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001488 virtual void destroy() _NOEXCEPT = 0;
1489 virtual void destroy_deallocate() _NOEXCEPT = 0;
Howard Hinnantc834c512011-11-29 18:15:50 +00001490 virtual _Rp operator()(_ArgTypes&& ...) = 0;
Howard Hinnant72f73582010-08-11 17:04:31 +00001491#ifndef _LIBCPP_NO_RTTI
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001492 virtual const void* target(const type_info&) const _NOEXCEPT = 0;
1493 virtual const std::type_info& target_type() const _NOEXCEPT = 0;
Howard Hinnant3b6579a2010-08-22 00:02:43 +00001494#endif // _LIBCPP_NO_RTTI
Howard Hinnantc51e1022010-05-11 19:42:16 +00001495};
1496
1497template<class _FD, class _Alloc, class _FB> class __func;
1498
Howard Hinnantc834c512011-11-29 18:15:50 +00001499template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1500class __func<_Fp, _Alloc, _Rp(_ArgTypes...)>
1501 : public __base<_Rp(_ArgTypes...)>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001502{
Howard Hinnantc834c512011-11-29 18:15:50 +00001503 __compressed_pair<_Fp, _Alloc> __f_;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001504public:
Howard Hinnant4ff57432010-09-21 22:55:27 +00001505 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant4828c4a2012-02-28 19:47:38 +00001506 explicit __func(_Fp&& __f)
1507 : __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)),
1508 _VSTD::forward_as_tuple()) {}
Howard Hinnant4ff57432010-09-21 22:55:27 +00001509 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant4828c4a2012-02-28 19:47:38 +00001510 explicit __func(const _Fp& __f, const _Alloc& __a)
1511 : __f_(piecewise_construct, _VSTD::forward_as_tuple(__f),
1512 _VSTD::forward_as_tuple(__a)) {}
1513
1514 _LIBCPP_INLINE_VISIBILITY
1515 explicit __func(const _Fp& __f, _Alloc&& __a)
1516 : __f_(piecewise_construct, _VSTD::forward_as_tuple(__f),
1517 _VSTD::forward_as_tuple(_VSTD::move(__a))) {}
1518
1519 _LIBCPP_INLINE_VISIBILITY
1520 explicit __func(_Fp&& __f, _Alloc&& __a)
1521 : __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)),
1522 _VSTD::forward_as_tuple(_VSTD::move(__a))) {}
Howard Hinnantc834c512011-11-29 18:15:50 +00001523 virtual __base<_Rp(_ArgTypes...)>* __clone() const;
1524 virtual void __clone(__base<_Rp(_ArgTypes...)>*) const;
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001525 virtual void destroy() _NOEXCEPT;
1526 virtual void destroy_deallocate() _NOEXCEPT;
Howard Hinnantc834c512011-11-29 18:15:50 +00001527 virtual _Rp operator()(_ArgTypes&& ... __arg);
Howard Hinnant72f73582010-08-11 17:04:31 +00001528#ifndef _LIBCPP_NO_RTTI
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001529 virtual const void* target(const type_info&) const _NOEXCEPT;
1530 virtual const std::type_info& target_type() const _NOEXCEPT;
Howard Hinnant3b6579a2010-08-22 00:02:43 +00001531#endif // _LIBCPP_NO_RTTI
Howard Hinnantc51e1022010-05-11 19:42:16 +00001532};
1533
Howard Hinnantc834c512011-11-29 18:15:50 +00001534template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1535__base<_Rp(_ArgTypes...)>*
1536__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone() const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001537{
Eric Fiselierb5826ad2015-03-18 22:56:50 +00001538 typedef allocator_traits<_Alloc> __alloc_traits;
Marshall Clow940e01c2015-04-07 05:21:38 +00001539 typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
Howard Hinnantc834c512011-11-29 18:15:50 +00001540 _Ap __a(__f_.second());
1541 typedef __allocator_destructor<_Ap> _Dp;
1542 unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001543 ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
1544 return __hold.release();
1545}
1546
Howard Hinnantc834c512011-11-29 18:15:50 +00001547template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001548void
Howard Hinnantc834c512011-11-29 18:15:50 +00001549__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone(__base<_Rp(_ArgTypes...)>* __p) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001550{
1551 ::new (__p) __func(__f_.first(), __f_.second());
1552}
1553
Howard Hinnantc834c512011-11-29 18:15:50 +00001554template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001555void
Howard Hinnantc834c512011-11-29 18:15:50 +00001556__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001557{
Howard Hinnantc834c512011-11-29 18:15:50 +00001558 __f_.~__compressed_pair<_Fp, _Alloc>();
Howard Hinnantc51e1022010-05-11 19:42:16 +00001559}
1560
Howard Hinnantc834c512011-11-29 18:15:50 +00001561template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001562void
Howard Hinnantc834c512011-11-29 18:15:50 +00001563__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy_deallocate() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001564{
Eric Fiselierb5826ad2015-03-18 22:56:50 +00001565 typedef allocator_traits<_Alloc> __alloc_traits;
Marshall Clow940e01c2015-04-07 05:21:38 +00001566 typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
Howard Hinnantc834c512011-11-29 18:15:50 +00001567 _Ap __a(__f_.second());
1568 __f_.~__compressed_pair<_Fp, _Alloc>();
Howard Hinnantc51e1022010-05-11 19:42:16 +00001569 __a.deallocate(this, 1);
1570}
1571
Howard Hinnantc834c512011-11-29 18:15:50 +00001572template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1573_Rp
1574__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::operator()(_ArgTypes&& ... __arg)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001575{
Eric Fiselierea080702015-02-10 16:48:45 +00001576 typedef __invoke_void_return_wrapper<_Rp> _Invoker;
1577 return _Invoker::__call(__f_.first(), _VSTD::forward<_ArgTypes>(__arg)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001578}
1579
Howard Hinnant72f73582010-08-11 17:04:31 +00001580#ifndef _LIBCPP_NO_RTTI
1581
Howard Hinnantc834c512011-11-29 18:15:50 +00001582template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001583const void*
Howard Hinnantc834c512011-11-29 18:15:50 +00001584__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target(const type_info& __ti) const _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001585{
Howard Hinnantc834c512011-11-29 18:15:50 +00001586 if (__ti == typeid(_Fp))
Howard Hinnantc51e1022010-05-11 19:42:16 +00001587 return &__f_.first();
1588 return (const void*)0;
1589}
1590
Howard Hinnantc834c512011-11-29 18:15:50 +00001591template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001592const std::type_info&
Howard Hinnantc834c512011-11-29 18:15:50 +00001593__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target_type() const _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001594{
Howard Hinnantc834c512011-11-29 18:15:50 +00001595 return typeid(_Fp);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001596}
1597
Howard Hinnant3b6579a2010-08-22 00:02:43 +00001598#endif // _LIBCPP_NO_RTTI
Howard Hinnant72f73582010-08-11 17:04:31 +00001599
Howard Hinnantc51e1022010-05-11 19:42:16 +00001600} // __function
1601
Howard Hinnantc834c512011-11-29 18:15:50 +00001602template<class _Rp, class ..._ArgTypes>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00001603class _LIBCPP_TEMPLATE_VIS function<_Rp(_ArgTypes...)>
Howard Hinnantc834c512011-11-29 18:15:50 +00001604 : public __function::__maybe_derive_from_unary_function<_Rp(_ArgTypes...)>,
1605 public __function::__maybe_derive_from_binary_function<_Rp(_ArgTypes...)>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001606{
Howard Hinnantc834c512011-11-29 18:15:50 +00001607 typedef __function::__base<_Rp(_ArgTypes...)> __base;
Howard Hinnant022c7482013-01-21 17:26:55 +00001608 typename aligned_storage<3*sizeof(void*)>::type __buf_;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001609 __base* __f_;
1610
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001611 _LIBCPP_NO_CFI static __base *__as_base(void *p) {
1612 return reinterpret_cast<__base*>(p);
1613 }
1614
Eric Fiselier43c04f72017-09-10 23:41:20 +00001615 template <class _Fp, bool = __lazy_and<
1616 integral_constant<bool, !is_same<__uncvref_t<_Fp>, function>::value>,
1617 __invokable<_Fp&, _ArgTypes...>
1618 >::value>
1619 struct __callable;
Howard Hinnantc834c512011-11-29 18:15:50 +00001620 template <class _Fp>
1621 struct __callable<_Fp, true>
Howard Hinnant95755932011-05-31 21:45:26 +00001622 {
Eric Fiselierea080702015-02-10 16:48:45 +00001623 static const bool value = is_same<void, _Rp>::value ||
Howard Hinnantc834c512011-11-29 18:15:50 +00001624 is_convertible<typename __invoke_of<_Fp&, _ArgTypes...>::type,
1625 _Rp>::value;
Howard Hinnant95755932011-05-31 21:45:26 +00001626 };
Howard Hinnantc834c512011-11-29 18:15:50 +00001627 template <class _Fp>
1628 struct __callable<_Fp, false>
Howard Hinnant95755932011-05-31 21:45:26 +00001629 {
1630 static const bool value = false;
1631 };
Eric Fiselier43c04f72017-09-10 23:41:20 +00001632
1633 template <class _Fp>
1634 using _EnableIfCallable = typename enable_if<__callable<_Fp>::value>::type;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001635public:
Howard Hinnantc834c512011-11-29 18:15:50 +00001636 typedef _Rp result_type;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001637
Howard Hinnantf06d9262010-08-20 19:36:46 +00001638 // construct/copy/destroy:
Howard Hinnant4ff57432010-09-21 22:55:27 +00001639 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001640 function() _NOEXCEPT : __f_(0) {}
Howard Hinnant4ff57432010-09-21 22:55:27 +00001641 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001642 function(nullptr_t) _NOEXCEPT : __f_(0) {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001643 function(const function&);
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001644 function(function&&) _NOEXCEPT;
Eric Fiselier43c04f72017-09-10 23:41:20 +00001645 template<class _Fp, class = _EnableIfCallable<_Fp>>
Eric Fiselierf3e18cf2016-07-20 05:21:00 +00001646 function(_Fp);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001647
Marshall Clow3148f422016-10-13 21:06:03 +00001648#if _LIBCPP_STD_VER <= 14
Howard Hinnantf06d9262010-08-20 19:36:46 +00001649 template<class _Alloc>
Howard Hinnant4ff57432010-09-21 22:55:27 +00001650 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001651 function(allocator_arg_t, const _Alloc&) _NOEXCEPT : __f_(0) {}
Howard Hinnantf06d9262010-08-20 19:36:46 +00001652 template<class _Alloc>
Howard Hinnant4ff57432010-09-21 22:55:27 +00001653 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001654 function(allocator_arg_t, const _Alloc&, nullptr_t) _NOEXCEPT : __f_(0) {}
Howard Hinnantf06d9262010-08-20 19:36:46 +00001655 template<class _Alloc>
1656 function(allocator_arg_t, const _Alloc&, const function&);
1657 template<class _Alloc>
1658 function(allocator_arg_t, const _Alloc&, function&&);
Eric Fiselier43c04f72017-09-10 23:41:20 +00001659 template<class _Fp, class _Alloc, class = _EnableIfCallable<_Fp>>
Eric Fiselierf3e18cf2016-07-20 05:21:00 +00001660 function(allocator_arg_t, const _Alloc& __a, _Fp __f);
Marshall Clow3148f422016-10-13 21:06:03 +00001661#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001662
1663 function& operator=(const function&);
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001664 function& operator=(function&&) _NOEXCEPT;
1665 function& operator=(nullptr_t) _NOEXCEPT;
Eric Fiselier43c04f72017-09-10 23:41:20 +00001666 template<class _Fp, class = _EnableIfCallable<_Fp>>
1667 function& operator=(_Fp&&);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001668
1669 ~function();
1670
Howard Hinnantf06d9262010-08-20 19:36:46 +00001671 // function modifiers:
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001672 void swap(function&) _NOEXCEPT;
Marshall Clowfc8fd832016-01-25 17:29:55 +00001673
1674#if _LIBCPP_STD_VER <= 14
Howard Hinnantc834c512011-11-29 18:15:50 +00001675 template<class _Fp, class _Alloc>
Howard Hinnant4ff57432010-09-21 22:55:27 +00001676 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00001677 void assign(_Fp&& __f, const _Alloc& __a)
1678 {function(allocator_arg, __a, _VSTD::forward<_Fp>(__f)).swap(*this);}
Marshall Clowfc8fd832016-01-25 17:29:55 +00001679#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001680
Howard Hinnantf06d9262010-08-20 19:36:46 +00001681 // function capacity:
Howard Hinnant4ff57432010-09-21 22:55:27 +00001682 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant86a291f2012-02-21 21:46:43 +00001683 _LIBCPP_EXPLICIT operator bool() const _NOEXCEPT {return __f_;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001684
Howard Hinnantc51e1022010-05-11 19:42:16 +00001685 // deleted overloads close possible hole in the type system
1686 template<class _R2, class... _ArgTypes2>
Howard Hinnant5e9a1cf2010-09-11 15:33:21 +00001687 bool operator==(const function<_R2(_ArgTypes2...)>&) const = delete;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001688 template<class _R2, class... _ArgTypes2>
Howard Hinnant5e9a1cf2010-09-11 15:33:21 +00001689 bool operator!=(const function<_R2(_ArgTypes2...)>&) const = delete;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001690public:
Howard Hinnantf06d9262010-08-20 19:36:46 +00001691 // function invocation:
Howard Hinnantc834c512011-11-29 18:15:50 +00001692 _Rp operator()(_ArgTypes...) const;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001693
Howard Hinnant72f73582010-08-11 17:04:31 +00001694#ifndef _LIBCPP_NO_RTTI
Howard Hinnantf06d9262010-08-20 19:36:46 +00001695 // function target access:
Howard Hinnantf7724cd2011-05-28 17:59:48 +00001696 const std::type_info& target_type() const _NOEXCEPT;
Howard Hinnantc834c512011-11-29 18:15:50 +00001697 template <typename _Tp> _Tp* target() _NOEXCEPT;
1698 template <typename _Tp> const _Tp* target() const _NOEXCEPT;
Howard Hinnant3b6579a2010-08-22 00:02:43 +00001699#endif // _LIBCPP_NO_RTTI
Howard Hinnantc51e1022010-05-11 19:42:16 +00001700};
1701
Howard Hinnantc834c512011-11-29 18:15:50 +00001702template<class _Rp, class ..._ArgTypes>
1703function<_Rp(_ArgTypes...)>::function(const function& __f)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001704{
1705 if (__f.__f_ == 0)
1706 __f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001707 else if ((void *)__f.__f_ == &__f.__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001708 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001709 __f_ = __as_base(&__buf_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001710 __f.__f_->__clone(__f_);
1711 }
1712 else
1713 __f_ = __f.__f_->__clone();
1714}
1715
Marshall Clow3148f422016-10-13 21:06:03 +00001716#if _LIBCPP_STD_VER <= 14
Howard Hinnantc834c512011-11-29 18:15:50 +00001717template<class _Rp, class ..._ArgTypes>
Howard Hinnantf06d9262010-08-20 19:36:46 +00001718template <class _Alloc>
Howard Hinnantc834c512011-11-29 18:15:50 +00001719function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&,
Howard Hinnantf06d9262010-08-20 19:36:46 +00001720 const function& __f)
1721{
1722 if (__f.__f_ == 0)
1723 __f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001724 else if ((void *)__f.__f_ == &__f.__buf_)
Howard Hinnantf06d9262010-08-20 19:36:46 +00001725 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001726 __f_ = __as_base(&__buf_);
Howard Hinnantf06d9262010-08-20 19:36:46 +00001727 __f.__f_->__clone(__f_);
1728 }
1729 else
1730 __f_ = __f.__f_->__clone();
1731}
Marshall Clow3148f422016-10-13 21:06:03 +00001732#endif
Howard Hinnantf06d9262010-08-20 19:36:46 +00001733
Howard Hinnantc834c512011-11-29 18:15:50 +00001734template<class _Rp, class ..._ArgTypes>
1735function<_Rp(_ArgTypes...)>::function(function&& __f) _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001736{
1737 if (__f.__f_ == 0)
1738 __f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001739 else if ((void *)__f.__f_ == &__f.__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001740 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001741 __f_ = __as_base(&__buf_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001742 __f.__f_->__clone(__f_);
1743 }
1744 else
1745 {
1746 __f_ = __f.__f_;
1747 __f.__f_ = 0;
1748 }
1749}
1750
Marshall Clow3148f422016-10-13 21:06:03 +00001751#if _LIBCPP_STD_VER <= 14
Howard Hinnantc834c512011-11-29 18:15:50 +00001752template<class _Rp, class ..._ArgTypes>
Howard Hinnantf06d9262010-08-20 19:36:46 +00001753template <class _Alloc>
Howard Hinnantc834c512011-11-29 18:15:50 +00001754function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&,
Howard Hinnantf06d9262010-08-20 19:36:46 +00001755 function&& __f)
1756{
1757 if (__f.__f_ == 0)
1758 __f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001759 else if ((void *)__f.__f_ == &__f.__buf_)
Howard Hinnantf06d9262010-08-20 19:36:46 +00001760 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001761 __f_ = __as_base(&__buf_);
Howard Hinnantf06d9262010-08-20 19:36:46 +00001762 __f.__f_->__clone(__f_);
1763 }
1764 else
1765 {
1766 __f_ = __f.__f_;
1767 __f.__f_ = 0;
1768 }
1769}
Marshall Clow3148f422016-10-13 21:06:03 +00001770#endif
Howard Hinnantf06d9262010-08-20 19:36:46 +00001771
Howard Hinnantc834c512011-11-29 18:15:50 +00001772template<class _Rp, class ..._ArgTypes>
Eric Fiselierf3e18cf2016-07-20 05:21:00 +00001773template <class _Fp, class>
1774function<_Rp(_ArgTypes...)>::function(_Fp __f)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001775 : __f_(0)
1776{
Eric Fiseliera584a1e2015-08-18 19:41:51 +00001777 if (__function::__not_null(__f))
Howard Hinnantc51e1022010-05-11 19:42:16 +00001778 {
Howard Hinnantc834c512011-11-29 18:15:50 +00001779 typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_ArgTypes...)> _FF;
1780 if (sizeof(_FF) <= sizeof(__buf_) && is_nothrow_copy_constructible<_Fp>::value)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001781 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001782 __f_ = ::new((void*)&__buf_) _FF(_VSTD::move(__f));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001783 }
1784 else
1785 {
Howard Hinnantc834c512011-11-29 18:15:50 +00001786 typedef allocator<_FF> _Ap;
1787 _Ap __a;
1788 typedef __allocator_destructor<_Ap> _Dp;
1789 unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
1790 ::new (__hold.get()) _FF(_VSTD::move(__f), allocator<_Fp>(__a));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001791 __f_ = __hold.release();
1792 }
1793 }
1794}
1795
Marshall Clow3148f422016-10-13 21:06:03 +00001796#if _LIBCPP_STD_VER <= 14
Howard Hinnantc834c512011-11-29 18:15:50 +00001797template<class _Rp, class ..._ArgTypes>
Eric Fiselierf3e18cf2016-07-20 05:21:00 +00001798template <class _Fp, class _Alloc, class>
1799function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f)
Howard Hinnantf06d9262010-08-20 19:36:46 +00001800 : __f_(0)
1801{
1802 typedef allocator_traits<_Alloc> __alloc_traits;
Eric Fiseliera584a1e2015-08-18 19:41:51 +00001803 if (__function::__not_null(__f))
Howard Hinnantf06d9262010-08-20 19:36:46 +00001804 {
Howard Hinnantc834c512011-11-29 18:15:50 +00001805 typedef __function::__func<_Fp, _Alloc, _Rp(_ArgTypes...)> _FF;
Marshall Clow940e01c2015-04-07 05:21:38 +00001806 typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
Marshall Clowe2631a22014-04-18 17:23:36 +00001807 _Ap __a(__a0);
Louis Dionne44bcff92018-08-03 22:36:53 +00001808 if (sizeof(_FF) <= sizeof(__buf_) &&
Marshall Clowe2631a22014-04-18 17:23:36 +00001809 is_nothrow_copy_constructible<_Fp>::value && is_nothrow_copy_constructible<_Ap>::value)
Howard Hinnantf06d9262010-08-20 19:36:46 +00001810 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001811 __f_ = ::new((void*)&__buf_) _FF(_VSTD::move(__f), _Alloc(__a));
Howard Hinnantf06d9262010-08-20 19:36:46 +00001812 }
1813 else
1814 {
Howard Hinnantc834c512011-11-29 18:15:50 +00001815 typedef __allocator_destructor<_Ap> _Dp;
1816 unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00001817 ::new (__hold.get()) _FF(_VSTD::move(__f), _Alloc(__a));
Howard Hinnantf06d9262010-08-20 19:36:46 +00001818 __f_ = __hold.release();
1819 }
1820 }
1821}
Marshall Clow3148f422016-10-13 21:06:03 +00001822#endif
Howard Hinnantf06d9262010-08-20 19:36:46 +00001823
Howard Hinnantc834c512011-11-29 18:15:50 +00001824template<class _Rp, class ..._ArgTypes>
1825function<_Rp(_ArgTypes...)>&
1826function<_Rp(_ArgTypes...)>::operator=(const function& __f)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001827{
1828 function(__f).swap(*this);
1829 return *this;
1830}
1831
Howard Hinnantc834c512011-11-29 18:15:50 +00001832template<class _Rp, class ..._ArgTypes>
1833function<_Rp(_ArgTypes...)>&
1834function<_Rp(_ArgTypes...)>::operator=(function&& __f) _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001835{
Volodymyr Sapsai1f2c57d2018-04-25 23:38:41 +00001836 *this = nullptr;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001837 if (__f.__f_ == 0)
1838 __f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001839 else if ((void *)__f.__f_ == &__f.__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001840 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001841 __f_ = __as_base(&__buf_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001842 __f.__f_->__clone(__f_);
1843 }
1844 else
1845 {
1846 __f_ = __f.__f_;
1847 __f.__f_ = 0;
1848 }
Argyrios Kyrtzidisaf904652012-10-13 02:03:45 +00001849 return *this;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001850}
1851
Howard Hinnantc834c512011-11-29 18:15:50 +00001852template<class _Rp, class ..._ArgTypes>
1853function<_Rp(_ArgTypes...)>&
1854function<_Rp(_ArgTypes...)>::operator=(nullptr_t) _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001855{
Volodymyr Sapsai1f2c57d2018-04-25 23:38:41 +00001856 __base* __t = __f_;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001857 __f_ = 0;
Volodymyr Sapsai1f2c57d2018-04-25 23:38:41 +00001858 if ((void *)__t == &__buf_)
1859 __t->destroy();
1860 else if (__t)
1861 __t->destroy_deallocate();
Argyrios Kyrtzidisaf904652012-10-13 02:03:45 +00001862 return *this;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001863}
1864
Howard Hinnantc834c512011-11-29 18:15:50 +00001865template<class _Rp, class ..._ArgTypes>
Eric Fiselier43c04f72017-09-10 23:41:20 +00001866template <class _Fp, class>
1867function<_Rp(_ArgTypes...)>&
Howard Hinnantc834c512011-11-29 18:15:50 +00001868function<_Rp(_ArgTypes...)>::operator=(_Fp&& __f)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001869{
Howard Hinnantc834c512011-11-29 18:15:50 +00001870 function(_VSTD::forward<_Fp>(__f)).swap(*this);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001871 return *this;
1872}
1873
Howard Hinnantc834c512011-11-29 18:15:50 +00001874template<class _Rp, class ..._ArgTypes>
1875function<_Rp(_ArgTypes...)>::~function()
Howard Hinnantc51e1022010-05-11 19:42:16 +00001876{
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001877 if ((void *)__f_ == &__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001878 __f_->destroy();
1879 else if (__f_)
1880 __f_->destroy_deallocate();
1881}
1882
Howard Hinnantc834c512011-11-29 18:15:50 +00001883template<class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001884void
Howard Hinnantc834c512011-11-29 18:15:50 +00001885function<_Rp(_ArgTypes...)>::swap(function& __f) _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001886{
Eric Fiselierc84b3fd2016-12-29 20:03:55 +00001887 if (_VSTD::addressof(__f) == this)
1888 return;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001889 if ((void *)__f_ == &__buf_ && (void *)__f.__f_ == &__f.__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001890 {
1891 typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001892 __base* __t = __as_base(&__tempbuf);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001893 __f_->__clone(__t);
1894 __f_->destroy();
1895 __f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001896 __f.__f_->__clone(__as_base(&__buf_));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001897 __f.__f_->destroy();
1898 __f.__f_ = 0;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001899 __f_ = __as_base(&__buf_);
1900 __t->__clone(__as_base(&__f.__buf_));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001901 __t->destroy();
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001902 __f.__f_ = __as_base(&__f.__buf_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001903 }
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001904 else if ((void *)__f_ == &__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001905 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001906 __f_->__clone(__as_base(&__f.__buf_));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001907 __f_->destroy();
1908 __f_ = __f.__f_;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001909 __f.__f_ = __as_base(&__f.__buf_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001910 }
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001911 else if ((void *)__f.__f_ == &__f.__buf_)
Howard Hinnantc51e1022010-05-11 19:42:16 +00001912 {
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001913 __f.__f_->__clone(__as_base(&__buf_));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001914 __f.__f_->destroy();
1915 __f.__f_ = __f_;
Evgeniy Stepanov076b2372016-02-10 21:53:28 +00001916 __f_ = __as_base(&__buf_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001917 }
1918 else
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00001919 _VSTD::swap(__f_, __f.__f_);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001920}
1921
Howard Hinnantc834c512011-11-29 18:15:50 +00001922template<class _Rp, class ..._ArgTypes>
1923_Rp
1924function<_Rp(_ArgTypes...)>::operator()(_ArgTypes... __arg) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001925{
1926 if (__f_ == 0)
Marshall Clow8fea1612016-08-25 15:09:01 +00001927 __throw_bad_function_call();
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00001928 return (*__f_)(_VSTD::forward<_ArgTypes>(__arg)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001929}
1930
Howard Hinnant72f73582010-08-11 17:04:31 +00001931#ifndef _LIBCPP_NO_RTTI
1932
Howard Hinnantc834c512011-11-29 18:15:50 +00001933template<class _Rp, class ..._ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001934const std::type_info&
Howard Hinnantc834c512011-11-29 18:15:50 +00001935function<_Rp(_ArgTypes...)>::target_type() const _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001936{
1937 if (__f_ == 0)
1938 return typeid(void);
1939 return __f_->target_type();
1940}
1941
Howard Hinnantc834c512011-11-29 18:15:50 +00001942template<class _Rp, class ..._ArgTypes>
1943template <typename _Tp>
1944_Tp*
1945function<_Rp(_ArgTypes...)>::target() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001946{
1947 if (__f_ == 0)
Marshall Clowbeda7142017-06-14 20:00:36 +00001948 return nullptr;
1949 return (_Tp*) const_cast<void *>(__f_->target(typeid(_Tp)));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001950}
1951
Howard Hinnantc834c512011-11-29 18:15:50 +00001952template<class _Rp, class ..._ArgTypes>
1953template <typename _Tp>
1954const _Tp*
1955function<_Rp(_ArgTypes...)>::target() const _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001956{
1957 if (__f_ == 0)
Marshall Clowbeda7142017-06-14 20:00:36 +00001958 return nullptr;
Howard Hinnantc834c512011-11-29 18:15:50 +00001959 return (const _Tp*)__f_->target(typeid(_Tp));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001960}
1961
Howard Hinnant3b6579a2010-08-22 00:02:43 +00001962#endif // _LIBCPP_NO_RTTI
Howard Hinnant72f73582010-08-11 17:04:31 +00001963
Howard Hinnantc834c512011-11-29 18:15:50 +00001964template <class _Rp, class... _ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001965inline _LIBCPP_INLINE_VISIBILITY
1966bool
Howard Hinnantc834c512011-11-29 18:15:50 +00001967operator==(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return !__f;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001968
Howard Hinnantc834c512011-11-29 18:15:50 +00001969template <class _Rp, class... _ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001970inline _LIBCPP_INLINE_VISIBILITY
1971bool
Howard Hinnantc834c512011-11-29 18:15:50 +00001972operator==(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return !__f;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001973
Howard Hinnantc834c512011-11-29 18:15:50 +00001974template <class _Rp, class... _ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001975inline _LIBCPP_INLINE_VISIBILITY
1976bool
Howard Hinnantc834c512011-11-29 18:15:50 +00001977operator!=(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return (bool)__f;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001978
Howard Hinnantc834c512011-11-29 18:15:50 +00001979template <class _Rp, class... _ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001980inline _LIBCPP_INLINE_VISIBILITY
1981bool
Howard Hinnantc834c512011-11-29 18:15:50 +00001982operator!=(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return (bool)__f;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001983
Howard Hinnantc834c512011-11-29 18:15:50 +00001984template <class _Rp, class... _ArgTypes>
Howard Hinnantc51e1022010-05-11 19:42:16 +00001985inline _LIBCPP_INLINE_VISIBILITY
1986void
Howard Hinnantc834c512011-11-29 18:15:50 +00001987swap(function<_Rp(_ArgTypes...)>& __x, function<_Rp(_ArgTypes...)>& __y) _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +00001988{return __x.swap(__y);}
1989
Eric Fiseliera9ae7a62017-04-19 01:28:47 +00001990#else // _LIBCPP_CXX03_LANG
Eric Fiselier2cc48332015-07-22 22:43:27 +00001991
1992#include <__functional_03>
1993
1994#endif
Eric Fiseliera6f61c62015-07-22 04:14:38 +00001995
1996////////////////////////////////////////////////////////////////////////////////
1997// BIND
1998//==============================================================================
1999
Howard Hinnantc51e1022010-05-11 19:42:16 +00002000template<class _Tp> struct __is_bind_expression : public false_type {};
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00002001template<class _Tp> struct _LIBCPP_TEMPLATE_VIS is_bind_expression
Howard Hinnantc51e1022010-05-11 19:42:16 +00002002 : public __is_bind_expression<typename remove_cv<_Tp>::type> {};
2003
Marshall Clow2d2d7f12016-09-22 00:23:15 +00002004#if _LIBCPP_STD_VER > 14
2005template <class _Tp>
Marshall Clowf1bf62f2018-01-02 17:17:01 +00002006_LIBCPP_INLINE_VAR constexpr size_t is_bind_expression_v = is_bind_expression<_Tp>::value;
Marshall Clow2d2d7f12016-09-22 00:23:15 +00002007#endif
2008
Howard Hinnantc51e1022010-05-11 19:42:16 +00002009template<class _Tp> struct __is_placeholder : public integral_constant<int, 0> {};
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00002010template<class _Tp> struct _LIBCPP_TEMPLATE_VIS is_placeholder
Howard Hinnantc51e1022010-05-11 19:42:16 +00002011 : public __is_placeholder<typename remove_cv<_Tp>::type> {};
2012
Marshall Clow2d2d7f12016-09-22 00:23:15 +00002013#if _LIBCPP_STD_VER > 14
2014template <class _Tp>
Marshall Clowf1bf62f2018-01-02 17:17:01 +00002015_LIBCPP_INLINE_VAR constexpr size_t is_placeholder_v = is_placeholder<_Tp>::value;
Marshall Clow2d2d7f12016-09-22 00:23:15 +00002016#endif
2017
Howard Hinnantc51e1022010-05-11 19:42:16 +00002018namespace placeholders
2019{
2020
Howard Hinnantc834c512011-11-29 18:15:50 +00002021template <int _Np> struct __ph {};
Howard Hinnantc51e1022010-05-11 19:42:16 +00002022
Louis Dionne5e0eadd2018-08-01 02:08:59 +00002023#if defined(_LIBCPP_CXX03_LANG) || defined(_LIBCPP_BUILDING_LIBRARY)
Eric Fiselierb7f51d62016-06-26 21:01:34 +00002024_LIBCPP_FUNC_VIS extern const __ph<1> _1;
2025_LIBCPP_FUNC_VIS extern const __ph<2> _2;
2026_LIBCPP_FUNC_VIS extern const __ph<3> _3;
2027_LIBCPP_FUNC_VIS extern const __ph<4> _4;
2028_LIBCPP_FUNC_VIS extern const __ph<5> _5;
2029_LIBCPP_FUNC_VIS extern const __ph<6> _6;
2030_LIBCPP_FUNC_VIS extern const __ph<7> _7;
2031_LIBCPP_FUNC_VIS extern const __ph<8> _8;
2032_LIBCPP_FUNC_VIS extern const __ph<9> _9;
2033_LIBCPP_FUNC_VIS extern const __ph<10> _10;
2034#else
Marshall Clow396b2132018-01-02 19:01:45 +00002035/* _LIBCPP_INLINE_VAR */ constexpr __ph<1> _1{};
2036/* _LIBCPP_INLINE_VAR */ constexpr __ph<2> _2{};
2037/* _LIBCPP_INLINE_VAR */ constexpr __ph<3> _3{};
2038/* _LIBCPP_INLINE_VAR */ constexpr __ph<4> _4{};
2039/* _LIBCPP_INLINE_VAR */ constexpr __ph<5> _5{};
2040/* _LIBCPP_INLINE_VAR */ constexpr __ph<6> _6{};
2041/* _LIBCPP_INLINE_VAR */ constexpr __ph<7> _7{};
2042/* _LIBCPP_INLINE_VAR */ constexpr __ph<8> _8{};
2043/* _LIBCPP_INLINE_VAR */ constexpr __ph<9> _9{};
2044/* _LIBCPP_INLINE_VAR */ constexpr __ph<10> _10{};
Louis Dionne5e0eadd2018-08-01 02:08:59 +00002045#endif // defined(_LIBCPP_CXX03_LANG) || defined(_LIBCPP_BUILDING_LIBRARY)
Howard Hinnantc51e1022010-05-11 19:42:16 +00002046
2047} // placeholders
2048
Howard Hinnantc834c512011-11-29 18:15:50 +00002049template<int _Np>
2050struct __is_placeholder<placeholders::__ph<_Np> >
2051 : public integral_constant<int, _Np> {};
Howard Hinnantc51e1022010-05-11 19:42:16 +00002052
Eric Fiseliera6f61c62015-07-22 04:14:38 +00002053
Eric Fiseliera9ae7a62017-04-19 01:28:47 +00002054#ifndef _LIBCPP_CXX03_LANG
Eric Fiseliera6f61c62015-07-22 04:14:38 +00002055
Howard Hinnantc51e1022010-05-11 19:42:16 +00002056template <class _Tp, class _Uj>
2057inline _LIBCPP_INLINE_VISIBILITY
2058_Tp&
2059__mu(reference_wrapper<_Tp> __t, _Uj&)
2060{
2061 return __t.get();
2062}
2063
Howard Hinnantc51e1022010-05-11 19:42:16 +00002064template <class _Ti, class ..._Uj, size_t ..._Indx>
2065inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002066typename __invoke_of<_Ti&, _Uj...>::type
2067__mu_expand(_Ti& __ti, tuple<_Uj...>& __uj, __tuple_indices<_Indx...>)
Howard Hinnantc51e1022010-05-11 19:42:16 +00002068{
Marshall Clow60e4aa72014-06-24 00:46:19 +00002069 return __ti(_VSTD::forward<_Uj>(_VSTD::get<_Indx>(__uj))...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00002070}
2071
2072template <class _Ti, class ..._Uj>
2073inline _LIBCPP_INLINE_VISIBILITY
Eric Fiselierf3a1cea2014-12-23 05:54:34 +00002074typename __lazy_enable_if
Howard Hinnantc51e1022010-05-11 19:42:16 +00002075<
2076 is_bind_expression<_Ti>::value,
Eric Fiselierf3a1cea2014-12-23 05:54:34 +00002077 __invoke_of<_Ti&, _Uj...>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002078>::type
2079__mu(_Ti& __ti, tuple<_Uj...>& __uj)
2080{
2081 typedef typename __make_tuple_indices<sizeof...(_Uj)>::type __indices;
2082 return __mu_expand(__ti, __uj, __indices());
2083}
2084
2085template <bool IsPh, class _Ti, class _Uj>
2086struct __mu_return2 {};
2087
2088template <class _Ti, class _Uj>
2089struct __mu_return2<true, _Ti, _Uj>
2090{
2091 typedef typename tuple_element<is_placeholder<_Ti>::value - 1, _Uj>::type type;
2092};
2093
2094template <class _Ti, class _Uj>
2095inline _LIBCPP_INLINE_VISIBILITY
2096typename enable_if
2097<
2098 0 < is_placeholder<_Ti>::value,
2099 typename __mu_return2<0 < is_placeholder<_Ti>::value, _Ti, _Uj>::type
2100>::type
2101__mu(_Ti&, _Uj& __uj)
2102{
2103 const size_t _Indx = is_placeholder<_Ti>::value - 1;
Marshall Clow60e4aa72014-06-24 00:46:19 +00002104 return _VSTD::forward<typename tuple_element<_Indx, _Uj>::type>(_VSTD::get<_Indx>(__uj));
Howard Hinnantc51e1022010-05-11 19:42:16 +00002105}
2106
2107template <class _Ti, class _Uj>
2108inline _LIBCPP_INLINE_VISIBILITY
2109typename enable_if
2110<
2111 !is_bind_expression<_Ti>::value &&
2112 is_placeholder<_Ti>::value == 0 &&
2113 !__is_reference_wrapper<_Ti>::value,
2114 _Ti&
2115>::type
Howard Hinnant28b24882011-12-01 20:21:04 +00002116__mu(_Ti& __ti, _Uj&)
Howard Hinnantc51e1022010-05-11 19:42:16 +00002117{
2118 return __ti;
2119}
2120
Howard Hinnant0415d792011-05-22 15:07:43 +00002121template <class _Ti, bool IsReferenceWrapper, bool IsBindEx, bool IsPh,
2122 class _TupleUj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002123struct __mu_return_impl;
Howard Hinnantc51e1022010-05-11 19:42:16 +00002124
Howard Hinnant51dae7a2013-06-30 19:48:15 +00002125template <bool _Invokable, class _Ti, class ..._Uj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002126struct __mu_return_invokable // false
Howard Hinnant51dae7a2013-06-30 19:48:15 +00002127{
2128 typedef __nat type;
2129};
2130
Howard Hinnantc51e1022010-05-11 19:42:16 +00002131template <class _Ti, class ..._Uj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002132struct __mu_return_invokable<true, _Ti, _Uj...>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002133{
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002134 typedef typename __invoke_of<_Ti&, _Uj...>::type type;
Howard Hinnantc51e1022010-05-11 19:42:16 +00002135};
2136
Howard Hinnant51dae7a2013-06-30 19:48:15 +00002137template <class _Ti, class ..._Uj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002138struct __mu_return_impl<_Ti, false, true, false, tuple<_Uj...> >
2139 : public __mu_return_invokable<__invokable<_Ti&, _Uj...>::value, _Ti, _Uj...>
Howard Hinnant51dae7a2013-06-30 19:48:15 +00002140{
2141};
2142
Howard Hinnantc51e1022010-05-11 19:42:16 +00002143template <class _Ti, class _TupleUj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002144struct __mu_return_impl<_Ti, false, false, true, _TupleUj>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002145{
2146 typedef typename tuple_element<is_placeholder<_Ti>::value - 1,
2147 _TupleUj>::type&& type;
2148};
2149
2150template <class _Ti, class _TupleUj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002151struct __mu_return_impl<_Ti, true, false, false, _TupleUj>
Howard Hinnant0415d792011-05-22 15:07:43 +00002152{
2153 typedef typename _Ti::type& type;
2154};
2155
2156template <class _Ti, class _TupleUj>
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002157struct __mu_return_impl<_Ti, false, false, false, _TupleUj>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002158{
2159 typedef _Ti& type;
2160};
2161
2162template <class _Ti, class _TupleUj>
2163struct __mu_return
Louis Dionnecbbd7b12018-09-23 16:44:50 +00002164 : public __mu_return_impl<_Ti,
2165 __is_reference_wrapper<_Ti>::value,
2166 is_bind_expression<_Ti>::value,
2167 0 < is_placeholder<_Ti>::value &&
2168 is_placeholder<_Ti>::value <= tuple_size<_TupleUj>::value,
2169 _TupleUj>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002170{
2171};
2172
Howard Hinnantc834c512011-11-29 18:15:50 +00002173template <class _Fp, class _BoundArgs, class _TupleUj>
Eric Fiselier99fffba2015-05-19 22:27:18 +00002174struct __is_valid_bind_return
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002175{
2176 static const bool value = false;
2177};
2178
2179template <class _Fp, class ..._BoundArgs, class _TupleUj>
Eric Fiselier99fffba2015-05-19 22:27:18 +00002180struct __is_valid_bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj>
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002181{
2182 static const bool value = __invokable<_Fp,
2183 typename __mu_return<_BoundArgs, _TupleUj>::type...>::value;
2184};
2185
2186template <class _Fp, class ..._BoundArgs, class _TupleUj>
Eric Fiselier99fffba2015-05-19 22:27:18 +00002187struct __is_valid_bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj>
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002188{
2189 static const bool value = __invokable<_Fp,
2190 typename __mu_return<const _BoundArgs, _TupleUj>::type...>::value;
2191};
2192
2193template <class _Fp, class _BoundArgs, class _TupleUj,
Eric Fiselier99fffba2015-05-19 22:27:18 +00002194 bool = __is_valid_bind_return<_Fp, _BoundArgs, _TupleUj>::value>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002195struct __bind_return;
2196
Howard Hinnantc834c512011-11-29 18:15:50 +00002197template <class _Fp, class ..._BoundArgs, class _TupleUj>
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002198struct __bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj, true>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002199{
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002200 typedef typename __invoke_of
Howard Hinnantc51e1022010-05-11 19:42:16 +00002201 <
Howard Hinnantc834c512011-11-29 18:15:50 +00002202 _Fp&,
Howard Hinnantc51e1022010-05-11 19:42:16 +00002203 typename __mu_return
2204 <
2205 _BoundArgs,
2206 _TupleUj
2207 >::type...
2208 >::type type;
2209};
2210
Howard Hinnantc834c512011-11-29 18:15:50 +00002211template <class _Fp, class ..._BoundArgs, class _TupleUj>
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002212struct __bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj, true>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002213{
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002214 typedef typename __invoke_of
Howard Hinnantc51e1022010-05-11 19:42:16 +00002215 <
Howard Hinnantc834c512011-11-29 18:15:50 +00002216 _Fp&,
Howard Hinnantc51e1022010-05-11 19:42:16 +00002217 typename __mu_return
2218 <
2219 const _BoundArgs,
2220 _TupleUj
2221 >::type...
2222 >::type type;
2223};
2224
Howard Hinnantc834c512011-11-29 18:15:50 +00002225template <class _Fp, class _BoundArgs, size_t ..._Indx, class _Args>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002226inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00002227typename __bind_return<_Fp, _BoundArgs, _Args>::type
2228__apply_functor(_Fp& __f, _BoundArgs& __bound_args, __tuple_indices<_Indx...>,
Howard Hinnantc51e1022010-05-11 19:42:16 +00002229 _Args&& __args)
2230{
Eric Fiselier17264eb2017-05-03 21:02:19 +00002231 return _VSTD::__invoke(__f, _VSTD::__mu(_VSTD::get<_Indx>(__bound_args), __args)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00002232}
2233
Howard Hinnantc834c512011-11-29 18:15:50 +00002234template<class _Fp, class ..._BoundArgs>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002235class __bind
Howard Hinnantc834c512011-11-29 18:15:50 +00002236 : public __weak_result_type<typename decay<_Fp>::type>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002237{
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002238protected:
Howard Hinnantc834c512011-11-29 18:15:50 +00002239 typedef typename decay<_Fp>::type _Fd;
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002240 typedef tuple<typename decay<_BoundArgs>::type...> _Td;
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002241private:
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002242 _Fd __f_;
2243 _Td __bound_args_;
Howard Hinnantc51e1022010-05-11 19:42:16 +00002244
2245 typedef typename __make_tuple_indices<sizeof...(_BoundArgs)>::type __indices;
2246public:
Howard Hinnant0337ade2012-05-04 17:21:02 +00002247 template <class _Gp, class ..._BA,
2248 class = typename enable_if
2249 <
Howard Hinnantf292a922013-07-01 00:01:51 +00002250 is_constructible<_Fd, _Gp>::value &&
2251 !is_same<typename remove_reference<_Gp>::type,
2252 __bind>::value
Howard Hinnant0337ade2012-05-04 17:21:02 +00002253 >::type>
Howard Hinnant4ff57432010-09-21 22:55:27 +00002254 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00002255 explicit __bind(_Gp&& __f, _BA&& ...__bound_args)
2256 : __f_(_VSTD::forward<_Gp>(__f)),
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00002257 __bound_args_(_VSTD::forward<_BA>(__bound_args)...) {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00002258
2259 template <class ..._Args>
Howard Hinnant4ff57432010-09-21 22:55:27 +00002260 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc1132eb2011-05-19 19:41:47 +00002261 typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type
Howard Hinnantc51e1022010-05-11 19:42:16 +00002262 operator()(_Args&& ...__args)
2263 {
Eric Fiselier17264eb2017-05-03 21:02:19 +00002264 return _VSTD::__apply_functor(__f_, __bound_args_, __indices(),
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00002265 tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...));
Howard Hinnantc51e1022010-05-11 19:42:16 +00002266 }
2267
2268 template <class ..._Args>
Howard Hinnant4ff57432010-09-21 22:55:27 +00002269 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002270 typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type
Howard Hinnantc51e1022010-05-11 19:42:16 +00002271 operator()(_Args&& ...__args) const
2272 {
Eric Fiselier17264eb2017-05-03 21:02:19 +00002273 return _VSTD::__apply_functor(__f_, __bound_args_, __indices(),
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00002274 tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...));
Howard Hinnantc51e1022010-05-11 19:42:16 +00002275 }
2276};
2277
Howard Hinnantc834c512011-11-29 18:15:50 +00002278template<class _Fp, class ..._BoundArgs>
2279struct __is_bind_expression<__bind<_Fp, _BoundArgs...> > : public true_type {};
Howard Hinnantc51e1022010-05-11 19:42:16 +00002280
Howard Hinnantc834c512011-11-29 18:15:50 +00002281template<class _Rp, class _Fp, class ..._BoundArgs>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002282class __bind_r
Howard Hinnantc834c512011-11-29 18:15:50 +00002283 : public __bind<_Fp, _BoundArgs...>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002284{
Howard Hinnantc834c512011-11-29 18:15:50 +00002285 typedef __bind<_Fp, _BoundArgs...> base;
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002286 typedef typename base::_Fd _Fd;
2287 typedef typename base::_Td _Td;
Howard Hinnantc51e1022010-05-11 19:42:16 +00002288public:
Howard Hinnantc834c512011-11-29 18:15:50 +00002289 typedef _Rp result_type;
Howard Hinnantc51e1022010-05-11 19:42:16 +00002290
Howard Hinnant7091e652011-07-02 18:22:36 +00002291
Howard Hinnantf292a922013-07-01 00:01:51 +00002292 template <class _Gp, class ..._BA,
2293 class = typename enable_if
2294 <
2295 is_constructible<_Fd, _Gp>::value &&
2296 !is_same<typename remove_reference<_Gp>::type,
2297 __bind_r>::value
2298 >::type>
Howard Hinnant4ff57432010-09-21 22:55:27 +00002299 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00002300 explicit __bind_r(_Gp&& __f, _BA&& ...__bound_args)
2301 : base(_VSTD::forward<_Gp>(__f),
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00002302 _VSTD::forward<_BA>(__bound_args)...) {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00002303
2304 template <class ..._Args>
Howard Hinnant4ff57432010-09-21 22:55:27 +00002305 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002306 typename enable_if
2307 <
2308 is_convertible<typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type,
Eric Fiselier7a8710a2015-07-10 23:29:18 +00002309 result_type>::value || is_void<_Rp>::value,
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002310 result_type
2311 >::type
Howard Hinnantc51e1022010-05-11 19:42:16 +00002312 operator()(_Args&& ...__args)
2313 {
Eric Fiselier7a8710a2015-07-10 23:29:18 +00002314 typedef __invoke_void_return_wrapper<_Rp> _Invoker;
2315 return _Invoker::__call(static_cast<base&>(*this), _VSTD::forward<_Args>(__args)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00002316 }
2317
2318 template <class ..._Args>
Howard Hinnant4ff57432010-09-21 22:55:27 +00002319 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002320 typename enable_if
2321 <
2322 is_convertible<typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type,
Eric Fiselier7a8710a2015-07-10 23:29:18 +00002323 result_type>::value || is_void<_Rp>::value,
Howard Hinnantde3a5f02013-02-21 18:16:55 +00002324 result_type
2325 >::type
Howard Hinnantc51e1022010-05-11 19:42:16 +00002326 operator()(_Args&& ...__args) const
2327 {
Eric Fiselier7a8710a2015-07-10 23:29:18 +00002328 typedef __invoke_void_return_wrapper<_Rp> _Invoker;
2329 return _Invoker::__call(static_cast<base const&>(*this), _VSTD::forward<_Args>(__args)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00002330 }
2331};
2332
Howard Hinnantc834c512011-11-29 18:15:50 +00002333template<class _Rp, class _Fp, class ..._BoundArgs>
2334struct __is_bind_expression<__bind_r<_Rp, _Fp, _BoundArgs...> > : public true_type {};
Howard Hinnantc51e1022010-05-11 19:42:16 +00002335
Howard Hinnantc834c512011-11-29 18:15:50 +00002336template<class _Fp, class ..._BoundArgs>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002337inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00002338__bind<_Fp, _BoundArgs...>
2339bind(_Fp&& __f, _BoundArgs&&... __bound_args)
Howard Hinnantc51e1022010-05-11 19:42:16 +00002340{
Howard Hinnantc834c512011-11-29 18:15:50 +00002341 typedef __bind<_Fp, _BoundArgs...> type;
2342 return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00002343}
2344
Howard Hinnantc834c512011-11-29 18:15:50 +00002345template<class _Rp, class _Fp, class ..._BoundArgs>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002346inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantc834c512011-11-29 18:15:50 +00002347__bind_r<_Rp, _Fp, _BoundArgs...>
2348bind(_Fp&& __f, _BoundArgs&&... __bound_args)
Howard Hinnantc51e1022010-05-11 19:42:16 +00002349{
Howard Hinnantc834c512011-11-29 18:15:50 +00002350 typedef __bind_r<_Rp, _Fp, _BoundArgs...> type;
2351 return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...);
Howard Hinnantc51e1022010-05-11 19:42:16 +00002352}
2353
Eric Fiseliera9ae7a62017-04-19 01:28:47 +00002354#endif // _LIBCPP_CXX03_LANG
Howard Hinnantc51e1022010-05-11 19:42:16 +00002355
Eric Fiselier0d974f12015-07-14 20:16:15 +00002356#if _LIBCPP_STD_VER > 14
Eric Fiselier934f63b2016-06-02 01:25:41 +00002357
Eric Fiselier0d974f12015-07-14 20:16:15 +00002358template <class _Fn, class ..._Args>
2359result_of_t<_Fn&&(_Args&&...)>
Eric Fiselier934f63b2016-06-02 01:25:41 +00002360invoke(_Fn&& __f, _Args&&... __args)
2361 noexcept(noexcept(_VSTD::__invoke(_VSTD::forward<_Fn>(__f), _VSTD::forward<_Args>(__args)...)))
2362{
2363 return _VSTD::__invoke(_VSTD::forward<_Fn>(__f), _VSTD::forward<_Args>(__args)...);
Eric Fiselier0d974f12015-07-14 20:16:15 +00002364}
Eric Fiselier934f63b2016-06-02 01:25:41 +00002365
2366template <class _DecayFunc>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00002367class _LIBCPP_TEMPLATE_VIS __not_fn_imp {
Eric Fiselier934f63b2016-06-02 01:25:41 +00002368 _DecayFunc __fd;
2369
2370public:
2371 __not_fn_imp() = delete;
2372
2373 template <class ..._Args>
2374 _LIBCPP_INLINE_VISIBILITY
Eric Fiseliere8303a32016-06-27 00:40:41 +00002375 auto operator()(_Args&& ...__args) &
Eric Fiselier934f63b2016-06-02 01:25:41 +00002376 noexcept(noexcept(!_VSTD::invoke(__fd, _VSTD::forward<_Args>(__args)...)))
Marshall Clowdb7095c2016-10-10 14:37:18 +00002377 -> decltype( !_VSTD::invoke(__fd, _VSTD::forward<_Args>(__args)...))
2378 { return !_VSTD::invoke(__fd, _VSTD::forward<_Args>(__args)...); }
Eric Fiselier934f63b2016-06-02 01:25:41 +00002379
2380 template <class ..._Args>
2381 _LIBCPP_INLINE_VISIBILITY
Eric Fiseliere8303a32016-06-27 00:40:41 +00002382 auto operator()(_Args&& ...__args) &&
2383 noexcept(noexcept(!_VSTD::invoke(_VSTD::move(__fd), _VSTD::forward<_Args>(__args)...)))
Marshall Clowdb7095c2016-10-10 14:37:18 +00002384 -> decltype( !_VSTD::invoke(_VSTD::move(__fd), _VSTD::forward<_Args>(__args)...))
2385 { return !_VSTD::invoke(_VSTD::move(__fd), _VSTD::forward<_Args>(__args)...); }
Eric Fiseliere8303a32016-06-27 00:40:41 +00002386
2387 template <class ..._Args>
2388 _LIBCPP_INLINE_VISIBILITY
2389 auto operator()(_Args&& ...__args) const&
Eric Fiselier934f63b2016-06-02 01:25:41 +00002390 noexcept(noexcept(!_VSTD::invoke(__fd, _VSTD::forward<_Args>(__args)...)))
Marshall Clowdb7095c2016-10-10 14:37:18 +00002391 -> decltype( !_VSTD::invoke(__fd, _VSTD::forward<_Args>(__args)...))
2392 { return !_VSTD::invoke(__fd, _VSTD::forward<_Args>(__args)...); }
Eric Fiselier934f63b2016-06-02 01:25:41 +00002393
Eric Fiseliere8303a32016-06-27 00:40:41 +00002394
2395 template <class ..._Args>
2396 _LIBCPP_INLINE_VISIBILITY
2397 auto operator()(_Args&& ...__args) const&&
2398 noexcept(noexcept(!_VSTD::invoke(_VSTD::move(__fd), _VSTD::forward<_Args>(__args)...)))
Marshall Clowdb7095c2016-10-10 14:37:18 +00002399 -> decltype( !_VSTD::invoke(_VSTD::move(__fd), _VSTD::forward<_Args>(__args)...))
2400 { return !_VSTD::invoke(_VSTD::move(__fd), _VSTD::forward<_Args>(__args)...); }
Eric Fiseliere8303a32016-06-27 00:40:41 +00002401
Eric Fiselier934f63b2016-06-02 01:25:41 +00002402private:
2403 template <class _RawFunc,
2404 class = enable_if_t<!is_same<decay_t<_RawFunc>, __not_fn_imp>::value>>
2405 _LIBCPP_INLINE_VISIBILITY
2406 explicit __not_fn_imp(_RawFunc&& __rf)
2407 : __fd(_VSTD::forward<_RawFunc>(__rf)) {}
2408
2409 template <class _RawFunc>
2410 friend inline _LIBCPP_INLINE_VISIBILITY
2411 __not_fn_imp<decay_t<_RawFunc>> not_fn(_RawFunc&&);
2412};
2413
2414template <class _RawFunc>
2415inline _LIBCPP_INLINE_VISIBILITY
2416__not_fn_imp<decay_t<_RawFunc>> not_fn(_RawFunc&& __fn) {
2417 return __not_fn_imp<decay_t<_RawFunc>>(_VSTD::forward<_RawFunc>(__fn));
2418}
2419
Eric Fiselier0d974f12015-07-14 20:16:15 +00002420#endif
2421
Howard Hinnant36b31ae2010-06-03 16:42:57 +00002422// struct hash<T*> in <memory>
Howard Hinnantc51e1022010-05-11 19:42:16 +00002423
Marshall Clowa40686b2018-01-08 19:18:00 +00002424template <class _BinaryPredicate, class _ForwardIterator1, class _ForwardIterator2>
Marshall Clow323fc5b2018-01-16 15:48:27 +00002425pair<_ForwardIterator1, _ForwardIterator1> _LIBCPP_CONSTEXPR_AFTER_CXX11
Marshall Clowa40686b2018-01-08 19:18:00 +00002426__search(_ForwardIterator1 __first1, _ForwardIterator1 __last1,
2427 _ForwardIterator2 __first2, _ForwardIterator2 __last2, _BinaryPredicate __pred,
2428 forward_iterator_tag, forward_iterator_tag)
2429{
2430 if (__first2 == __last2)
2431 return make_pair(__first1, __first1); // Everything matches an empty sequence
2432 while (true)
2433 {
2434 // Find first element in sequence 1 that matchs *__first2, with a mininum of loop checks
2435 while (true)
2436 {
2437 if (__first1 == __last1) // return __last1 if no element matches *__first2
2438 return make_pair(__last1, __last1);
2439 if (__pred(*__first1, *__first2))
2440 break;
2441 ++__first1;
2442 }
2443 // *__first1 matches *__first2, now match elements after here
2444 _ForwardIterator1 __m1 = __first1;
2445 _ForwardIterator2 __m2 = __first2;
2446 while (true)
2447 {
2448 if (++__m2 == __last2) // If pattern exhausted, __first1 is the answer (works for 1 element pattern)
2449 return make_pair(__first1, __m1);
2450 if (++__m1 == __last1) // Otherwise if source exhaused, pattern not found
2451 return make_pair(__last1, __last1);
2452 if (!__pred(*__m1, *__m2)) // if there is a mismatch, restart with a new __first1
2453 {
2454 ++__first1;
2455 break;
2456 } // else there is a match, check next elements
2457 }
2458 }
2459}
2460
2461template <class _BinaryPredicate, class _RandomAccessIterator1, class _RandomAccessIterator2>
2462_LIBCPP_CONSTEXPR_AFTER_CXX11
2463pair<_RandomAccessIterator1, _RandomAccessIterator1>
2464__search(_RandomAccessIterator1 __first1, _RandomAccessIterator1 __last1,
2465 _RandomAccessIterator2 __first2, _RandomAccessIterator2 __last2, _BinaryPredicate __pred,
2466 random_access_iterator_tag, random_access_iterator_tag)
2467{
2468 typedef typename iterator_traits<_RandomAccessIterator1>::difference_type _D1;
2469 typedef typename iterator_traits<_RandomAccessIterator2>::difference_type _D2;
2470 // Take advantage of knowing source and pattern lengths. Stop short when source is smaller than pattern
2471 const _D2 __len2 = __last2 - __first2;
2472 if (__len2 == 0)
2473 return make_pair(__first1, __first1);
2474 const _D1 __len1 = __last1 - __first1;
2475 if (__len1 < __len2)
2476 return make_pair(__last1, __last1);
2477 const _RandomAccessIterator1 __s = __last1 - (__len2 - 1); // Start of pattern match can't go beyond here
2478
2479 while (true)
2480 {
2481 while (true)
2482 {
2483 if (__first1 == __s)
2484 return make_pair(__last1, __last1);
2485 if (__pred(*__first1, *__first2))
2486 break;
2487 ++__first1;
2488 }
2489
2490 _RandomAccessIterator1 __m1 = __first1;
2491 _RandomAccessIterator2 __m2 = __first2;
2492 while (true)
2493 {
2494 if (++__m2 == __last2)
2495 return make_pair(__first1, __first1 + __len2);
2496 ++__m1; // no need to check range on __m1 because __s guarantees we have enough source
2497 if (!__pred(*__m1, *__m2))
2498 {
2499 ++__first1;
2500 break;
2501 }
2502 }
2503 }
2504}
2505
2506#if _LIBCPP_STD_VER > 14
2507
2508// default searcher
2509template<class _ForwardIterator, class _BinaryPredicate = equal_to<>>
Dimitry Andricfd3633d2018-02-13 17:40:59 +00002510class _LIBCPP_TYPE_VIS default_searcher {
Marshall Clowa40686b2018-01-08 19:18:00 +00002511public:
2512 _LIBCPP_INLINE_VISIBILITY
Louis Dionne44bcff92018-08-03 22:36:53 +00002513 default_searcher(_ForwardIterator __f, _ForwardIterator __l,
Marshall Clowa40686b2018-01-08 19:18:00 +00002514 _BinaryPredicate __p = _BinaryPredicate())
2515 : __first_(__f), __last_(__l), __pred_(__p) {}
2516
2517 template <typename _ForwardIterator2>
2518 _LIBCPP_INLINE_VISIBILITY
2519 pair<_ForwardIterator2, _ForwardIterator2>
2520 operator () (_ForwardIterator2 __f, _ForwardIterator2 __l) const
2521 {
2522 return _VSTD::__search(__f, __l, __first_, __last_, __pred_,
2523 typename _VSTD::iterator_traits<_ForwardIterator>::iterator_category(),
2524 typename _VSTD::iterator_traits<_ForwardIterator2>::iterator_category());
2525 }
2526
2527private:
2528 _ForwardIterator __first_;
2529 _ForwardIterator __last_;
2530 _BinaryPredicate __pred_;
2531 };
2532
2533#endif // _LIBCPP_STD_VER > 14
2534
Louis Dionnedb1892a2018-12-03 14:03:27 +00002535#if _LIBCPP_STD_VER > 17
2536template <class _Tp>
2537using unwrap_reference_t = typename unwrap_reference<_Tp>::type;
2538
2539template <class _Tp>
2540using unwrap_ref_decay_t = typename unwrap_ref_decay<_Tp>::type;
2541#endif // > C++17
2542
Howard Hinnantc51e1022010-05-11 19:42:16 +00002543_LIBCPP_END_NAMESPACE_STD
2544
2545#endif // _LIBCPP_FUNCTIONAL