blob: 13286482df5b84949342d76dd42dd64ece1e1790 [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001// -*- C++ -*-
2//===------------------------ functional ----------------------------------===//
3//
Howard Hinnantf5256e12010-05-11 21:36:01 +00004// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00005//
Howard Hinnantb64f8b02010-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 Hinnantbc8d3f92010-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 Hinnant72552802010-08-20 19:36:46 +000035template <class T>
Howard Hinnantbc8d3f92010-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 Hinnant603d2c02011-05-28 17:59:48 +000046 reference_wrapper(T&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000047 reference_wrapper(T&&) = delete; // do not bind to temps
Howard Hinnant603d2c02011-05-28 17:59:48 +000048 reference_wrapper(const reference_wrapper<T>& x) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000049
50 // assignment
Howard Hinnant603d2c02011-05-28 17:59:48 +000051 reference_wrapper& operator=(const reference_wrapper<T>& x) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000052
53 // access
Howard Hinnant603d2c02011-05-28 17:59:48 +000054 operator T& () const noexcept;
55 T& get() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000056
57 // invoke
58 template <class... ArgTypes>
Howard Hinnant23e470c2013-09-21 17:58:58 +000059 typename result_of<T&(ArgTypes&&...)>::type
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000060 operator() (ArgTypes&&...) const;
61};
62
Howard Hinnant603d2c02011-05-28 17:59:48 +000063template <class T> reference_wrapper<T> ref(T& t) noexcept;
Howard Hinnant72552802010-08-20 19:36:46 +000064template <class T> void ref(const T&& t) = delete;
Howard Hinnant603d2c02011-05-28 17:59:48 +000065template <class T> reference_wrapper<T> ref(reference_wrapper<T>t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000066
Howard Hinnant603d2c02011-05-28 17:59:48 +000067template <class T> reference_wrapper<const T> cref(const T& t) noexcept;
Howard Hinnant72552802010-08-20 19:36:46 +000068template <class T> void cref(const T&& t) = delete;
Howard Hinnant603d2c02011-05-28 17:59:48 +000069template <class T> reference_wrapper<const T> cref(reference_wrapper<T> t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000070
Marshall Clowff464092013-07-29 14:21:53 +000071template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000072struct plus : binary_function<T, T, T>
73{
74 T operator()(const T& x, const T& y) const;
75};
76
Marshall Clowff464092013-07-29 14:21:53 +000077template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000078struct minus : binary_function<T, T, T>
79{
80 T operator()(const T& x, const T& y) const;
81};
82
Marshall Clowff464092013-07-29 14:21:53 +000083template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000084struct multiplies : binary_function<T, T, T>
85{
86 T operator()(const T& x, const T& y) const;
87};
88
Marshall Clowff464092013-07-29 14:21:53 +000089template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000090struct divides : binary_function<T, T, T>
91{
92 T operator()(const T& x, const T& y) const;
93};
94
Marshall Clowff464092013-07-29 14:21:53 +000095template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000096struct modulus : binary_function<T, T, T>
97{
98 T operator()(const T& x, const T& y) const;
99};
100
Marshall Clowff464092013-07-29 14:21:53 +0000101template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000102struct negate : unary_function<T, T>
103{
104 T operator()(const T& x) const;
105};
106
Marshall Clowff464092013-07-29 14:21:53 +0000107template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000108struct equal_to : binary_function<T, T, bool>
109{
110 bool operator()(const T& x, const T& y) const;
111};
112
Marshall Clowff464092013-07-29 14:21:53 +0000113template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000114struct not_equal_to : binary_function<T, T, bool>
115{
116 bool operator()(const T& x, const T& y) const;
117};
118
Marshall Clowff464092013-07-29 14:21:53 +0000119template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000120struct greater : binary_function<T, T, bool>
121{
122 bool operator()(const T& x, const T& y) const;
123};
124
Marshall Clowff464092013-07-29 14:21:53 +0000125template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000126struct less : binary_function<T, T, bool>
127{
128 bool operator()(const T& x, const T& y) const;
129};
130
Marshall Clowff464092013-07-29 14:21:53 +0000131template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000132struct greater_equal : binary_function<T, T, bool>
133{
134 bool operator()(const T& x, const T& y) const;
135};
136
Marshall Clowff464092013-07-29 14:21:53 +0000137template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000138struct less_equal : binary_function<T, T, bool>
139{
140 bool operator()(const T& x, const T& y) const;
141};
142
Marshall Clowff464092013-07-29 14:21:53 +0000143template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000144struct logical_and : binary_function<T, T, bool>
145{
146 bool operator()(const T& x, const T& y) const;
147};
148
Marshall Clowff464092013-07-29 14:21:53 +0000149template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000150struct logical_or : binary_function<T, T, bool>
151{
152 bool operator()(const T& x, const T& y) const;
153};
154
Marshall Clowff464092013-07-29 14:21:53 +0000155template <class T> // <class T=void> in C++14
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000156struct logical_not : unary_function<T, bool>
157{
158 bool operator()(const T& x) const;
159};
160
Marshall Clowff464092013-07-29 14:21:53 +0000161template <class T> // <class T=void> in C++14
162struct bit_and : unary_function<T, bool>
163{
164 bool operator()(const T& x, const T& y) const;
165};
166
167template <class T> // <class T=void> in C++14
168struct bit_or : unary_function<T, bool>
169{
170 bool operator()(const T& x, const T& y) const;
171};
172
173template <class T> // <class T=void> in C++14
174struct bit_xor : unary_function<T, bool>
175{
176 bool operator()(const T& x, const T& y) const;
177};
178
179template <class T=void> // C++14
180struct bit_xor : unary_function<T, bool>
181{
182 bool operator()(const T& x) const;
183};
184
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000185template <class Predicate>
186class unary_negate
187 : public unary_function<typename Predicate::argument_type, bool>
188{
189public:
190 explicit unary_negate(const Predicate& pred);
191 bool operator()(const typename Predicate::argument_type& x) const;
192};
193
194template <class Predicate> unary_negate<Predicate> not1(const Predicate& pred);
195
196template <class Predicate>
197class binary_negate
198 : public binary_function<typename Predicate::first_argument_type,
199 typename Predicate::second_argument_type,
200 bool>
201{
202public:
203 explicit binary_negate(const Predicate& pred);
204 bool operator()(const typename Predicate::first_argument_type& x,
205 const typename Predicate::second_argument_type& y) const;
206};
207
208template <class Predicate> binary_negate<Predicate> not2(const Predicate& pred);
209
210template<class T> struct is_bind_expression;
211template<class T> struct is_placeholder;
212
Howard Hinnant324bb032010-08-22 00:02:43 +0000213template<class Fn, class... BoundArgs>
Howard Hinnant72552802010-08-20 19:36:46 +0000214 unspecified bind(Fn&&, BoundArgs&&...);
Howard Hinnant324bb032010-08-22 00:02:43 +0000215template<class R, class Fn, class... BoundArgs>
Howard Hinnant72552802010-08-20 19:36:46 +0000216 unspecified bind(Fn&&, BoundArgs&&...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000217
Howard Hinnant324bb032010-08-22 00:02:43 +0000218namespace placeholders {
219 // M is the implementation-defined number of placeholders
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000220 extern unspecified _1;
221 extern unspecified _2;
Howard Hinnant324bb032010-08-22 00:02:43 +0000222 .
223 .
224 .
Howard Hinnant99968442011-11-29 18:15:50 +0000225 extern unspecified _Mp;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000226}
227
228template <class Operation>
229class binder1st
230 : public unary_function<typename Operation::second_argument_type,
231 typename Operation::result_type>
232{
233protected:
234 Operation op;
235 typename Operation::first_argument_type value;
236public:
237 binder1st(const Operation& x, const typename Operation::first_argument_type y);
238 typename Operation::result_type operator()( typename Operation::second_argument_type& x) const;
239 typename Operation::result_type operator()(const typename Operation::second_argument_type& x) const;
240};
241
242template <class Operation, class T>
243binder1st<Operation> bind1st(const Operation& op, const T& x);
244
245template <class Operation>
246class binder2nd
247 : public unary_function<typename Operation::first_argument_type,
248 typename Operation::result_type>
249{
250protected:
251 Operation op;
252 typename Operation::second_argument_type value;
253public:
254 binder2nd(const Operation& x, const typename Operation::second_argument_type y);
255 typename Operation::result_type operator()( typename Operation::first_argument_type& x) const;
256 typename Operation::result_type operator()(const typename Operation::first_argument_type& x) const;
257};
258
259template <class Operation, class T>
260binder2nd<Operation> bind2nd(const Operation& op, const T& x);
261
262template <class Arg, class Result>
263class pointer_to_unary_function : public unary_function<Arg, Result>
264{
265public:
266 explicit pointer_to_unary_function(Result (*f)(Arg));
267 Result operator()(Arg x) const;
268};
269
270template <class Arg, class Result>
271pointer_to_unary_function<Arg,Result> ptr_fun(Result (*f)(Arg));
272
273template <class Arg1, class Arg2, class Result>
274class pointer_to_binary_function : public binary_function<Arg1, Arg2, Result>
275{
276public:
277 explicit pointer_to_binary_function(Result (*f)(Arg1, Arg2));
278 Result operator()(Arg1 x, Arg2 y) const;
279};
280
281template <class Arg1, class Arg2, class Result>
282pointer_to_binary_function<Arg1,Arg2,Result> ptr_fun(Result (*f)(Arg1,Arg2));
283
284template<class S, class T>
285class mem_fun_t : public unary_function<T*, S>
286{
287public:
288 explicit mem_fun_t(S (T::*p)());
289 S operator()(T* p) const;
290};
291
292template<class S, class T, class A>
293class mem_fun1_t : public binary_function<T*, A, S>
294{
295public:
296 explicit mem_fun1_t(S (T::*p)(A));
297 S operator()(T* p, A x) const;
298};
299
300template<class S, class T> mem_fun_t<S,T> mem_fun(S (T::*f)());
301template<class S, class T, class A> mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A));
302
303template<class S, class T>
304class mem_fun_ref_t : public unary_function<T, S>
305{
306public:
307 explicit mem_fun_ref_t(S (T::*p)());
308 S operator()(T& p) const;
309};
310
311template<class S, class T, class A>
312class mem_fun1_ref_t : public binary_function<T, A, S>
313{
314public:
315 explicit mem_fun1_ref_t(S (T::*p)(A));
316 S operator()(T& p, A x) const;
317};
318
319template<class S, class T> mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)());
320template<class S, class T, class A> mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A));
321
322template <class S, class T>
323class const_mem_fun_t : public unary_function<const T*, S>
324{
325public:
326 explicit const_mem_fun_t(S (T::*p)() const);
327 S operator()(const T* p) const;
328};
329
330template <class S, class T, class A>
331class const_mem_fun1_t : public binary_function<const T*, A, S>
332{
333public:
334 explicit const_mem_fun1_t(S (T::*p)(A) const);
335 S operator()(const T* p, A x) const;
336};
337
338template <class S, class T> const_mem_fun_t<S,T> mem_fun(S (T::*f)() const);
339template <class S, class T, class A> const_mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A) const);
340
341template <class S, class T>
342class const_mem_fun_ref_t : public unary_function<T, S>
343{
344public:
345 explicit const_mem_fun_ref_t(S (T::*p)() const);
346 S operator()(const T& p) const;
347};
348
349template <class S, class T, class A>
350class const_mem_fun1_ref_t : public binary_function<T, A, S>
351{
352public:
353 explicit const_mem_fun1_ref_t(S (T::*p)(A) const);
354 S operator()(const T& p, A x) const;
355};
356
357template <class S, class T> const_mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)() const);
358template <class S, class T, class A> const_mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A) const);
359
Howard Hinnant72552802010-08-20 19:36:46 +0000360template<class R, class T> unspecified mem_fn(R T::*);
Howard Hinnant72552802010-08-20 19:36:46 +0000361
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000362class bad_function_call
363 : public exception
364{
365};
366
Howard Hinnant72552802010-08-20 19:36:46 +0000367template<class> class function; // undefined
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000368
Howard Hinnant72552802010-08-20 19:36:46 +0000369template<class R, class... ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000370class function<R(ArgTypes...)>
371 : public unary_function<T1, R> // iff sizeof...(ArgTypes) == 1 and
372 // ArgTypes contains T1
373 : public binary_function<T1, T2, R> // iff sizeof...(ArgTypes) == 2 and
374 // ArgTypes contains T1 and T2
375{
376public:
377 typedef R result_type;
378
Howard Hinnant72552802010-08-20 19:36:46 +0000379 // construct/copy/destroy:
Howard Hinnant603d2c02011-05-28 17:59:48 +0000380 function() noexcept;
381 function(nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000382 function(const function&);
Howard Hinnant603d2c02011-05-28 17:59:48 +0000383 function(function&&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000384 template<class F>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000385 function(F);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000386 template<Allocator Alloc>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000387 function(allocator_arg_t, const Alloc&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000388 template<Allocator Alloc>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000389 function(allocator_arg_t, const Alloc&, nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000390 template<Allocator Alloc>
391 function(allocator_arg_t, const Alloc&, const function&);
392 template<Allocator Alloc>
393 function(allocator_arg_t, const Alloc&, function&&);
394 template<class F, Allocator Alloc>
395 function(allocator_arg_t, const Alloc&, F);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000396
397 function& operator=(const function&);
Howard Hinnant603d2c02011-05-28 17:59:48 +0000398 function& operator=(function&&) noexcept;
Howard Hinnantad1a5cc2011-05-29 13:53:56 +0000399 function& operator=(nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000400 template<class F>
Howard Hinnant72552802010-08-20 19:36:46 +0000401 function& operator=(F&&);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000402 template<class F>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000403 function& operator=(reference_wrapper<F>) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000404
405 ~function();
406
Howard Hinnant72552802010-08-20 19:36:46 +0000407 // function modifiers:
Howard Hinnant603d2c02011-05-28 17:59:48 +0000408 void swap(function&) noexcept;
Howard Hinnant72552802010-08-20 19:36:46 +0000409 template<class F, class Alloc>
410 void assign(F&&, const Alloc&);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000411
Howard Hinnant72552802010-08-20 19:36:46 +0000412 // function capacity:
Howard Hinnant603d2c02011-05-28 17:59:48 +0000413 explicit operator bool() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000414
Howard Hinnant72552802010-08-20 19:36:46 +0000415 // function invocation:
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000416 R operator()(ArgTypes...) const;
417
Howard Hinnant72552802010-08-20 19:36:46 +0000418 // function target access:
Howard Hinnant603d2c02011-05-28 17:59:48 +0000419 const std::type_info& target_type() const noexcept;
420 template <typename T> T* target() noexcept;
421 template <typename T> const T* target() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000422};
423
Howard Hinnant324bb032010-08-22 00:02:43 +0000424// Null pointer comparisons:
425template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000426 bool operator==(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000427
Howard Hinnant324bb032010-08-22 00:02:43 +0000428template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000429 bool operator==(nullptr_t, const function<R(ArgTypes...)>&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000430
Howard Hinnant324bb032010-08-22 00:02:43 +0000431template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000432 bool operator!=(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000433
Howard Hinnant324bb032010-08-22 00:02:43 +0000434template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000435 bool operator!=(nullptr_t, const function<R(ArgTypes...)>&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000436
Howard Hinnant324bb032010-08-22 00:02:43 +0000437// specialized algorithms:
438template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48 +0000439 void swap(function<R(ArgTypes...)>&, function<R(ArgTypes...)>&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000440
441template <class T> struct hash;
442
443template <> struct hash<bool>;
444template <> struct hash<char>;
445template <> struct hash<signed char>;
446template <> struct hash<unsigned char>;
447template <> struct hash<char16_t>;
448template <> struct hash<char32_t>;
449template <> struct hash<wchar_t>;
450template <> struct hash<short>;
451template <> struct hash<unsigned short>;
452template <> struct hash<int>;
453template <> struct hash<unsigned int>;
454template <> struct hash<long>;
455template <> struct hash<long long>;
456template <> struct hash<unsigned long>;
457template <> struct hash<unsigned long long>;
458
459template <> struct hash<float>;
460template <> struct hash<double>;
461template <> struct hash<long double>;
462
463template<class T> struct hash<T*>;
464
465} // std
466
467POLICY: For non-variadic implementations, the number of arguments is limited
468 to 3. It is hoped that the need for non-variadic implementations
469 will be minimal.
470
471*/
472
473#include <__config>
474#include <type_traits>
475#include <typeinfo>
476#include <exception>
477#include <memory>
478#include <tuple>
479
480#include <__functional_base>
481
Howard Hinnant08e17472011-10-17 20:05:10 +0000482#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000483#pragma GCC system_header
Howard Hinnant08e17472011-10-17 20:05:10 +0000484#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000485
486_LIBCPP_BEGIN_NAMESPACE_STD
487
Marshall Clowff464092013-07-29 14:21:53 +0000488#if _LIBCPP_STD_VER > 11
489template <class _Tp = void>
490#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000491template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000492#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000493struct _LIBCPP_TYPE_VIS_ONLY plus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000494{
Marshall Clow9738caf2013-09-28 19:06:12 +0000495 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
496 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000497 {return __x + __y;}
498};
499
Marshall Clowff464092013-07-29 14:21:53 +0000500#if _LIBCPP_STD_VER > 11
501template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000502struct _LIBCPP_TYPE_VIS_ONLY plus<void>
Marshall Clowff464092013-07-29 14:21:53 +0000503{
504 template <class _T1, class _T2>
Marshall Clow9738caf2013-09-28 19:06:12 +0000505 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
506 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000507 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) + _VSTD::forward<_T2>(__u)))
508 -> decltype (_VSTD::forward<_T1>(__t) + _VSTD::forward<_T2>(__u))
509 { return _VSTD::forward<_T1>(__t) + _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000510 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000511};
512#endif
513
514
515#if _LIBCPP_STD_VER > 11
516template <class _Tp = void>
517#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000518template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000519#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000520struct _LIBCPP_TYPE_VIS_ONLY minus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000521{
Marshall Clow9738caf2013-09-28 19:06:12 +0000522 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
523 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000524 {return __x - __y;}
525};
526
Marshall Clowff464092013-07-29 14:21:53 +0000527#if _LIBCPP_STD_VER > 11
528template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000529struct _LIBCPP_TYPE_VIS_ONLY minus<void>
Marshall Clowff464092013-07-29 14:21:53 +0000530{
531 template <class _T1, class _T2>
Marshall Clow9738caf2013-09-28 19:06:12 +0000532 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
533 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000534 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) - _VSTD::forward<_T2>(__u)))
535 -> decltype (_VSTD::forward<_T1>(__t) - _VSTD::forward<_T2>(__u))
536 { return _VSTD::forward<_T1>(__t) - _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000537 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000538};
539#endif
540
541
542#if _LIBCPP_STD_VER > 11
543template <class _Tp = void>
544#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000545template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000546#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000547struct _LIBCPP_TYPE_VIS_ONLY multiplies : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000548{
Marshall Clow9738caf2013-09-28 19:06:12 +0000549 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
550 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000551 {return __x * __y;}
552};
553
Marshall Clowff464092013-07-29 14:21:53 +0000554#if _LIBCPP_STD_VER > 11
555template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000556struct _LIBCPP_TYPE_VIS_ONLY multiplies<void>
Marshall Clowff464092013-07-29 14:21:53 +0000557{
558 template <class _T1, class _T2>
Marshall Clow9738caf2013-09-28 19:06:12 +0000559 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
560 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000561 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) * _VSTD::forward<_T2>(__u)))
562 -> decltype (_VSTD::forward<_T1>(__t) * _VSTD::forward<_T2>(__u))
563 { return _VSTD::forward<_T1>(__t) * _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000564 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000565};
566#endif
567
568
569#if _LIBCPP_STD_VER > 11
570template <class _Tp = void>
571#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000572template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000573#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000574struct _LIBCPP_TYPE_VIS_ONLY divides : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000575{
Marshall Clow9738caf2013-09-28 19:06:12 +0000576 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
577 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000578 {return __x / __y;}
579};
580
Marshall Clowff464092013-07-29 14:21:53 +0000581#if _LIBCPP_STD_VER > 11
582template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000583struct _LIBCPP_TYPE_VIS_ONLY divides<void>
Marshall Clowff464092013-07-29 14:21:53 +0000584{
585 template <class _T1, class _T2>
Marshall Clow9738caf2013-09-28 19:06:12 +0000586 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
587 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000588 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) / _VSTD::forward<_T2>(__u)))
589 -> decltype (_VSTD::forward<_T1>(__t) / _VSTD::forward<_T2>(__u))
590 { return _VSTD::forward<_T1>(__t) / _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000591 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000592};
593#endif
594
595
596#if _LIBCPP_STD_VER > 11
597template <class _Tp = void>
598#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000599template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000600#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000601struct _LIBCPP_TYPE_VIS_ONLY modulus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000602{
Marshall Clow9738caf2013-09-28 19:06:12 +0000603 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
604 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000605 {return __x % __y;}
606};
607
Marshall Clowff464092013-07-29 14:21:53 +0000608#if _LIBCPP_STD_VER > 11
609template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000610struct _LIBCPP_TYPE_VIS_ONLY modulus<void>
Marshall Clowff464092013-07-29 14:21:53 +0000611{
612 template <class _T1, class _T2>
Marshall Clow9738caf2013-09-28 19:06:12 +0000613 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
614 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000615 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) % _VSTD::forward<_T2>(__u)))
616 -> decltype (_VSTD::forward<_T1>(__t) % _VSTD::forward<_T2>(__u))
617 { return _VSTD::forward<_T1>(__t) % _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000618 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000619};
620#endif
621
622
623#if _LIBCPP_STD_VER > 11
624template <class _Tp = void>
625#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000626template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000627#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000628struct _LIBCPP_TYPE_VIS_ONLY negate : unary_function<_Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000629{
Marshall Clow9738caf2013-09-28 19:06:12 +0000630 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
631 _Tp operator()(const _Tp& __x) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000632 {return -__x;}
633};
634
Marshall Clowff464092013-07-29 14:21:53 +0000635#if _LIBCPP_STD_VER > 11
636template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000637struct _LIBCPP_TYPE_VIS_ONLY negate<void>
Marshall Clowff464092013-07-29 14:21:53 +0000638{
639 template <class _Tp>
Marshall Clow9738caf2013-09-28 19:06:12 +0000640 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
641 auto operator()(_Tp&& __x) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000642 _NOEXCEPT_(noexcept(- _VSTD::forward<_Tp>(__x)))
643 -> decltype (- _VSTD::forward<_Tp>(__x))
644 { return - _VSTD::forward<_Tp>(__x); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000645 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000646};
647#endif
648
649
650#if _LIBCPP_STD_VER > 11
651template <class _Tp = void>
652#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000653template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000654#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000655struct _LIBCPP_TYPE_VIS_ONLY equal_to : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000656{
Marshall Clow9738caf2013-09-28 19:06:12 +0000657 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
658 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000659 {return __x == __y;}
660};
661
Marshall Clowff464092013-07-29 14:21:53 +0000662#if _LIBCPP_STD_VER > 11
663template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000664struct _LIBCPP_TYPE_VIS_ONLY equal_to<void>
Marshall Clowff464092013-07-29 14:21:53 +0000665{
Marshall Clow9738caf2013-09-28 19:06:12 +0000666 template <class _T1, class _T2>
667 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000668 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000669 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) == _VSTD::forward<_T2>(__u)))
670 -> decltype (_VSTD::forward<_T1>(__t) == _VSTD::forward<_T2>(__u))
671 { return _VSTD::forward<_T1>(__t) == _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000672 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000673};
674#endif
675
676
677#if _LIBCPP_STD_VER > 11
678template <class _Tp = void>
679#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000680template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000681#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000682struct _LIBCPP_TYPE_VIS_ONLY not_equal_to : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000683{
Marshall Clow9738caf2013-09-28 19:06:12 +0000684 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
685 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000686 {return __x != __y;}
687};
688
Marshall Clowff464092013-07-29 14:21:53 +0000689#if _LIBCPP_STD_VER > 11
690template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000691struct _LIBCPP_TYPE_VIS_ONLY not_equal_to<void>
Marshall Clowff464092013-07-29 14:21:53 +0000692{
Marshall Clow9738caf2013-09-28 19:06:12 +0000693 template <class _T1, class _T2>
694 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000695 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000696 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) != _VSTD::forward<_T2>(__u)))
697 -> decltype (_VSTD::forward<_T1>(__t) != _VSTD::forward<_T2>(__u))
698 { return _VSTD::forward<_T1>(__t) != _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000699 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000700};
701#endif
702
703
704#if _LIBCPP_STD_VER > 11
705template <class _Tp = void>
706#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000707template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000708#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000709struct _LIBCPP_TYPE_VIS_ONLY greater : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000710{
Marshall Clow9738caf2013-09-28 19:06:12 +0000711 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
712 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000713 {return __x > __y;}
714};
715
Marshall Clowff464092013-07-29 14:21:53 +0000716#if _LIBCPP_STD_VER > 11
717template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000718struct _LIBCPP_TYPE_VIS_ONLY greater<void>
Marshall Clowff464092013-07-29 14:21:53 +0000719{
Marshall Clow9738caf2013-09-28 19:06:12 +0000720 template <class _T1, class _T2>
721 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000722 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000723 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) > _VSTD::forward<_T2>(__u)))
724 -> decltype (_VSTD::forward<_T1>(__t) > _VSTD::forward<_T2>(__u))
725 { return _VSTD::forward<_T1>(__t) > _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000726 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000727};
728#endif
729
730
Howard Hinnant3fadda32012-02-21 21:02:58 +0000731// less in <__functional_base>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000732
Marshall Clowff464092013-07-29 14:21:53 +0000733#if _LIBCPP_STD_VER > 11
734template <class _Tp = void>
735#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000736template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000737#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000738struct _LIBCPP_TYPE_VIS_ONLY greater_equal : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000739{
Marshall Clow9738caf2013-09-28 19:06:12 +0000740 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
741 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000742 {return __x >= __y;}
743};
744
Marshall Clowff464092013-07-29 14:21:53 +0000745#if _LIBCPP_STD_VER > 11
746template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000747struct _LIBCPP_TYPE_VIS_ONLY greater_equal<void>
Marshall Clowff464092013-07-29 14:21:53 +0000748{
Marshall Clow9738caf2013-09-28 19:06:12 +0000749 template <class _T1, class _T2>
750 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000751 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000752 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) >= _VSTD::forward<_T2>(__u)))
753 -> decltype (_VSTD::forward<_T1>(__t) >= _VSTD::forward<_T2>(__u))
754 { return _VSTD::forward<_T1>(__t) >= _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000755 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000756};
757#endif
758
759
760#if _LIBCPP_STD_VER > 11
761template <class _Tp = void>
762#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000763template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000764#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000765struct _LIBCPP_TYPE_VIS_ONLY less_equal : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000766{
Marshall Clow9738caf2013-09-28 19:06:12 +0000767 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
768 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000769 {return __x <= __y;}
770};
771
Marshall Clowff464092013-07-29 14:21:53 +0000772#if _LIBCPP_STD_VER > 11
773template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000774struct _LIBCPP_TYPE_VIS_ONLY less_equal<void>
Marshall Clowff464092013-07-29 14:21:53 +0000775{
Marshall Clow9738caf2013-09-28 19:06:12 +0000776 template <class _T1, class _T2>
777 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000778 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000779 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) <= _VSTD::forward<_T2>(__u)))
780 -> decltype (_VSTD::forward<_T1>(__t) <= _VSTD::forward<_T2>(__u))
781 { return _VSTD::forward<_T1>(__t) <= _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000782 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000783};
784#endif
785
786
787#if _LIBCPP_STD_VER > 11
788template <class _Tp = void>
789#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000790template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000791#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000792struct _LIBCPP_TYPE_VIS_ONLY logical_and : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000793{
Marshall Clow9738caf2013-09-28 19:06:12 +0000794 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
795 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000796 {return __x && __y;}
797};
798
Marshall Clowff464092013-07-29 14:21:53 +0000799#if _LIBCPP_STD_VER > 11
800template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000801struct _LIBCPP_TYPE_VIS_ONLY logical_and<void>
Marshall Clowff464092013-07-29 14:21:53 +0000802{
Marshall Clow9738caf2013-09-28 19:06:12 +0000803 template <class _T1, class _T2>
804 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000805 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000806 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) && _VSTD::forward<_T2>(__u)))
807 -> decltype (_VSTD::forward<_T1>(__t) && _VSTD::forward<_T2>(__u))
808 { return _VSTD::forward<_T1>(__t) && _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000809 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000810};
811#endif
812
813
814#if _LIBCPP_STD_VER > 11
815template <class _Tp = void>
816#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000817template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000818#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000819struct _LIBCPP_TYPE_VIS_ONLY logical_or : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000820{
Marshall Clow9738caf2013-09-28 19:06:12 +0000821 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
822 bool operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000823 {return __x || __y;}
824};
825
Marshall Clowff464092013-07-29 14:21:53 +0000826#if _LIBCPP_STD_VER > 11
827template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000828struct _LIBCPP_TYPE_VIS_ONLY logical_or<void>
Marshall Clowff464092013-07-29 14:21:53 +0000829{
Marshall Clow9738caf2013-09-28 19:06:12 +0000830 template <class _T1, class _T2>
831 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000832 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000833 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) || _VSTD::forward<_T2>(__u)))
834 -> decltype (_VSTD::forward<_T1>(__t) || _VSTD::forward<_T2>(__u))
835 { return _VSTD::forward<_T1>(__t) || _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000836 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000837};
838#endif
839
840
841#if _LIBCPP_STD_VER > 11
842template <class _Tp = void>
843#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000844template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000845#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000846struct _LIBCPP_TYPE_VIS_ONLY logical_not : unary_function<_Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000847{
Marshall Clow9738caf2013-09-28 19:06:12 +0000848 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
849 bool operator()(const _Tp& __x) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000850 {return !__x;}
851};
852
Marshall Clowff464092013-07-29 14:21:53 +0000853#if _LIBCPP_STD_VER > 11
854template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000855struct _LIBCPP_TYPE_VIS_ONLY logical_not<void>
Marshall Clowff464092013-07-29 14:21:53 +0000856{
857 template <class _Tp>
Marshall Clow9738caf2013-09-28 19:06:12 +0000858 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
859 auto operator()(_Tp&& __x) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000860 _NOEXCEPT_(noexcept(!_VSTD::forward<_Tp>(__x)))
861 -> decltype (!_VSTD::forward<_Tp>(__x))
862 { return !_VSTD::forward<_Tp>(__x); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000863 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000864};
865#endif
866
867
868#if _LIBCPP_STD_VER > 11
869template <class _Tp = void>
870#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000871template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000872#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000873struct _LIBCPP_TYPE_VIS_ONLY bit_and : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000874{
Marshall Clow9738caf2013-09-28 19:06:12 +0000875 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
876 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000877 {return __x & __y;}
878};
879
Marshall Clowff464092013-07-29 14:21:53 +0000880#if _LIBCPP_STD_VER > 11
881template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000882struct _LIBCPP_TYPE_VIS_ONLY bit_and<void>
Marshall Clowff464092013-07-29 14:21:53 +0000883{
Marshall Clow9738caf2013-09-28 19:06:12 +0000884 template <class _T1, class _T2>
885 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000886 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000887 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) & _VSTD::forward<_T2>(__u)))
888 -> decltype (_VSTD::forward<_T1>(__t) & _VSTD::forward<_T2>(__u))
889 { return _VSTD::forward<_T1>(__t) & _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000890 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000891};
892#endif
893
894
895#if _LIBCPP_STD_VER > 11
896template <class _Tp = void>
897#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000898template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000899#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000900struct _LIBCPP_TYPE_VIS_ONLY bit_or : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000901{
Marshall Clow9738caf2013-09-28 19:06:12 +0000902 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
903 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000904 {return __x | __y;}
905};
906
Marshall Clowff464092013-07-29 14:21:53 +0000907#if _LIBCPP_STD_VER > 11
908template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000909struct _LIBCPP_TYPE_VIS_ONLY bit_or<void>
Marshall Clowff464092013-07-29 14:21:53 +0000910{
Marshall Clow9738caf2013-09-28 19:06:12 +0000911 template <class _T1, class _T2>
912 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000913 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000914 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) | _VSTD::forward<_T2>(__u)))
915 -> decltype (_VSTD::forward<_T1>(__t) | _VSTD::forward<_T2>(__u))
916 { return _VSTD::forward<_T1>(__t) | _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000917 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000918};
919#endif
920
921
922#if _LIBCPP_STD_VER > 11
923template <class _Tp = void>
924#else
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000925template <class _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000926#endif
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000927struct _LIBCPP_TYPE_VIS_ONLY bit_xor : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000928{
Marshall Clow9738caf2013-09-28 19:06:12 +0000929 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
930 _Tp operator()(const _Tp& __x, const _Tp& __y) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000931 {return __x ^ __y;}
932};
933
Marshall Clowff464092013-07-29 14:21:53 +0000934#if _LIBCPP_STD_VER > 11
935template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000936struct _LIBCPP_TYPE_VIS_ONLY bit_xor<void>
Marshall Clowff464092013-07-29 14:21:53 +0000937{
Marshall Clow9738caf2013-09-28 19:06:12 +0000938 template <class _T1, class _T2>
939 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Marshall Clowff464092013-07-29 14:21:53 +0000940 auto operator()(_T1&& __t, _T2&& __u) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000941 _NOEXCEPT_(noexcept(_VSTD::forward<_T1>(__t) ^ _VSTD::forward<_T2>(__u)))
942 -> decltype (_VSTD::forward<_T1>(__t) ^ _VSTD::forward<_T2>(__u))
943 { return _VSTD::forward<_T1>(__t) ^ _VSTD::forward<_T2>(__u); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000944 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000945};
946#endif
947
948
949#if _LIBCPP_STD_VER > 11
950template <class _Tp = void>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000951struct _LIBCPP_TYPE_VIS_ONLY bit_not : unary_function<_Tp, _Tp>
Marshall Clowff464092013-07-29 14:21:53 +0000952{
Marshall Clow9738caf2013-09-28 19:06:12 +0000953 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
954 _Tp operator()(const _Tp& __x) const
Marshall Clowff464092013-07-29 14:21:53 +0000955 {return ~__x;}
956};
957
958template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000959struct _LIBCPP_TYPE_VIS_ONLY bit_not<void>
Marshall Clowff464092013-07-29 14:21:53 +0000960{
961 template <class _Tp>
Marshall Clow9738caf2013-09-28 19:06:12 +0000962 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
963 auto operator()(_Tp&& __x) const
Marshall Clow59ac38c2015-02-25 12:20:52 +0000964 _NOEXCEPT_(noexcept(~_VSTD::forward<_Tp>(__x)))
965 -> decltype (~_VSTD::forward<_Tp>(__x))
966 { return ~_VSTD::forward<_Tp>(__x); }
Marshall Clow4a0a9812013-08-13 01:11:06 +0000967 typedef void is_transparent;
Marshall Clowff464092013-07-29 14:21:53 +0000968};
969#endif
970
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000971template <class _Predicate>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000972class _LIBCPP_TYPE_VIS_ONLY unary_negate
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000973 : public unary_function<typename _Predicate::argument_type, bool>
974{
975 _Predicate __pred_;
976public:
Marshall Clow9738caf2013-09-28 19:06:12 +0000977 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
978 explicit unary_negate(const _Predicate& __pred)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000979 : __pred_(__pred) {}
Marshall Clow9738caf2013-09-28 19:06:12 +0000980 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
981 bool operator()(const typename _Predicate::argument_type& __x) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000982 {return !__pred_(__x);}
983};
984
985template <class _Predicate>
Marshall Clow9738caf2013-09-28 19:06:12 +0000986inline _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000987unary_negate<_Predicate>
988not1(const _Predicate& __pred) {return unary_negate<_Predicate>(__pred);}
989
990template <class _Predicate>
Howard Hinnant0f678bd2013-08-12 18:38:34 +0000991class _LIBCPP_TYPE_VIS_ONLY binary_negate
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000992 : public binary_function<typename _Predicate::first_argument_type,
993 typename _Predicate::second_argument_type,
994 bool>
995{
996 _Predicate __pred_;
997public:
Marshall Clow9738caf2013-09-28 19:06:12 +0000998 _LIBCPP_INLINE_VISIBILITY explicit _LIBCPP_CONSTEXPR_AFTER_CXX11
999 binary_negate(const _Predicate& __pred) : __pred_(__pred) {}
1000
1001 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
1002 bool operator()(const typename _Predicate::first_argument_type& __x,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001003 const typename _Predicate::second_argument_type& __y) const
1004 {return !__pred_(__x, __y);}
1005};
1006
1007template <class _Predicate>
Marshall Clow9738caf2013-09-28 19:06:12 +00001008inline _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001009binary_negate<_Predicate>
1010not2(const _Predicate& __pred) {return binary_negate<_Predicate>(__pred);}
1011
1012template <class __Operation>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001013class _LIBCPP_TYPE_VIS_ONLY binder1st
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001014 : public unary_function<typename __Operation::second_argument_type,
1015 typename __Operation::result_type>
1016{
1017protected:
1018 __Operation op;
1019 typename __Operation::first_argument_type value;
1020public:
1021 _LIBCPP_INLINE_VISIBILITY binder1st(const __Operation& __x,
1022 const typename __Operation::first_argument_type __y)
1023 : op(__x), value(__y) {}
1024 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1025 (typename __Operation::second_argument_type& __x) const
1026 {return op(value, __x);}
1027 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1028 (const typename __Operation::second_argument_type& __x) const
1029 {return op(value, __x);}
1030};
1031
1032template <class __Operation, class _Tp>
1033inline _LIBCPP_INLINE_VISIBILITY
1034binder1st<__Operation>
1035bind1st(const __Operation& __op, const _Tp& __x)
1036 {return binder1st<__Operation>(__op, __x);}
1037
1038template <class __Operation>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001039class _LIBCPP_TYPE_VIS_ONLY binder2nd
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001040 : public unary_function<typename __Operation::first_argument_type,
1041 typename __Operation::result_type>
1042{
1043protected:
1044 __Operation op;
1045 typename __Operation::second_argument_type value;
1046public:
Howard Hinnant42a63a72010-09-21 22:55:27 +00001047 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001048 binder2nd(const __Operation& __x, const typename __Operation::second_argument_type __y)
1049 : op(__x), value(__y) {}
1050 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1051 ( typename __Operation::first_argument_type& __x) const
1052 {return op(__x, value);}
1053 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
1054 (const typename __Operation::first_argument_type& __x) const
1055 {return op(__x, value);}
1056};
1057
1058template <class __Operation, class _Tp>
1059inline _LIBCPP_INLINE_VISIBILITY
1060binder2nd<__Operation>
1061bind2nd(const __Operation& __op, const _Tp& __x)
1062 {return binder2nd<__Operation>(__op, __x);}
1063
1064template <class _Arg, class _Result>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001065class _LIBCPP_TYPE_VIS_ONLY pointer_to_unary_function
Howard Hinnant42a63a72010-09-21 22:55:27 +00001066 : public unary_function<_Arg, _Result>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001067{
1068 _Result (*__f_)(_Arg);
1069public:
1070 _LIBCPP_INLINE_VISIBILITY explicit pointer_to_unary_function(_Result (*__f)(_Arg))
1071 : __f_(__f) {}
1072 _LIBCPP_INLINE_VISIBILITY _Result operator()(_Arg __x) const
1073 {return __f_(__x);}
1074};
1075
1076template <class _Arg, class _Result>
1077inline _LIBCPP_INLINE_VISIBILITY
1078pointer_to_unary_function<_Arg,_Result>
1079ptr_fun(_Result (*__f)(_Arg))
1080 {return pointer_to_unary_function<_Arg,_Result>(__f);}
1081
1082template <class _Arg1, class _Arg2, class _Result>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001083class _LIBCPP_TYPE_VIS_ONLY pointer_to_binary_function
Howard Hinnant42a63a72010-09-21 22:55:27 +00001084 : public binary_function<_Arg1, _Arg2, _Result>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001085{
1086 _Result (*__f_)(_Arg1, _Arg2);
1087public:
1088 _LIBCPP_INLINE_VISIBILITY explicit pointer_to_binary_function(_Result (*__f)(_Arg1, _Arg2))
1089 : __f_(__f) {}
1090 _LIBCPP_INLINE_VISIBILITY _Result operator()(_Arg1 __x, _Arg2 __y) const
1091 {return __f_(__x, __y);}
1092};
1093
1094template <class _Arg1, class _Arg2, class _Result>
1095inline _LIBCPP_INLINE_VISIBILITY
1096pointer_to_binary_function<_Arg1,_Arg2,_Result>
1097ptr_fun(_Result (*__f)(_Arg1,_Arg2))
1098 {return pointer_to_binary_function<_Arg1,_Arg2,_Result>(__f);}
1099
1100template<class _Sp, class _Tp>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001101class _LIBCPP_TYPE_VIS_ONLY mem_fun_t : public unary_function<_Tp*, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001102{
1103 _Sp (_Tp::*__p_)();
1104public:
1105 _LIBCPP_INLINE_VISIBILITY explicit mem_fun_t(_Sp (_Tp::*__p)())
1106 : __p_(__p) {}
1107 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp* __p) const
1108 {return (__p->*__p_)();}
1109};
1110
1111template<class _Sp, class _Tp, class _Ap>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001112class _LIBCPP_TYPE_VIS_ONLY mem_fun1_t : public binary_function<_Tp*, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001113{
1114 _Sp (_Tp::*__p_)(_Ap);
1115public:
1116 _LIBCPP_INLINE_VISIBILITY explicit mem_fun1_t(_Sp (_Tp::*__p)(_Ap))
1117 : __p_(__p) {}
1118 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp* __p, _Ap __x) const
1119 {return (__p->*__p_)(__x);}
1120};
1121
1122template<class _Sp, class _Tp>
1123inline _LIBCPP_INLINE_VISIBILITY
1124mem_fun_t<_Sp,_Tp>
1125mem_fun(_Sp (_Tp::*__f)())
1126 {return mem_fun_t<_Sp,_Tp>(__f);}
1127
1128template<class _Sp, class _Tp, class _Ap>
1129inline _LIBCPP_INLINE_VISIBILITY
1130mem_fun1_t<_Sp,_Tp,_Ap>
1131mem_fun(_Sp (_Tp::*__f)(_Ap))
1132 {return mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
1133
1134template<class _Sp, class _Tp>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001135class _LIBCPP_TYPE_VIS_ONLY mem_fun_ref_t : public unary_function<_Tp, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001136{
1137 _Sp (_Tp::*__p_)();
1138public:
1139 _LIBCPP_INLINE_VISIBILITY explicit mem_fun_ref_t(_Sp (_Tp::*__p)())
1140 : __p_(__p) {}
1141 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp& __p) const
1142 {return (__p.*__p_)();}
1143};
1144
1145template<class _Sp, class _Tp, class _Ap>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001146class _LIBCPP_TYPE_VIS_ONLY mem_fun1_ref_t : public binary_function<_Tp, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001147{
1148 _Sp (_Tp::*__p_)(_Ap);
1149public:
1150 _LIBCPP_INLINE_VISIBILITY explicit mem_fun1_ref_t(_Sp (_Tp::*__p)(_Ap))
1151 : __p_(__p) {}
1152 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp& __p, _Ap __x) const
1153 {return (__p.*__p_)(__x);}
1154};
1155
1156template<class _Sp, class _Tp>
1157inline _LIBCPP_INLINE_VISIBILITY
1158mem_fun_ref_t<_Sp,_Tp>
1159mem_fun_ref(_Sp (_Tp::*__f)())
1160 {return mem_fun_ref_t<_Sp,_Tp>(__f);}
1161
1162template<class _Sp, class _Tp, class _Ap>
1163inline _LIBCPP_INLINE_VISIBILITY
1164mem_fun1_ref_t<_Sp,_Tp,_Ap>
1165mem_fun_ref(_Sp (_Tp::*__f)(_Ap))
1166 {return mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
1167
1168template <class _Sp, class _Tp>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001169class _LIBCPP_TYPE_VIS_ONLY const_mem_fun_t : public unary_function<const _Tp*, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001170{
1171 _Sp (_Tp::*__p_)() const;
1172public:
1173 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun_t(_Sp (_Tp::*__p)() const)
1174 : __p_(__p) {}
1175 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp* __p) const
1176 {return (__p->*__p_)();}
1177};
1178
1179template <class _Sp, class _Tp, class _Ap>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001180class _LIBCPP_TYPE_VIS_ONLY const_mem_fun1_t : public binary_function<const _Tp*, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001181{
1182 _Sp (_Tp::*__p_)(_Ap) const;
1183public:
1184 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun1_t(_Sp (_Tp::*__p)(_Ap) const)
1185 : __p_(__p) {}
1186 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp* __p, _Ap __x) const
1187 {return (__p->*__p_)(__x);}
1188};
1189
1190template <class _Sp, class _Tp>
1191inline _LIBCPP_INLINE_VISIBILITY
1192const_mem_fun_t<_Sp,_Tp>
1193mem_fun(_Sp (_Tp::*__f)() const)
1194 {return const_mem_fun_t<_Sp,_Tp>(__f);}
1195
1196template <class _Sp, class _Tp, class _Ap>
1197inline _LIBCPP_INLINE_VISIBILITY
1198const_mem_fun1_t<_Sp,_Tp,_Ap>
1199mem_fun(_Sp (_Tp::*__f)(_Ap) const)
1200 {return const_mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
1201
1202template <class _Sp, class _Tp>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001203class _LIBCPP_TYPE_VIS_ONLY const_mem_fun_ref_t : public unary_function<_Tp, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001204{
1205 _Sp (_Tp::*__p_)() const;
1206public:
1207 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun_ref_t(_Sp (_Tp::*__p)() const)
1208 : __p_(__p) {}
1209 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp& __p) const
1210 {return (__p.*__p_)();}
1211};
1212
1213template <class _Sp, class _Tp, class _Ap>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001214class _LIBCPP_TYPE_VIS_ONLY const_mem_fun1_ref_t
Howard Hinnant42a63a72010-09-21 22:55:27 +00001215 : public binary_function<_Tp, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001216{
1217 _Sp (_Tp::*__p_)(_Ap) const;
1218public:
1219 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun1_ref_t(_Sp (_Tp::*__p)(_Ap) const)
1220 : __p_(__p) {}
1221 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp& __p, _Ap __x) const
1222 {return (__p.*__p_)(__x);}
1223};
1224
1225template <class _Sp, class _Tp>
1226inline _LIBCPP_INLINE_VISIBILITY
1227const_mem_fun_ref_t<_Sp,_Tp>
1228mem_fun_ref(_Sp (_Tp::*__f)() const)
1229 {return const_mem_fun_ref_t<_Sp,_Tp>(__f);}
1230
1231template <class _Sp, class _Tp, class _Ap>
1232inline _LIBCPP_INLINE_VISIBILITY
1233const_mem_fun1_ref_t<_Sp,_Tp,_Ap>
1234mem_fun_ref(_Sp (_Tp::*__f)(_Ap) const)
1235 {return const_mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
1236
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001237////////////////////////////////////////////////////////////////////////////////
1238// MEMFUN
1239//==============================================================================
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001240
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001241template <class _Tp>
1242class __mem_fn
1243 : public __weak_result_type<_Tp>
1244{
1245public:
1246 // types
1247 typedef _Tp type;
1248private:
1249 type __f_;
1250
1251public:
1252 _LIBCPP_INLINE_VISIBILITY __mem_fn(type __f) : __f_(__f) {}
1253
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001254#ifndef _LIBCPP_HAS_NO_VARIADICS
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001255 // invoke
1256 template <class... _ArgTypes>
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001257 _LIBCPP_INLINE_VISIBILITY
1258 typename __invoke_return<type, _ArgTypes...>::type
1259 operator() (_ArgTypes&&... __args) const {
1260 return __invoke(__f_, _VSTD::forward<_ArgTypes>(__args)...);
1261 }
1262#else
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001263
1264 template <class _A0>
Eric Fiselierf1626ad2015-08-26 20:15:02 +00001265 _LIBCPP_INLINE_VISIBILITY
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001266 typename __invoke_return0<type, _A0>::type
1267 operator() (_A0& __a0) const {
1268 return __invoke(__f_, __a0);
1269 }
1270
Eric Fiselierf1626ad2015-08-26 20:15:02 +00001271 template <class _A0>
1272 _LIBCPP_INLINE_VISIBILITY
1273 typename __invoke_return0<type, _A0 const>::type
1274 operator() (_A0 const& __a0) const {
1275 return __invoke(__f_, __a0);
1276 }
1277
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001278 template <class _A0, class _A1>
Eric Fiselierf1626ad2015-08-26 20:15:02 +00001279 _LIBCPP_INLINE_VISIBILITY
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001280 typename __invoke_return1<type, _A0, _A1>::type
1281 operator() (_A0& __a0, _A1& __a1) const {
1282 return __invoke(__f_, __a0, __a1);
1283 }
1284
Eric Fiselierf1626ad2015-08-26 20:15:02 +00001285 template <class _A0, class _A1>
1286 _LIBCPP_INLINE_VISIBILITY
1287 typename __invoke_return1<type, _A0 const, _A1>::type
1288 operator() (_A0 const& __a0, _A1& __a1) const {
1289 return __invoke(__f_, __a0, __a1);
1290 }
1291
1292 template <class _A0, class _A1>
1293 _LIBCPP_INLINE_VISIBILITY
1294 typename __invoke_return1<type, _A0, _A1 const>::type
1295 operator() (_A0& __a0, _A1 const& __a1) const {
1296 return __invoke(__f_, __a0, __a1);
1297 }
1298
1299 template <class _A0, class _A1>
1300 _LIBCPP_INLINE_VISIBILITY
1301 typename __invoke_return1<type, _A0 const, _A1 const>::type
1302 operator() (_A0 const& __a0, _A1 const& __a1) const {
1303 return __invoke(__f_, __a0, __a1);
1304 }
1305
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001306 template <class _A0, class _A1, class _A2>
Eric Fiselierf1626ad2015-08-26 20:15:02 +00001307 _LIBCPP_INLINE_VISIBILITY
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001308 typename __invoke_return2<type, _A0, _A1, _A2>::type
1309 operator() (_A0& __a0, _A1& __a1, _A2& __a2) const {
1310 return __invoke(__f_, __a0, __a1, __a2);
1311 }
Eric Fiselierf1626ad2015-08-26 20:15:02 +00001312
1313 template <class _A0, class _A1, class _A2>
1314 _LIBCPP_INLINE_VISIBILITY
1315 typename __invoke_return2<type, _A0 const, _A1, _A2>::type
1316 operator() (_A0 const& __a0, _A1& __a1, _A2& __a2) const {
1317 return __invoke(__f_, __a0, __a1, __a2);
1318 }
1319
1320 template <class _A0, class _A1, class _A2>
1321 _LIBCPP_INLINE_VISIBILITY
1322 typename __invoke_return2<type, _A0, _A1 const, _A2>::type
1323 operator() (_A0& __a0, _A1 const& __a1, _A2& __a2) const {
1324 return __invoke(__f_, __a0, __a1, __a2);
1325 }
1326
1327 template <class _A0, class _A1, class _A2>
1328 _LIBCPP_INLINE_VISIBILITY
1329 typename __invoke_return2<type, _A0, _A1, _A2 const>::type
1330 operator() (_A0& __a0, _A1& __a1, _A2 const& __a2) const {
1331 return __invoke(__f_, __a0, __a1, __a2);
1332 }
1333
1334 template <class _A0, class _A1, class _A2>
1335 _LIBCPP_INLINE_VISIBILITY
1336 typename __invoke_return2<type, _A0 const, _A1 const, _A2>::type
1337 operator() (_A0 const& __a0, _A1 const& __a1, _A2& __a2) const {
1338 return __invoke(__f_, __a0, __a1, __a2);
1339 }
1340
1341 template <class _A0, class _A1, class _A2>
1342 _LIBCPP_INLINE_VISIBILITY
1343 typename __invoke_return2<type, _A0 const, _A1, _A2 const>::type
1344 operator() (_A0 const& __a0, _A1& __a1, _A2 const& __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 const>::type
1351 operator() (_A0& __a0, _A1 const& __a1, _A2 const& __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 const, _A1 const, _A2 const>::type
1358 operator() (_A0 const& __a0, _A1 const& __a1, _A2 const& __a2) const {
1359 return __invoke(__f_, __a0, __a1, __a2);
1360 }
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001361#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001362};
1363
Howard Hinnant99968442011-11-29 18:15:50 +00001364template<class _Rp, class _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001365inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00001366__mem_fn<_Rp _Tp::*>
1367mem_fn(_Rp _Tp::* __pm)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001368{
Howard Hinnant99968442011-11-29 18:15:50 +00001369 return __mem_fn<_Rp _Tp::*>(__pm);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001370}
1371
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001372////////////////////////////////////////////////////////////////////////////////
1373// FUNCTION
1374//==============================================================================
1375
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001376// bad_function_call
1377
Howard Hinnant42a63a72010-09-21 22:55:27 +00001378class _LIBCPP_EXCEPTION_ABI bad_function_call
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001379 : public exception
1380{
1381};
1382
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001383template<class _Fp> class _LIBCPP_TYPE_VIS_ONLY function; // undefined
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001384
1385namespace __function
1386{
1387
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001388template<class _Rp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001389struct __maybe_derive_from_unary_function
1390{
1391};
1392
Howard Hinnant99968442011-11-29 18:15:50 +00001393template<class _Rp, class _A1>
1394struct __maybe_derive_from_unary_function<_Rp(_A1)>
1395 : public unary_function<_A1, _Rp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001396{
1397};
1398
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001399template<class _Rp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001400struct __maybe_derive_from_binary_function
1401{
1402};
1403
Howard Hinnant99968442011-11-29 18:15:50 +00001404template<class _Rp, class _A1, class _A2>
1405struct __maybe_derive_from_binary_function<_Rp(_A1, _A2)>
1406 : public binary_function<_A1, _A2, _Rp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001407{
1408};
1409
Eric Fiselier8e030712015-08-18 19:41:51 +00001410template <class _Fp>
1411_LIBCPP_INLINE_VISIBILITY
1412bool __not_null(_Fp const&) { return true; }
1413
1414template <class _Fp>
1415_LIBCPP_INLINE_VISIBILITY
1416bool __not_null(_Fp* __ptr) { return __ptr; }
1417
1418template <class _Ret, class _Class>
1419_LIBCPP_INLINE_VISIBILITY
1420bool __not_null(_Ret _Class::*__ptr) { return __ptr; }
1421
1422template <class _Fp>
1423_LIBCPP_INLINE_VISIBILITY
1424bool __not_null(function<_Fp> const& __f) { return !!__f; }
1425
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001426} // namespace __function
1427
1428#ifndef _LIBCPP_HAS_NO_VARIADICS
1429
1430namespace __function {
1431
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001432template<class _Fp> class __base;
1433
Howard Hinnant99968442011-11-29 18:15:50 +00001434template<class _Rp, class ..._ArgTypes>
1435class __base<_Rp(_ArgTypes...)>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001436{
1437 __base(const __base&);
1438 __base& operator=(const __base&);
1439public:
Howard Hinnant42a63a72010-09-21 22:55:27 +00001440 _LIBCPP_INLINE_VISIBILITY __base() {}
1441 _LIBCPP_INLINE_VISIBILITY virtual ~__base() {}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001442 virtual __base* __clone() const = 0;
1443 virtual void __clone(__base*) const = 0;
Howard Hinnant603d2c02011-05-28 17:59:48 +00001444 virtual void destroy() _NOEXCEPT = 0;
1445 virtual void destroy_deallocate() _NOEXCEPT = 0;
Howard Hinnant99968442011-11-29 18:15:50 +00001446 virtual _Rp operator()(_ArgTypes&& ...) = 0;
Howard Hinnantd4444702010-08-11 17:04:31 +00001447#ifndef _LIBCPP_NO_RTTI
Howard Hinnant603d2c02011-05-28 17:59:48 +00001448 virtual const void* target(const type_info&) const _NOEXCEPT = 0;
1449 virtual const std::type_info& target_type() const _NOEXCEPT = 0;
Howard Hinnant324bb032010-08-22 00:02:43 +00001450#endif // _LIBCPP_NO_RTTI
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001451};
1452
1453template<class _FD, class _Alloc, class _FB> class __func;
1454
Howard Hinnant99968442011-11-29 18:15:50 +00001455template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1456class __func<_Fp, _Alloc, _Rp(_ArgTypes...)>
1457 : public __base<_Rp(_ArgTypes...)>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001458{
Howard Hinnant99968442011-11-29 18:15:50 +00001459 __compressed_pair<_Fp, _Alloc> __f_;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001460public:
Howard Hinnant42a63a72010-09-21 22:55:27 +00001461 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant4a13b2d2012-02-28 19:47:38 +00001462 explicit __func(_Fp&& __f)
1463 : __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)),
1464 _VSTD::forward_as_tuple()) {}
Howard Hinnant42a63a72010-09-21 22:55:27 +00001465 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant4a13b2d2012-02-28 19:47:38 +00001466 explicit __func(const _Fp& __f, const _Alloc& __a)
1467 : __f_(piecewise_construct, _VSTD::forward_as_tuple(__f),
1468 _VSTD::forward_as_tuple(__a)) {}
1469
1470 _LIBCPP_INLINE_VISIBILITY
1471 explicit __func(const _Fp& __f, _Alloc&& __a)
1472 : __f_(piecewise_construct, _VSTD::forward_as_tuple(__f),
1473 _VSTD::forward_as_tuple(_VSTD::move(__a))) {}
1474
1475 _LIBCPP_INLINE_VISIBILITY
1476 explicit __func(_Fp&& __f, _Alloc&& __a)
1477 : __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)),
1478 _VSTD::forward_as_tuple(_VSTD::move(__a))) {}
Howard Hinnant99968442011-11-29 18:15:50 +00001479 virtual __base<_Rp(_ArgTypes...)>* __clone() const;
1480 virtual void __clone(__base<_Rp(_ArgTypes...)>*) const;
Howard Hinnant603d2c02011-05-28 17:59:48 +00001481 virtual void destroy() _NOEXCEPT;
1482 virtual void destroy_deallocate() _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:50 +00001483 virtual _Rp operator()(_ArgTypes&& ... __arg);
Howard Hinnantd4444702010-08-11 17:04:31 +00001484#ifndef _LIBCPP_NO_RTTI
Howard Hinnant603d2c02011-05-28 17:59:48 +00001485 virtual const void* target(const type_info&) const _NOEXCEPT;
1486 virtual const std::type_info& target_type() const _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:43 +00001487#endif // _LIBCPP_NO_RTTI
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001488};
1489
Howard Hinnant99968442011-11-29 18:15:50 +00001490template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1491__base<_Rp(_ArgTypes...)>*
1492__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone() const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001493{
Eric Fiselier71aa3762015-03-18 22:56:50 +00001494 typedef allocator_traits<_Alloc> __alloc_traits;
Marshall Clow66302c62015-04-07 05:21:38 +00001495 typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
Howard Hinnant99968442011-11-29 18:15:50 +00001496 _Ap __a(__f_.second());
1497 typedef __allocator_destructor<_Ap> _Dp;
1498 unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001499 ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
1500 return __hold.release();
1501}
1502
Howard Hinnant99968442011-11-29 18:15:50 +00001503template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001504void
Howard Hinnant99968442011-11-29 18:15:50 +00001505__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone(__base<_Rp(_ArgTypes...)>* __p) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001506{
1507 ::new (__p) __func(__f_.first(), __f_.second());
1508}
1509
Howard Hinnant99968442011-11-29 18:15:50 +00001510template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001511void
Howard Hinnant99968442011-11-29 18:15:50 +00001512__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001513{
Howard Hinnant99968442011-11-29 18:15:50 +00001514 __f_.~__compressed_pair<_Fp, _Alloc>();
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001515}
1516
Howard Hinnant99968442011-11-29 18:15:50 +00001517template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001518void
Howard Hinnant99968442011-11-29 18:15:50 +00001519__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy_deallocate() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001520{
Eric Fiselier71aa3762015-03-18 22:56:50 +00001521 typedef allocator_traits<_Alloc> __alloc_traits;
Marshall Clow66302c62015-04-07 05:21:38 +00001522 typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
Howard Hinnant99968442011-11-29 18:15:50 +00001523 _Ap __a(__f_.second());
1524 __f_.~__compressed_pair<_Fp, _Alloc>();
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001525 __a.deallocate(this, 1);
1526}
1527
Howard Hinnant99968442011-11-29 18:15:50 +00001528template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1529_Rp
1530__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::operator()(_ArgTypes&& ... __arg)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001531{
Eric Fiselierc3231d22015-02-10 16:48:45 +00001532 typedef __invoke_void_return_wrapper<_Rp> _Invoker;
1533 return _Invoker::__call(__f_.first(), _VSTD::forward<_ArgTypes>(__arg)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001534}
1535
Howard Hinnantd4444702010-08-11 17:04:31 +00001536#ifndef _LIBCPP_NO_RTTI
1537
Howard Hinnant99968442011-11-29 18:15:50 +00001538template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001539const void*
Howard Hinnant99968442011-11-29 18:15:50 +00001540__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target(const type_info& __ti) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001541{
Howard Hinnant99968442011-11-29 18:15:50 +00001542 if (__ti == typeid(_Fp))
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001543 return &__f_.first();
1544 return (const void*)0;
1545}
1546
Howard Hinnant99968442011-11-29 18:15:50 +00001547template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001548const std::type_info&
Howard Hinnant99968442011-11-29 18:15:50 +00001549__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target_type() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001550{
Howard Hinnant99968442011-11-29 18:15:50 +00001551 return typeid(_Fp);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001552}
1553
Howard Hinnant324bb032010-08-22 00:02:43 +00001554#endif // _LIBCPP_NO_RTTI
Howard Hinnantd4444702010-08-11 17:04:31 +00001555
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001556} // __function
1557
Howard Hinnant99968442011-11-29 18:15:50 +00001558template<class _Rp, class ..._ArgTypes>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001559class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_ArgTypes...)>
Howard Hinnant99968442011-11-29 18:15:50 +00001560 : public __function::__maybe_derive_from_unary_function<_Rp(_ArgTypes...)>,
1561 public __function::__maybe_derive_from_binary_function<_Rp(_ArgTypes...)>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001562{
Howard Hinnant99968442011-11-29 18:15:50 +00001563 typedef __function::__base<_Rp(_ArgTypes...)> __base;
Howard Hinnant78f0de22013-01-21 17:26:55 +00001564 typename aligned_storage<3*sizeof(void*)>::type __buf_;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001565 __base* __f_;
1566
Howard Hinnante41f4752012-07-20 18:56:07 +00001567 template <class _Fp, bool = !is_same<_Fp, function>::value &&
1568 __invokable<_Fp&, _ArgTypes...>::value>
Howard Hinnant083ba5f2011-05-31 21:45:26 +00001569 struct __callable;
Howard Hinnant99968442011-11-29 18:15:50 +00001570 template <class _Fp>
1571 struct __callable<_Fp, true>
Howard Hinnant083ba5f2011-05-31 21:45:26 +00001572 {
Eric Fiselierc3231d22015-02-10 16:48:45 +00001573 static const bool value = is_same<void, _Rp>::value ||
Howard Hinnant99968442011-11-29 18:15:50 +00001574 is_convertible<typename __invoke_of<_Fp&, _ArgTypes...>::type,
1575 _Rp>::value;
Howard Hinnant083ba5f2011-05-31 21:45:26 +00001576 };
Howard Hinnant99968442011-11-29 18:15:50 +00001577 template <class _Fp>
1578 struct __callable<_Fp, false>
Howard Hinnant083ba5f2011-05-31 21:45:26 +00001579 {
1580 static const bool value = false;
1581 };
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001582public:
Howard Hinnant99968442011-11-29 18:15:50 +00001583 typedef _Rp result_type;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001584
Howard Hinnant72552802010-08-20 19:36:46 +00001585 // construct/copy/destroy:
Howard Hinnant42a63a72010-09-21 22:55:27 +00001586 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00001587 function() _NOEXCEPT : __f_(0) {}
Howard Hinnant42a63a72010-09-21 22:55:27 +00001588 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00001589 function(nullptr_t) _NOEXCEPT : __f_(0) {}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001590 function(const function&);
Howard Hinnant603d2c02011-05-28 17:59:48 +00001591 function(function&&) _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:50 +00001592 template<class _Fp>
Howard Hinnant099dec12013-07-01 00:01:51 +00001593 function(_Fp, typename enable_if
1594 <
1595 __callable<_Fp>::value &&
1596 !is_same<_Fp, function>::value
1597 >::type* = 0);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001598
Howard Hinnant72552802010-08-20 19:36:46 +00001599 template<class _Alloc>
Howard Hinnant42a63a72010-09-21 22:55:27 +00001600 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00001601 function(allocator_arg_t, const _Alloc&) _NOEXCEPT : __f_(0) {}
Howard Hinnant72552802010-08-20 19:36:46 +00001602 template<class _Alloc>
Howard Hinnant42a63a72010-09-21 22:55:27 +00001603 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00001604 function(allocator_arg_t, const _Alloc&, nullptr_t) _NOEXCEPT : __f_(0) {}
Howard Hinnant72552802010-08-20 19:36:46 +00001605 template<class _Alloc>
1606 function(allocator_arg_t, const _Alloc&, const function&);
1607 template<class _Alloc>
1608 function(allocator_arg_t, const _Alloc&, function&&);
Howard Hinnant99968442011-11-29 18:15:50 +00001609 template<class _Fp, class _Alloc>
1610 function(allocator_arg_t, const _Alloc& __a, _Fp __f,
1611 typename enable_if<__callable<_Fp>::value>::type* = 0);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001612
1613 function& operator=(const function&);
Howard Hinnant603d2c02011-05-28 17:59:48 +00001614 function& operator=(function&&) _NOEXCEPT;
1615 function& operator=(nullptr_t) _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:50 +00001616 template<class _Fp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001617 typename enable_if
1618 <
Howard Hinnant099dec12013-07-01 00:01:51 +00001619 __callable<typename decay<_Fp>::type>::value &&
1620 !is_same<typename remove_reference<_Fp>::type, function>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001621 function&
1622 >::type
Howard Hinnant99968442011-11-29 18:15:50 +00001623 operator=(_Fp&&);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001624
1625 ~function();
1626
Howard Hinnant72552802010-08-20 19:36:46 +00001627 // function modifiers:
Howard Hinnant603d2c02011-05-28 17:59:48 +00001628 void swap(function&) _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:50 +00001629 template<class _Fp, class _Alloc>
Howard Hinnant42a63a72010-09-21 22:55:27 +00001630 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00001631 void assign(_Fp&& __f, const _Alloc& __a)
1632 {function(allocator_arg, __a, _VSTD::forward<_Fp>(__f)).swap(*this);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001633
Howard Hinnant72552802010-08-20 19:36:46 +00001634 // function capacity:
Howard Hinnant42a63a72010-09-21 22:55:27 +00001635 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant77861882012-02-21 21:46:43 +00001636 _LIBCPP_EXPLICIT operator bool() const _NOEXCEPT {return __f_;}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001637
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001638 // deleted overloads close possible hole in the type system
1639 template<class _R2, class... _ArgTypes2>
Howard Hinnanta0f1dc92010-09-11 15:33:21 +00001640 bool operator==(const function<_R2(_ArgTypes2...)>&) const = delete;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001641 template<class _R2, class... _ArgTypes2>
Howard Hinnanta0f1dc92010-09-11 15:33:21 +00001642 bool operator!=(const function<_R2(_ArgTypes2...)>&) const = delete;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001643public:
Howard Hinnant72552802010-08-20 19:36:46 +00001644 // function invocation:
Howard Hinnant99968442011-11-29 18:15:50 +00001645 _Rp operator()(_ArgTypes...) const;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001646
Howard Hinnantd4444702010-08-11 17:04:31 +00001647#ifndef _LIBCPP_NO_RTTI
Howard Hinnant72552802010-08-20 19:36:46 +00001648 // function target access:
Howard Hinnant603d2c02011-05-28 17:59:48 +00001649 const std::type_info& target_type() const _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:50 +00001650 template <typename _Tp> _Tp* target() _NOEXCEPT;
1651 template <typename _Tp> const _Tp* target() const _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:43 +00001652#endif // _LIBCPP_NO_RTTI
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001653};
1654
Howard Hinnant99968442011-11-29 18:15:50 +00001655template<class _Rp, class ..._ArgTypes>
1656function<_Rp(_ArgTypes...)>::function(const function& __f)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001657{
1658 if (__f.__f_ == 0)
1659 __f_ = 0;
1660 else if (__f.__f_ == (const __base*)&__f.__buf_)
1661 {
1662 __f_ = (__base*)&__buf_;
1663 __f.__f_->__clone(__f_);
1664 }
1665 else
1666 __f_ = __f.__f_->__clone();
1667}
1668
Howard Hinnant99968442011-11-29 18:15:50 +00001669template<class _Rp, class ..._ArgTypes>
Howard Hinnant72552802010-08-20 19:36:46 +00001670template <class _Alloc>
Howard Hinnant99968442011-11-29 18:15:50 +00001671function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&,
Howard Hinnant72552802010-08-20 19:36:46 +00001672 const function& __f)
1673{
1674 if (__f.__f_ == 0)
1675 __f_ = 0;
1676 else if (__f.__f_ == (const __base*)&__f.__buf_)
1677 {
1678 __f_ = (__base*)&__buf_;
1679 __f.__f_->__clone(__f_);
1680 }
1681 else
1682 __f_ = __f.__f_->__clone();
1683}
1684
Howard Hinnant99968442011-11-29 18:15:50 +00001685template<class _Rp, class ..._ArgTypes>
1686function<_Rp(_ArgTypes...)>::function(function&& __f) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001687{
1688 if (__f.__f_ == 0)
1689 __f_ = 0;
1690 else if (__f.__f_ == (__base*)&__f.__buf_)
1691 {
1692 __f_ = (__base*)&__buf_;
1693 __f.__f_->__clone(__f_);
1694 }
1695 else
1696 {
1697 __f_ = __f.__f_;
1698 __f.__f_ = 0;
1699 }
1700}
1701
Howard Hinnant99968442011-11-29 18:15:50 +00001702template<class _Rp, class ..._ArgTypes>
Howard Hinnant72552802010-08-20 19:36:46 +00001703template <class _Alloc>
Howard Hinnant99968442011-11-29 18:15:50 +00001704function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&,
Howard Hinnant72552802010-08-20 19:36:46 +00001705 function&& __f)
1706{
1707 if (__f.__f_ == 0)
1708 __f_ = 0;
1709 else if (__f.__f_ == (__base*)&__f.__buf_)
1710 {
1711 __f_ = (__base*)&__buf_;
1712 __f.__f_->__clone(__f_);
1713 }
1714 else
1715 {
1716 __f_ = __f.__f_;
1717 __f.__f_ = 0;
1718 }
1719}
1720
Howard Hinnant99968442011-11-29 18:15:50 +00001721template<class _Rp, class ..._ArgTypes>
1722template <class _Fp>
1723function<_Rp(_ArgTypes...)>::function(_Fp __f,
Howard Hinnant099dec12013-07-01 00:01:51 +00001724 typename enable_if
1725 <
1726 __callable<_Fp>::value &&
1727 !is_same<_Fp, function>::value
1728 >::type*)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001729 : __f_(0)
1730{
Eric Fiselier8e030712015-08-18 19:41:51 +00001731 if (__function::__not_null(__f))
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001732 {
Howard Hinnant99968442011-11-29 18:15:50 +00001733 typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_ArgTypes...)> _FF;
1734 if (sizeof(_FF) <= sizeof(__buf_) && is_nothrow_copy_constructible<_Fp>::value)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001735 {
1736 __f_ = (__base*)&__buf_;
Howard Hinnant0949eed2011-06-30 21:18:19 +00001737 ::new (__f_) _FF(_VSTD::move(__f));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001738 }
1739 else
1740 {
Howard Hinnant99968442011-11-29 18:15:50 +00001741 typedef allocator<_FF> _Ap;
1742 _Ap __a;
1743 typedef __allocator_destructor<_Ap> _Dp;
1744 unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
1745 ::new (__hold.get()) _FF(_VSTD::move(__f), allocator<_Fp>(__a));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001746 __f_ = __hold.release();
1747 }
1748 }
1749}
1750
Howard Hinnant99968442011-11-29 18:15:50 +00001751template<class _Rp, class ..._ArgTypes>
1752template <class _Fp, class _Alloc>
1753function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
1754 typename enable_if<__callable<_Fp>::value>::type*)
Howard Hinnant72552802010-08-20 19:36:46 +00001755 : __f_(0)
1756{
1757 typedef allocator_traits<_Alloc> __alloc_traits;
Eric Fiselier8e030712015-08-18 19:41:51 +00001758 if (__function::__not_null(__f))
Howard Hinnant72552802010-08-20 19:36:46 +00001759 {
Howard Hinnant99968442011-11-29 18:15:50 +00001760 typedef __function::__func<_Fp, _Alloc, _Rp(_ArgTypes...)> _FF;
Marshall Clow66302c62015-04-07 05:21:38 +00001761 typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
Marshall Clowa178c132014-04-18 17:23:36 +00001762 _Ap __a(__a0);
1763 if (sizeof(_FF) <= sizeof(__buf_) &&
1764 is_nothrow_copy_constructible<_Fp>::value && is_nothrow_copy_constructible<_Ap>::value)
Howard Hinnant72552802010-08-20 19:36:46 +00001765 {
1766 __f_ = (__base*)&__buf_;
Marshall Clowa178c132014-04-18 17:23:36 +00001767 ::new (__f_) _FF(_VSTD::move(__f), _Alloc(__a));
Howard Hinnant72552802010-08-20 19:36:46 +00001768 }
1769 else
1770 {
Howard Hinnant99968442011-11-29 18:15:50 +00001771 typedef __allocator_destructor<_Ap> _Dp;
1772 unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
Howard Hinnant0949eed2011-06-30 21:18:19 +00001773 ::new (__hold.get()) _FF(_VSTD::move(__f), _Alloc(__a));
Howard Hinnant72552802010-08-20 19:36:46 +00001774 __f_ = __hold.release();
1775 }
1776 }
1777}
1778
Howard Hinnant99968442011-11-29 18:15:50 +00001779template<class _Rp, class ..._ArgTypes>
1780function<_Rp(_ArgTypes...)>&
1781function<_Rp(_ArgTypes...)>::operator=(const function& __f)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001782{
1783 function(__f).swap(*this);
1784 return *this;
1785}
1786
Howard Hinnant99968442011-11-29 18:15:50 +00001787template<class _Rp, class ..._ArgTypes>
1788function<_Rp(_ArgTypes...)>&
1789function<_Rp(_ArgTypes...)>::operator=(function&& __f) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001790{
1791 if (__f_ == (__base*)&__buf_)
1792 __f_->destroy();
1793 else if (__f_)
1794 __f_->destroy_deallocate();
1795 __f_ = 0;
1796 if (__f.__f_ == 0)
1797 __f_ = 0;
1798 else if (__f.__f_ == (__base*)&__f.__buf_)
1799 {
1800 __f_ = (__base*)&__buf_;
1801 __f.__f_->__clone(__f_);
1802 }
1803 else
1804 {
1805 __f_ = __f.__f_;
1806 __f.__f_ = 0;
1807 }
Argyrios Kyrtzidis1dc6f7a2012-10-13 02:03:45 +00001808 return *this;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001809}
1810
Howard Hinnant99968442011-11-29 18:15:50 +00001811template<class _Rp, class ..._ArgTypes>
1812function<_Rp(_ArgTypes...)>&
1813function<_Rp(_ArgTypes...)>::operator=(nullptr_t) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001814{
1815 if (__f_ == (__base*)&__buf_)
1816 __f_->destroy();
1817 else if (__f_)
1818 __f_->destroy_deallocate();
1819 __f_ = 0;
Argyrios Kyrtzidis1dc6f7a2012-10-13 02:03:45 +00001820 return *this;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001821}
1822
Howard Hinnant99968442011-11-29 18:15:50 +00001823template<class _Rp, class ..._ArgTypes>
1824template <class _Fp>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001825typename enable_if
1826<
Howard Hinnant099dec12013-07-01 00:01:51 +00001827 function<_Rp(_ArgTypes...)>::template __callable<typename decay<_Fp>::type>::value &&
1828 !is_same<typename remove_reference<_Fp>::type, function<_Rp(_ArgTypes...)>>::value,
Howard Hinnant99968442011-11-29 18:15:50 +00001829 function<_Rp(_ArgTypes...)>&
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001830>::type
Howard Hinnant99968442011-11-29 18:15:50 +00001831function<_Rp(_ArgTypes...)>::operator=(_Fp&& __f)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001832{
Howard Hinnant99968442011-11-29 18:15:50 +00001833 function(_VSTD::forward<_Fp>(__f)).swap(*this);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001834 return *this;
1835}
1836
Howard Hinnant99968442011-11-29 18:15:50 +00001837template<class _Rp, class ..._ArgTypes>
1838function<_Rp(_ArgTypes...)>::~function()
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001839{
1840 if (__f_ == (__base*)&__buf_)
1841 __f_->destroy();
1842 else if (__f_)
1843 __f_->destroy_deallocate();
1844}
1845
Howard Hinnant99968442011-11-29 18:15:50 +00001846template<class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001847void
Howard Hinnant99968442011-11-29 18:15:50 +00001848function<_Rp(_ArgTypes...)>::swap(function& __f) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001849{
1850 if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
1851 {
1852 typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
1853 __base* __t = (__base*)&__tempbuf;
1854 __f_->__clone(__t);
1855 __f_->destroy();
1856 __f_ = 0;
1857 __f.__f_->__clone((__base*)&__buf_);
1858 __f.__f_->destroy();
1859 __f.__f_ = 0;
1860 __f_ = (__base*)&__buf_;
1861 __t->__clone((__base*)&__f.__buf_);
1862 __t->destroy();
1863 __f.__f_ = (__base*)&__f.__buf_;
1864 }
1865 else if (__f_ == (__base*)&__buf_)
1866 {
1867 __f_->__clone((__base*)&__f.__buf_);
1868 __f_->destroy();
1869 __f_ = __f.__f_;
1870 __f.__f_ = (__base*)&__f.__buf_;
1871 }
1872 else if (__f.__f_ == (__base*)&__f.__buf_)
1873 {
1874 __f.__f_->__clone((__base*)&__buf_);
1875 __f.__f_->destroy();
1876 __f.__f_ = __f_;
1877 __f_ = (__base*)&__buf_;
1878 }
1879 else
Howard Hinnant0949eed2011-06-30 21:18:19 +00001880 _VSTD::swap(__f_, __f.__f_);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001881}
1882
Howard Hinnant99968442011-11-29 18:15:50 +00001883template<class _Rp, class ..._ArgTypes>
1884_Rp
1885function<_Rp(_ArgTypes...)>::operator()(_ArgTypes... __arg) const
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001886{
Howard Hinnantd4444702010-08-11 17:04:31 +00001887#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001888 if (__f_ == 0)
1889 throw bad_function_call();
Howard Hinnant324bb032010-08-22 00:02:43 +00001890#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnant0949eed2011-06-30 21:18:19 +00001891 return (*__f_)(_VSTD::forward<_ArgTypes>(__arg)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001892}
1893
Howard Hinnantd4444702010-08-11 17:04:31 +00001894#ifndef _LIBCPP_NO_RTTI
1895
Howard Hinnant99968442011-11-29 18:15:50 +00001896template<class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001897const std::type_info&
Howard Hinnant99968442011-11-29 18:15:50 +00001898function<_Rp(_ArgTypes...)>::target_type() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001899{
1900 if (__f_ == 0)
1901 return typeid(void);
1902 return __f_->target_type();
1903}
1904
Howard Hinnant99968442011-11-29 18:15:50 +00001905template<class _Rp, class ..._ArgTypes>
1906template <typename _Tp>
1907_Tp*
1908function<_Rp(_ArgTypes...)>::target() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001909{
1910 if (__f_ == 0)
Howard Hinnant99968442011-11-29 18:15:50 +00001911 return (_Tp*)0;
1912 return (_Tp*)__f_->target(typeid(_Tp));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001913}
1914
Howard Hinnant99968442011-11-29 18:15:50 +00001915template<class _Rp, class ..._ArgTypes>
1916template <typename _Tp>
1917const _Tp*
1918function<_Rp(_ArgTypes...)>::target() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001919{
1920 if (__f_ == 0)
Howard Hinnant99968442011-11-29 18:15:50 +00001921 return (const _Tp*)0;
1922 return (const _Tp*)__f_->target(typeid(_Tp));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001923}
1924
Howard Hinnant324bb032010-08-22 00:02:43 +00001925#endif // _LIBCPP_NO_RTTI
Howard Hinnantd4444702010-08-11 17:04:31 +00001926
Howard Hinnant99968442011-11-29 18:15:50 +00001927template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001928inline _LIBCPP_INLINE_VISIBILITY
1929bool
Howard Hinnant99968442011-11-29 18:15:50 +00001930operator==(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return !__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001931
Howard Hinnant99968442011-11-29 18:15:50 +00001932template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001933inline _LIBCPP_INLINE_VISIBILITY
1934bool
Howard Hinnant99968442011-11-29 18:15:50 +00001935operator==(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return !__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001936
Howard Hinnant99968442011-11-29 18:15:50 +00001937template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001938inline _LIBCPP_INLINE_VISIBILITY
1939bool
Howard Hinnant99968442011-11-29 18:15:50 +00001940operator!=(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return (bool)__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001941
Howard Hinnant99968442011-11-29 18:15:50 +00001942template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001943inline _LIBCPP_INLINE_VISIBILITY
1944bool
Howard Hinnant99968442011-11-29 18:15:50 +00001945operator!=(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return (bool)__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001946
Howard Hinnant99968442011-11-29 18:15:50 +00001947template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001948inline _LIBCPP_INLINE_VISIBILITY
1949void
Howard Hinnant99968442011-11-29 18:15:50 +00001950swap(function<_Rp(_ArgTypes...)>& __x, function<_Rp(_ArgTypes...)>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001951{return __x.swap(__y);}
1952
Eric Fiselierdb8c4fd2015-07-22 22:43:27 +00001953#else // _LIBCPP_HAS_NO_VARIADICS
1954
1955#include <__functional_03>
1956
1957#endif
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001958
1959////////////////////////////////////////////////////////////////////////////////
1960// BIND
1961//==============================================================================
1962
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001963template<class _Tp> struct __is_bind_expression : public false_type {};
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001964template<class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_bind_expression
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001965 : public __is_bind_expression<typename remove_cv<_Tp>::type> {};
1966
1967template<class _Tp> struct __is_placeholder : public integral_constant<int, 0> {};
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001968template<class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_placeholder
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001969 : public __is_placeholder<typename remove_cv<_Tp>::type> {};
1970
1971namespace placeholders
1972{
1973
Howard Hinnant99968442011-11-29 18:15:50 +00001974template <int _Np> struct __ph {};
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001975
Howard Hinnant0f678bd2013-08-12 18:38:34 +00001976_LIBCPP_FUNC_VIS extern __ph<1> _1;
1977_LIBCPP_FUNC_VIS extern __ph<2> _2;
1978_LIBCPP_FUNC_VIS extern __ph<3> _3;
1979_LIBCPP_FUNC_VIS extern __ph<4> _4;
1980_LIBCPP_FUNC_VIS extern __ph<5> _5;
1981_LIBCPP_FUNC_VIS extern __ph<6> _6;
1982_LIBCPP_FUNC_VIS extern __ph<7> _7;
1983_LIBCPP_FUNC_VIS extern __ph<8> _8;
1984_LIBCPP_FUNC_VIS extern __ph<9> _9;
1985_LIBCPP_FUNC_VIS extern __ph<10> _10;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001986
1987} // placeholders
1988
Howard Hinnant99968442011-11-29 18:15:50 +00001989template<int _Np>
1990struct __is_placeholder<placeholders::__ph<_Np> >
1991 : public integral_constant<int, _Np> {};
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001992
Eric Fiselier45f63bc2015-07-22 04:14:38 +00001993
1994#ifndef _LIBCPP_HAS_NO_VARIADICS
1995
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001996template <class _Tp, class _Uj>
1997inline _LIBCPP_INLINE_VISIBILITY
1998_Tp&
1999__mu(reference_wrapper<_Tp> __t, _Uj&)
2000{
2001 return __t.get();
2002}
2003
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002004template <class _Ti, class ..._Uj, size_t ..._Indx>
2005inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0148a832011-05-19 19:41:47 +00002006typename __invoke_of<_Ti&, _Uj...>::type
2007__mu_expand(_Ti& __ti, tuple<_Uj...>& __uj, __tuple_indices<_Indx...>)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002008{
Marshall Clowba6dbf42014-06-24 00:46:19 +00002009 return __ti(_VSTD::forward<_Uj>(_VSTD::get<_Indx>(__uj))...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002010}
2011
2012template <class _Ti, class ..._Uj>
2013inline _LIBCPP_INLINE_VISIBILITY
Eric Fiselier60b3df42014-12-23 05:54:34 +00002014typename __lazy_enable_if
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002015<
2016 is_bind_expression<_Ti>::value,
Eric Fiselier60b3df42014-12-23 05:54:34 +00002017 __invoke_of<_Ti&, _Uj...>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002018>::type
2019__mu(_Ti& __ti, tuple<_Uj...>& __uj)
2020{
2021 typedef typename __make_tuple_indices<sizeof...(_Uj)>::type __indices;
2022 return __mu_expand(__ti, __uj, __indices());
2023}
2024
2025template <bool IsPh, class _Ti, class _Uj>
2026struct __mu_return2 {};
2027
2028template <class _Ti, class _Uj>
2029struct __mu_return2<true, _Ti, _Uj>
2030{
2031 typedef typename tuple_element<is_placeholder<_Ti>::value - 1, _Uj>::type type;
2032};
2033
2034template <class _Ti, class _Uj>
2035inline _LIBCPP_INLINE_VISIBILITY
2036typename enable_if
2037<
2038 0 < is_placeholder<_Ti>::value,
2039 typename __mu_return2<0 < is_placeholder<_Ti>::value, _Ti, _Uj>::type
2040>::type
2041__mu(_Ti&, _Uj& __uj)
2042{
2043 const size_t _Indx = is_placeholder<_Ti>::value - 1;
Marshall Clowba6dbf42014-06-24 00:46:19 +00002044 return _VSTD::forward<typename tuple_element<_Indx, _Uj>::type>(_VSTD::get<_Indx>(__uj));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002045}
2046
2047template <class _Ti, class _Uj>
2048inline _LIBCPP_INLINE_VISIBILITY
2049typename enable_if
2050<
2051 !is_bind_expression<_Ti>::value &&
2052 is_placeholder<_Ti>::value == 0 &&
2053 !__is_reference_wrapper<_Ti>::value,
2054 _Ti&
2055>::type
Howard Hinnantec3773c2011-12-01 20:21:04 +00002056__mu(_Ti& __ti, _Uj&)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002057{
2058 return __ti;
2059}
2060
Howard Hinnantef542512011-05-22 15:07:43 +00002061template <class _Ti, bool IsReferenceWrapper, bool IsBindEx, bool IsPh,
2062 class _TupleUj>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002063struct ____mu_return;
2064
Howard Hinnantc05e9862013-06-30 19:48:15 +00002065template <bool _Invokable, class _Ti, class ..._Uj>
2066struct ____mu_return_invokable // false
2067{
2068 typedef __nat type;
2069};
2070
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002071template <class _Ti, class ..._Uj>
Howard Hinnantc05e9862013-06-30 19:48:15 +00002072struct ____mu_return_invokable<true, _Ti, _Uj...>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002073{
Howard Hinnant0148a832011-05-19 19:41:47 +00002074 typedef typename __invoke_of<_Ti&, _Uj...>::type type;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002075};
2076
Howard Hinnantc05e9862013-06-30 19:48:15 +00002077template <class _Ti, class ..._Uj>
2078struct ____mu_return<_Ti, false, true, false, tuple<_Uj...> >
2079 : public ____mu_return_invokable<__invokable<_Ti&, _Uj...>::value, _Ti, _Uj...>
2080{
2081};
2082
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002083template <class _Ti, class _TupleUj>
Howard Hinnantef542512011-05-22 15:07:43 +00002084struct ____mu_return<_Ti, false, false, true, _TupleUj>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002085{
2086 typedef typename tuple_element<is_placeholder<_Ti>::value - 1,
2087 _TupleUj>::type&& type;
2088};
2089
2090template <class _Ti, class _TupleUj>
Howard Hinnantef542512011-05-22 15:07:43 +00002091struct ____mu_return<_Ti, true, false, false, _TupleUj>
2092{
2093 typedef typename _Ti::type& type;
2094};
2095
2096template <class _Ti, class _TupleUj>
2097struct ____mu_return<_Ti, false, false, false, _TupleUj>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002098{
2099 typedef _Ti& type;
2100};
2101
2102template <class _Ti, class _TupleUj>
2103struct __mu_return
2104 : public ____mu_return<_Ti,
Howard Hinnantef542512011-05-22 15:07:43 +00002105 __is_reference_wrapper<_Ti>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002106 is_bind_expression<_Ti>::value,
Howard Hinnant0560f782013-02-21 18:16:55 +00002107 0 < is_placeholder<_Ti>::value &&
2108 is_placeholder<_Ti>::value <= tuple_size<_TupleUj>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002109 _TupleUj>
2110{
2111};
2112
Howard Hinnant99968442011-11-29 18:15:50 +00002113template <class _Fp, class _BoundArgs, class _TupleUj>
Eric Fiselier5486fac2015-05-19 22:27:18 +00002114struct __is_valid_bind_return
Howard Hinnant0560f782013-02-21 18:16:55 +00002115{
2116 static const bool value = false;
2117};
2118
2119template <class _Fp, class ..._BoundArgs, class _TupleUj>
Eric Fiselier5486fac2015-05-19 22:27:18 +00002120struct __is_valid_bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:55 +00002121{
2122 static const bool value = __invokable<_Fp,
2123 typename __mu_return<_BoundArgs, _TupleUj>::type...>::value;
2124};
2125
2126template <class _Fp, class ..._BoundArgs, class _TupleUj>
Eric Fiselier5486fac2015-05-19 22:27:18 +00002127struct __is_valid_bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:55 +00002128{
2129 static const bool value = __invokable<_Fp,
2130 typename __mu_return<const _BoundArgs, _TupleUj>::type...>::value;
2131};
2132
2133template <class _Fp, class _BoundArgs, class _TupleUj,
Eric Fiselier5486fac2015-05-19 22:27:18 +00002134 bool = __is_valid_bind_return<_Fp, _BoundArgs, _TupleUj>::value>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002135struct __bind_return;
2136
Howard Hinnant99968442011-11-29 18:15:50 +00002137template <class _Fp, class ..._BoundArgs, class _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:55 +00002138struct __bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj, true>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002139{
Howard Hinnant0148a832011-05-19 19:41:47 +00002140 typedef typename __invoke_of
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002141 <
Howard Hinnant99968442011-11-29 18:15:50 +00002142 _Fp&,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002143 typename __mu_return
2144 <
2145 _BoundArgs,
2146 _TupleUj
2147 >::type...
2148 >::type type;
2149};
2150
Howard Hinnant99968442011-11-29 18:15:50 +00002151template <class _Fp, class ..._BoundArgs, class _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:55 +00002152struct __bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj, true>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002153{
Howard Hinnant0148a832011-05-19 19:41:47 +00002154 typedef typename __invoke_of
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002155 <
Howard Hinnant99968442011-11-29 18:15:50 +00002156 _Fp&,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002157 typename __mu_return
2158 <
2159 const _BoundArgs,
2160 _TupleUj
2161 >::type...
2162 >::type type;
2163};
2164
Howard Hinnant99968442011-11-29 18:15:50 +00002165template <class _Fp, class _BoundArgs, size_t ..._Indx, class _Args>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002166inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00002167typename __bind_return<_Fp, _BoundArgs, _Args>::type
2168__apply_functor(_Fp& __f, _BoundArgs& __bound_args, __tuple_indices<_Indx...>,
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002169 _Args&& __args)
2170{
Marshall Clowba6dbf42014-06-24 00:46:19 +00002171 return __invoke(__f, __mu(_VSTD::get<_Indx>(__bound_args), __args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002172}
2173
Howard Hinnant99968442011-11-29 18:15:50 +00002174template<class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002175class __bind
Howard Hinnant99968442011-11-29 18:15:50 +00002176 : public __weak_result_type<typename decay<_Fp>::type>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002177{
Howard Hinnant0560f782013-02-21 18:16:55 +00002178protected:
Howard Hinnant99968442011-11-29 18:15:50 +00002179 typedef typename decay<_Fp>::type _Fd;
Howard Hinnant0148a832011-05-19 19:41:47 +00002180 typedef tuple<typename decay<_BoundArgs>::type...> _Td;
Howard Hinnant0560f782013-02-21 18:16:55 +00002181private:
Howard Hinnant0148a832011-05-19 19:41:47 +00002182 _Fd __f_;
2183 _Td __bound_args_;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002184
2185 typedef typename __make_tuple_indices<sizeof...(_BoundArgs)>::type __indices;
2186public:
Howard Hinnant90d77852011-07-02 18:22:36 +00002187#ifdef _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
2188
2189 _LIBCPP_INLINE_VISIBILITY
2190 __bind(const __bind& __b)
2191 : __f_(__b.__f_),
2192 __bound_args_(__b.__bound_args_) {}
2193
2194 _LIBCPP_INLINE_VISIBILITY
2195 __bind& operator=(const __bind& __b)
2196 {
2197 __f_ = __b.__f_;
2198 __bound_args_ = __b.__bound_args_;
2199 return *this;
2200 }
2201
Howard Hinnant42a63a72010-09-21 22:55:27 +00002202 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002203 __bind(__bind&& __b)
Howard Hinnant0949eed2011-06-30 21:18:19 +00002204 : __f_(_VSTD::move(__b.__f_)),
2205 __bound_args_(_VSTD::move(__b.__bound_args_)) {}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002206
Howard Hinnant90d77852011-07-02 18:22:36 +00002207 _LIBCPP_INLINE_VISIBILITY
2208 __bind& operator=(__bind&& __b)
2209 {
2210 __f_ = _VSTD::move(__b.__f_);
2211 __bound_args_ = _VSTD::move(__b.__bound_args_);
2212 return *this;
2213 }
2214
2215#endif // _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
2216
Howard Hinnantd2da6d22012-05-04 17:21:02 +00002217 template <class _Gp, class ..._BA,
2218 class = typename enable_if
2219 <
Howard Hinnant099dec12013-07-01 00:01:51 +00002220 is_constructible<_Fd, _Gp>::value &&
2221 !is_same<typename remove_reference<_Gp>::type,
2222 __bind>::value
Howard Hinnantd2da6d22012-05-04 17:21:02 +00002223 >::type>
Howard Hinnant42a63a72010-09-21 22:55:27 +00002224 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00002225 explicit __bind(_Gp&& __f, _BA&& ...__bound_args)
2226 : __f_(_VSTD::forward<_Gp>(__f)),
Howard Hinnant0949eed2011-06-30 21:18:19 +00002227 __bound_args_(_VSTD::forward<_BA>(__bound_args)...) {}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002228
2229 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:27 +00002230 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0148a832011-05-19 19:41:47 +00002231 typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002232 operator()(_Args&& ...__args)
2233 {
Howard Hinnant324bb032010-08-22 00:02:43 +00002234 return __apply_functor(__f_, __bound_args_, __indices(),
Howard Hinnant0949eed2011-06-30 21:18:19 +00002235 tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002236 }
2237
2238 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:27 +00002239 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0560f782013-02-21 18:16:55 +00002240 typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002241 operator()(_Args&& ...__args) const
2242 {
Howard Hinnant324bb032010-08-22 00:02:43 +00002243 return __apply_functor(__f_, __bound_args_, __indices(),
Howard Hinnant0949eed2011-06-30 21:18:19 +00002244 tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...));
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002245 }
2246};
2247
Howard Hinnant99968442011-11-29 18:15:50 +00002248template<class _Fp, class ..._BoundArgs>
2249struct __is_bind_expression<__bind<_Fp, _BoundArgs...> > : public true_type {};
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002250
Howard Hinnant99968442011-11-29 18:15:50 +00002251template<class _Rp, class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002252class __bind_r
Howard Hinnant99968442011-11-29 18:15:50 +00002253 : public __bind<_Fp, _BoundArgs...>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002254{
Howard Hinnant99968442011-11-29 18:15:50 +00002255 typedef __bind<_Fp, _BoundArgs...> base;
Howard Hinnant0560f782013-02-21 18:16:55 +00002256 typedef typename base::_Fd _Fd;
2257 typedef typename base::_Td _Td;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002258public:
Howard Hinnant99968442011-11-29 18:15:50 +00002259 typedef _Rp result_type;
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002260
Howard Hinnant90d77852011-07-02 18:22:36 +00002261#ifdef _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
2262
2263 _LIBCPP_INLINE_VISIBILITY
2264 __bind_r(const __bind_r& __b)
2265 : base(_VSTD::forward<const base&>(__b)) {}
2266
2267 _LIBCPP_INLINE_VISIBILITY
2268 __bind_r& operator=(const __bind_r& __b)
2269 {
2270 base::operator=(_VSTD::forward<const base&>(__b));
2271 return *this;
2272 }
2273
Howard Hinnant496934a2011-05-16 16:19:01 +00002274 _LIBCPP_INLINE_VISIBILITY
2275 __bind_r(__bind_r&& __b)
Howard Hinnant0949eed2011-06-30 21:18:19 +00002276 : base(_VSTD::forward<base>(__b)) {}
Howard Hinnant496934a2011-05-16 16:19:01 +00002277
Howard Hinnant90d77852011-07-02 18:22:36 +00002278 _LIBCPP_INLINE_VISIBILITY
2279 __bind_r& operator=(__bind_r&& __b)
2280 {
2281 base::operator=(_VSTD::forward<base>(__b));
2282 return *this;
2283 }
2284
2285#endif // _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
2286
Howard Hinnant099dec12013-07-01 00:01:51 +00002287 template <class _Gp, class ..._BA,
2288 class = typename enable_if
2289 <
2290 is_constructible<_Fd, _Gp>::value &&
2291 !is_same<typename remove_reference<_Gp>::type,
2292 __bind_r>::value
2293 >::type>
Howard Hinnant42a63a72010-09-21 22:55:27 +00002294 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00002295 explicit __bind_r(_Gp&& __f, _BA&& ...__bound_args)
2296 : base(_VSTD::forward<_Gp>(__f),
Howard Hinnant0949eed2011-06-30 21:18:19 +00002297 _VSTD::forward<_BA>(__bound_args)...) {}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002298
2299 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:27 +00002300 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0560f782013-02-21 18:16:55 +00002301 typename enable_if
2302 <
2303 is_convertible<typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type,
Eric Fiselierf301a112015-07-10 23:29:18 +00002304 result_type>::value || is_void<_Rp>::value,
Howard Hinnant0560f782013-02-21 18:16:55 +00002305 result_type
2306 >::type
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002307 operator()(_Args&& ...__args)
2308 {
Eric Fiselierf301a112015-07-10 23:29:18 +00002309 typedef __invoke_void_return_wrapper<_Rp> _Invoker;
2310 return _Invoker::__call(static_cast<base&>(*this), _VSTD::forward<_Args>(__args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002311 }
2312
2313 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:27 +00002314 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0560f782013-02-21 18:16:55 +00002315 typename enable_if
2316 <
2317 is_convertible<typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type,
Eric Fiselierf301a112015-07-10 23:29:18 +00002318 result_type>::value || is_void<_Rp>::value,
Howard Hinnant0560f782013-02-21 18:16:55 +00002319 result_type
2320 >::type
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002321 operator()(_Args&& ...__args) const
2322 {
Eric Fiselierf301a112015-07-10 23:29:18 +00002323 typedef __invoke_void_return_wrapper<_Rp> _Invoker;
2324 return _Invoker::__call(static_cast<base const&>(*this), _VSTD::forward<_Args>(__args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002325 }
2326};
2327
Howard Hinnant99968442011-11-29 18:15:50 +00002328template<class _Rp, class _Fp, class ..._BoundArgs>
2329struct __is_bind_expression<__bind_r<_Rp, _Fp, _BoundArgs...> > : public true_type {};
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002330
Howard Hinnant99968442011-11-29 18:15:50 +00002331template<class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002332inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00002333__bind<_Fp, _BoundArgs...>
2334bind(_Fp&& __f, _BoundArgs&&... __bound_args)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002335{
Howard Hinnant99968442011-11-29 18:15:50 +00002336 typedef __bind<_Fp, _BoundArgs...> type;
2337 return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002338}
2339
Howard Hinnant99968442011-11-29 18:15:50 +00002340template<class _Rp, class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002341inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50 +00002342__bind_r<_Rp, _Fp, _BoundArgs...>
2343bind(_Fp&& __f, _BoundArgs&&... __bound_args)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002344{
Howard Hinnant99968442011-11-29 18:15:50 +00002345 typedef __bind_r<_Rp, _Fp, _BoundArgs...> type;
2346 return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002347}
2348
2349#endif // _LIBCPP_HAS_NO_VARIADICS
2350
2351template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002352struct _LIBCPP_TYPE_VIS_ONLY hash<bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002353 : public unary_function<bool, size_t>
2354{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002355 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002356 size_t operator()(bool __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002357};
2358
2359template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002360struct _LIBCPP_TYPE_VIS_ONLY hash<char>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002361 : public unary_function<char, size_t>
2362{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002363 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002364 size_t operator()(char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002365};
2366
2367template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002368struct _LIBCPP_TYPE_VIS_ONLY hash<signed char>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002369 : public unary_function<signed char, size_t>
2370{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002371 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002372 size_t operator()(signed char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002373};
2374
2375template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002376struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned char>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002377 : public unary_function<unsigned char, size_t>
2378{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002379 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002380 size_t operator()(unsigned char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002381};
2382
2383#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
2384
2385template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002386struct _LIBCPP_TYPE_VIS_ONLY hash<char16_t>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002387 : public unary_function<char16_t, size_t>
2388{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002389 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002390 size_t operator()(char16_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002391};
2392
2393template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002394struct _LIBCPP_TYPE_VIS_ONLY hash<char32_t>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002395 : public unary_function<char32_t, size_t>
2396{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002397 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002398 size_t operator()(char32_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002399};
2400
Howard Hinnant324bb032010-08-22 00:02:43 +00002401#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002402
2403template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002404struct _LIBCPP_TYPE_VIS_ONLY hash<wchar_t>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002405 : public unary_function<wchar_t, size_t>
2406{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002407 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002408 size_t operator()(wchar_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002409};
2410
2411template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002412struct _LIBCPP_TYPE_VIS_ONLY hash<short>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002413 : public unary_function<short, size_t>
2414{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002415 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002416 size_t operator()(short __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002417};
2418
2419template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002420struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned short>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002421 : public unary_function<unsigned short, size_t>
2422{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002423 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002424 size_t operator()(unsigned short __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002425};
2426
2427template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002428struct _LIBCPP_TYPE_VIS_ONLY hash<int>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002429 : public unary_function<int, size_t>
2430{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002431 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002432 size_t operator()(int __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002433};
2434
2435template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002436struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned int>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002437 : public unary_function<unsigned int, size_t>
2438{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002439 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002440 size_t operator()(unsigned int __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002441};
2442
2443template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002444struct _LIBCPP_TYPE_VIS_ONLY hash<long>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002445 : public unary_function<long, size_t>
2446{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002447 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002448 size_t operator()(long __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002449};
2450
2451template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002452struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned long>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002453 : public unary_function<unsigned long, size_t>
2454{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002455 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002456 size_t operator()(unsigned long __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002457};
2458
2459template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002460struct _LIBCPP_TYPE_VIS_ONLY hash<long long>
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002461 : public __scalar_hash<long long>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002462{
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002463};
2464
2465template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002466struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned long long>
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002467 : public __scalar_hash<unsigned long long>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002468{
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002469};
2470
2471template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002472struct _LIBCPP_TYPE_VIS_ONLY hash<float>
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002473 : public __scalar_hash<float>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002474{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002475 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002476 size_t operator()(float __v) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002477 {
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002478 // -0.0 and 0.0 should return same hash
Howard Hinnant28916752011-12-02 23:45:22 +00002479 if (__v == 0)
2480 return 0;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002481 return __scalar_hash<float>::operator()(__v);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002482 }
2483};
2484
2485template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002486struct _LIBCPP_TYPE_VIS_ONLY hash<double>
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002487 : public __scalar_hash<double>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002488{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002489 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002490 size_t operator()(double __v) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002491 {
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002492 // -0.0 and 0.0 should return same hash
2493 if (__v == 0)
2494 return 0;
2495 return __scalar_hash<double>::operator()(__v);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002496 }
2497};
2498
2499template <>
Howard Hinnant0f678bd2013-08-12 18:38:34 +00002500struct _LIBCPP_TYPE_VIS_ONLY hash<long double>
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002501 : public __scalar_hash<long double>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002502{
Howard Hinnant42a63a72010-09-21 22:55:27 +00002503 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:48 +00002504 size_t operator()(long double __v) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002505 {
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002506 // -0.0 and 0.0 should return same hash
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002507 if (__v == 0)
2508 return 0;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002509#if defined(__i386__)
2510 // Zero out padding bits
2511 union
Howard Hinnant28916752011-12-02 23:45:22 +00002512 {
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002513 long double __t;
2514 struct
Howard Hinnant28916752011-12-02 23:45:22 +00002515 {
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002516 size_t __a;
2517 size_t __b;
2518 size_t __c;
Howard Hinnant28916752011-12-02 23:45:22 +00002519 size_t __d;
Eric Fiselier692177d2015-07-18 20:40:46 +00002520 } __s;
Howard Hinnant28916752011-12-02 23:45:22 +00002521 } __u;
Eric Fiselier692177d2015-07-18 20:40:46 +00002522 __u.__s.__a = 0;
2523 __u.__s.__b = 0;
2524 __u.__s.__c = 0;
2525 __u.__s.__d = 0;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002526 __u.__t = __v;
Eric Fiselier692177d2015-07-18 20:40:46 +00002527 return __u.__s.__a ^ __u.__s.__b ^ __u.__s.__c ^ __u.__s.__d;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002528#elif defined(__x86_64__)
2529 // Zero out padding bits
2530 union
2531 {
2532 long double __t;
2533 struct
2534 {
2535 size_t __a;
2536 size_t __b;
Eric Fiselier692177d2015-07-18 20:40:46 +00002537 } __s;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002538 } __u;
Eric Fiselier692177d2015-07-18 20:40:46 +00002539 __u.__s.__a = 0;
2540 __u.__s.__b = 0;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002541 __u.__t = __v;
Eric Fiselier692177d2015-07-18 20:40:46 +00002542 return __u.__s.__a ^ __u.__s.__b;
Howard Hinnantcf2654b2011-12-03 21:11:36 +00002543#else
2544 return __scalar_hash<long double>::operator()(__v);
2545#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002546 }
2547};
2548
Marshall Clow9e613ca2013-09-03 17:55:32 +00002549#if _LIBCPP_STD_VER > 11
2550template <class _Tp>
2551struct _LIBCPP_TYPE_VIS_ONLY hash
2552 : public unary_function<_Tp, size_t>
2553{
2554 static_assert(is_enum<_Tp>::value, "This hash only works for enumeration types");
2555
2556 _LIBCPP_INLINE_VISIBILITY
2557 size_t operator()(_Tp __v) const _NOEXCEPT
2558 {
2559 typedef typename underlying_type<_Tp>::type type;
2560 return hash<type>{}(static_cast<type>(__v));
2561 }
2562};
2563#endif
2564
Eric Fiselier22dff532015-07-14 20:16:15 +00002565
2566#if _LIBCPP_STD_VER > 14
2567template <class _Fn, class ..._Args>
2568result_of_t<_Fn&&(_Args&&...)>
2569invoke(_Fn&& __f, _Args&&... __args) {
2570 return __invoke(_VSTD::forward<_Fn>(__f), _VSTD::forward<_Args>(__args)...);
2571}
2572#endif
2573
Howard Hinnant21aefc32010-06-03 16:42:57 +00002574// struct hash<T*> in <memory>
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002575
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00002576_LIBCPP_END_NAMESPACE_STD
2577
2578#endif // _LIBCPP_FUNCTIONAL