blob: 995db564c1d71eabf6d055789154ca8f0a5677fa [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:161// -*- C++ -*-
2//===------------------------ functional ----------------------------------===//
3//
Howard Hinnantf5256e12010-05-11 21:36:014// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:165//
Howard Hinnantb64f8b02010-11-16 22:09:026// 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:168//
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:4635template <class T>
Howard Hinnantbc8d3f92010-05-11 19:42:1636class 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:4846 reference_wrapper(T&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1647 reference_wrapper(T&&) = delete; // do not bind to temps
Howard Hinnant603d2c02011-05-28 17:59:4848 reference_wrapper(const reference_wrapper<T>& x) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1649
50 // assignment
Howard Hinnant603d2c02011-05-28 17:59:4851 reference_wrapper& operator=(const reference_wrapper<T>& x) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1652
53 // access
Howard Hinnant603d2c02011-05-28 17:59:4854 operator T& () const noexcept;
55 T& get() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1656
57 // invoke
58 template <class... ArgTypes>
Howard Hinnant72552802010-08-20 19:36:4659 typename result_of<T(ArgTypes...)>::type
Howard Hinnantbc8d3f92010-05-11 19:42:1660 operator() (ArgTypes&&...) const;
61};
62
Howard Hinnant603d2c02011-05-28 17:59:4863template <class T> reference_wrapper<T> ref(T& t) noexcept;
Howard Hinnant72552802010-08-20 19:36:4664template <class T> void ref(const T&& t) = delete;
Howard Hinnant603d2c02011-05-28 17:59:4865template <class T> reference_wrapper<T> ref(reference_wrapper<T>t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1666
Howard Hinnant603d2c02011-05-28 17:59:4867template <class T> reference_wrapper<const T> cref(const T& t) noexcept;
Howard Hinnant72552802010-08-20 19:36:4668template <class T> void cref(const T&& t) = delete;
Howard Hinnant603d2c02011-05-28 17:59:4869template <class T> reference_wrapper<const T> cref(reference_wrapper<T> t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:1670
71template <class T>
72struct plus : binary_function<T, T, T>
73{
74 T operator()(const T& x, const T& y) const;
75};
76
77template <class T>
78struct minus : binary_function<T, T, T>
79{
80 T operator()(const T& x, const T& y) const;
81};
82
83template <class T>
84struct multiplies : binary_function<T, T, T>
85{
86 T operator()(const T& x, const T& y) const;
87};
88
89template <class T>
90struct divides : binary_function<T, T, T>
91{
92 T operator()(const T& x, const T& y) const;
93};
94
95template <class T>
96struct modulus : binary_function<T, T, T>
97{
98 T operator()(const T& x, const T& y) const;
99};
100
101template <class T>
102struct negate : unary_function<T, T>
103{
104 T operator()(const T& x) const;
105};
106
107template <class T>
108struct equal_to : binary_function<T, T, bool>
109{
110 bool operator()(const T& x, const T& y) const;
111};
112
113template <class T>
114struct not_equal_to : binary_function<T, T, bool>
115{
116 bool operator()(const T& x, const T& y) const;
117};
118
119template <class T>
120struct greater : binary_function<T, T, bool>
121{
122 bool operator()(const T& x, const T& y) const;
123};
124
125template <class T>
126struct less : binary_function<T, T, bool>
127{
128 bool operator()(const T& x, const T& y) const;
129};
130
131template <class T>
132struct greater_equal : binary_function<T, T, bool>
133{
134 bool operator()(const T& x, const T& y) const;
135};
136
137template <class T>
138struct less_equal : binary_function<T, T, bool>
139{
140 bool operator()(const T& x, const T& y) const;
141};
142
143template <class T>
144struct logical_and : binary_function<T, T, bool>
145{
146 bool operator()(const T& x, const T& y) const;
147};
148
149template <class T>
150struct logical_or : binary_function<T, T, bool>
151{
152 bool operator()(const T& x, const T& y) const;
153};
154
155template <class T>
156struct logical_not : unary_function<T, bool>
157{
158 bool operator()(const T& x) const;
159};
160
161template <class Predicate>
162class unary_negate
163 : public unary_function<typename Predicate::argument_type, bool>
164{
165public:
166 explicit unary_negate(const Predicate& pred);
167 bool operator()(const typename Predicate::argument_type& x) const;
168};
169
170template <class Predicate> unary_negate<Predicate> not1(const Predicate& pred);
171
172template <class Predicate>
173class binary_negate
174 : public binary_function<typename Predicate::first_argument_type,
175 typename Predicate::second_argument_type,
176 bool>
177{
178public:
179 explicit binary_negate(const Predicate& pred);
180 bool operator()(const typename Predicate::first_argument_type& x,
181 const typename Predicate::second_argument_type& y) const;
182};
183
184template <class Predicate> binary_negate<Predicate> not2(const Predicate& pred);
185
186template<class T> struct is_bind_expression;
187template<class T> struct is_placeholder;
188
Howard Hinnant324bb032010-08-22 00:02:43189template<class Fn, class... BoundArgs>
Howard Hinnant72552802010-08-20 19:36:46190 unspecified bind(Fn&&, BoundArgs&&...);
Howard Hinnant324bb032010-08-22 00:02:43191template<class R, class Fn, class... BoundArgs>
Howard Hinnant72552802010-08-20 19:36:46192 unspecified bind(Fn&&, BoundArgs&&...);
Howard Hinnantbc8d3f92010-05-11 19:42:16193
Howard Hinnant324bb032010-08-22 00:02:43194namespace placeholders {
195 // M is the implementation-defined number of placeholders
Howard Hinnantbc8d3f92010-05-11 19:42:16196 extern unspecified _1;
197 extern unspecified _2;
Howard Hinnant324bb032010-08-22 00:02:43198 .
199 .
200 .
Howard Hinnant99968442011-11-29 18:15:50201 extern unspecified _Mp;
Howard Hinnantbc8d3f92010-05-11 19:42:16202}
203
204template <class Operation>
205class binder1st
206 : public unary_function<typename Operation::second_argument_type,
207 typename Operation::result_type>
208{
209protected:
210 Operation op;
211 typename Operation::first_argument_type value;
212public:
213 binder1st(const Operation& x, const typename Operation::first_argument_type y);
214 typename Operation::result_type operator()( typename Operation::second_argument_type& x) const;
215 typename Operation::result_type operator()(const typename Operation::second_argument_type& x) const;
216};
217
218template <class Operation, class T>
219binder1st<Operation> bind1st(const Operation& op, const T& x);
220
221template <class Operation>
222class binder2nd
223 : public unary_function<typename Operation::first_argument_type,
224 typename Operation::result_type>
225{
226protected:
227 Operation op;
228 typename Operation::second_argument_type value;
229public:
230 binder2nd(const Operation& x, const typename Operation::second_argument_type y);
231 typename Operation::result_type operator()( typename Operation::first_argument_type& x) const;
232 typename Operation::result_type operator()(const typename Operation::first_argument_type& x) const;
233};
234
235template <class Operation, class T>
236binder2nd<Operation> bind2nd(const Operation& op, const T& x);
237
238template <class Arg, class Result>
239class pointer_to_unary_function : public unary_function<Arg, Result>
240{
241public:
242 explicit pointer_to_unary_function(Result (*f)(Arg));
243 Result operator()(Arg x) const;
244};
245
246template <class Arg, class Result>
247pointer_to_unary_function<Arg,Result> ptr_fun(Result (*f)(Arg));
248
249template <class Arg1, class Arg2, class Result>
250class pointer_to_binary_function : public binary_function<Arg1, Arg2, Result>
251{
252public:
253 explicit pointer_to_binary_function(Result (*f)(Arg1, Arg2));
254 Result operator()(Arg1 x, Arg2 y) const;
255};
256
257template <class Arg1, class Arg2, class Result>
258pointer_to_binary_function<Arg1,Arg2,Result> ptr_fun(Result (*f)(Arg1,Arg2));
259
260template<class S, class T>
261class mem_fun_t : public unary_function<T*, S>
262{
263public:
264 explicit mem_fun_t(S (T::*p)());
265 S operator()(T* p) const;
266};
267
268template<class S, class T, class A>
269class mem_fun1_t : public binary_function<T*, A, S>
270{
271public:
272 explicit mem_fun1_t(S (T::*p)(A));
273 S operator()(T* p, A x) const;
274};
275
276template<class S, class T> mem_fun_t<S,T> mem_fun(S (T::*f)());
277template<class S, class T, class A> mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A));
278
279template<class S, class T>
280class mem_fun_ref_t : public unary_function<T, S>
281{
282public:
283 explicit mem_fun_ref_t(S (T::*p)());
284 S operator()(T& p) const;
285};
286
287template<class S, class T, class A>
288class mem_fun1_ref_t : public binary_function<T, A, S>
289{
290public:
291 explicit mem_fun1_ref_t(S (T::*p)(A));
292 S operator()(T& p, A x) const;
293};
294
295template<class S, class T> mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)());
296template<class S, class T, class A> mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A));
297
298template <class S, class T>
299class const_mem_fun_t : public unary_function<const T*, S>
300{
301public:
302 explicit const_mem_fun_t(S (T::*p)() const);
303 S operator()(const T* p) const;
304};
305
306template <class S, class T, class A>
307class const_mem_fun1_t : public binary_function<const T*, A, S>
308{
309public:
310 explicit const_mem_fun1_t(S (T::*p)(A) const);
311 S operator()(const T* p, A x) const;
312};
313
314template <class S, class T> const_mem_fun_t<S,T> mem_fun(S (T::*f)() const);
315template <class S, class T, class A> const_mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A) const);
316
317template <class S, class T>
318class const_mem_fun_ref_t : public unary_function<T, S>
319{
320public:
321 explicit const_mem_fun_ref_t(S (T::*p)() const);
322 S operator()(const T& p) const;
323};
324
325template <class S, class T, class A>
326class const_mem_fun1_ref_t : public binary_function<T, A, S>
327{
328public:
329 explicit const_mem_fun1_ref_t(S (T::*p)(A) const);
330 S operator()(const T& p, A x) const;
331};
332
333template <class S, class T> const_mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)() const);
334template <class S, class T, class A> const_mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A) const);
335
Howard Hinnant72552802010-08-20 19:36:46336template<class R, class T> unspecified mem_fn(R T::*);
337template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...));
338template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) const);
339template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) volatile);
340template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) const volatile);
341template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) &);
342template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) const &);
343template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) volatile &);
344template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) const volatile &);
345template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) &&);
346template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) const &&);
347template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) volatile &&);
348template<class R, class T, class... Args> unspecified mem_fn(R (T::*)(Args...) const volatile &&);
349
Howard Hinnantbc8d3f92010-05-11 19:42:16350class bad_function_call
351 : public exception
352{
353};
354
Howard Hinnant72552802010-08-20 19:36:46355template<class> class function; // undefined
Howard Hinnantbc8d3f92010-05-11 19:42:16356
Howard Hinnant72552802010-08-20 19:36:46357template<class R, class... ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16358class function<R(ArgTypes...)>
359 : public unary_function<T1, R> // iff sizeof...(ArgTypes) == 1 and
360 // ArgTypes contains T1
361 : public binary_function<T1, T2, R> // iff sizeof...(ArgTypes) == 2 and
362 // ArgTypes contains T1 and T2
363{
364public:
365 typedef R result_type;
366
Howard Hinnant72552802010-08-20 19:36:46367 // construct/copy/destroy:
Howard Hinnant603d2c02011-05-28 17:59:48368 function() noexcept;
369 function(nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16370 function(const function&);
Howard Hinnant603d2c02011-05-28 17:59:48371 function(function&&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16372 template<class F>
Howard Hinnantbc8d3f92010-05-11 19:42:16373 function(F);
Howard Hinnantbc8d3f92010-05-11 19:42:16374 template<Allocator Alloc>
Howard Hinnant603d2c02011-05-28 17:59:48375 function(allocator_arg_t, const Alloc&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16376 template<Allocator Alloc>
Howard Hinnant603d2c02011-05-28 17:59:48377 function(allocator_arg_t, const Alloc&, nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16378 template<Allocator Alloc>
379 function(allocator_arg_t, const Alloc&, const function&);
380 template<Allocator Alloc>
381 function(allocator_arg_t, const Alloc&, function&&);
382 template<class F, Allocator Alloc>
383 function(allocator_arg_t, const Alloc&, F);
Howard Hinnantbc8d3f92010-05-11 19:42:16384
385 function& operator=(const function&);
Howard Hinnant603d2c02011-05-28 17:59:48386 function& operator=(function&&) noexcept;
Howard Hinnantad1a5cc2011-05-29 13:53:56387 function& operator=(nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16388 template<class F>
Howard Hinnant72552802010-08-20 19:36:46389 function& operator=(F&&);
Howard Hinnantbc8d3f92010-05-11 19:42:16390 template<class F>
Howard Hinnant603d2c02011-05-28 17:59:48391 function& operator=(reference_wrapper<F>) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16392
393 ~function();
394
Howard Hinnant72552802010-08-20 19:36:46395 // function modifiers:
Howard Hinnant603d2c02011-05-28 17:59:48396 void swap(function&) noexcept;
Howard Hinnant72552802010-08-20 19:36:46397 template<class F, class Alloc>
398 void assign(F&&, const Alloc&);
Howard Hinnantbc8d3f92010-05-11 19:42:16399
Howard Hinnant72552802010-08-20 19:36:46400 // function capacity:
Howard Hinnant603d2c02011-05-28 17:59:48401 explicit operator bool() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16402
Howard Hinnant72552802010-08-20 19:36:46403 // function invocation:
Howard Hinnantbc8d3f92010-05-11 19:42:16404 R operator()(ArgTypes...) const;
405
Howard Hinnant72552802010-08-20 19:36:46406 // function target access:
Howard Hinnant603d2c02011-05-28 17:59:48407 const std::type_info& target_type() const noexcept;
408 template <typename T> T* target() noexcept;
409 template <typename T> const T* target() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16410};
411
Howard Hinnant324bb032010-08-22 00:02:43412// Null pointer comparisons:
413template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48414 bool operator==(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16415
Howard Hinnant324bb032010-08-22 00:02:43416template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48417 bool operator==(nullptr_t, const function<R(ArgTypes...)>&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16418
Howard Hinnant324bb032010-08-22 00:02:43419template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48420 bool operator!=(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16421
Howard Hinnant324bb032010-08-22 00:02:43422template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48423 bool operator!=(nullptr_t, const function<R(ArgTypes...)>&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16424
Howard Hinnant324bb032010-08-22 00:02:43425// specialized algorithms:
426template <class R, class ... ArgTypes>
Howard Hinnant603d2c02011-05-28 17:59:48427 void swap(function<R(ArgTypes...)>&, function<R(ArgTypes...)>&) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16428
429template <class T> struct hash;
430
431template <> struct hash<bool>;
432template <> struct hash<char>;
433template <> struct hash<signed char>;
434template <> struct hash<unsigned char>;
435template <> struct hash<char16_t>;
436template <> struct hash<char32_t>;
437template <> struct hash<wchar_t>;
438template <> struct hash<short>;
439template <> struct hash<unsigned short>;
440template <> struct hash<int>;
441template <> struct hash<unsigned int>;
442template <> struct hash<long>;
443template <> struct hash<long long>;
444template <> struct hash<unsigned long>;
445template <> struct hash<unsigned long long>;
446
447template <> struct hash<float>;
448template <> struct hash<double>;
449template <> struct hash<long double>;
450
451template<class T> struct hash<T*>;
452
453} // std
454
455POLICY: For non-variadic implementations, the number of arguments is limited
456 to 3. It is hoped that the need for non-variadic implementations
457 will be minimal.
458
459*/
460
461#include <__config>
462#include <type_traits>
463#include <typeinfo>
464#include <exception>
465#include <memory>
466#include <tuple>
467
468#include <__functional_base>
469
Howard Hinnant08e17472011-10-17 20:05:10470#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantbc8d3f92010-05-11 19:42:16471#pragma GCC system_header
Howard Hinnant08e17472011-10-17 20:05:10472#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16473
474_LIBCPP_BEGIN_NAMESPACE_STD
475
476template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19477struct _LIBCPP_TYPE_VIS plus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16478{
479 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
480 {return __x + __y;}
481};
482
483template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19484struct _LIBCPP_TYPE_VIS minus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16485{
486 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
487 {return __x - __y;}
488};
489
490template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19491struct _LIBCPP_TYPE_VIS multiplies : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16492{
493 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
494 {return __x * __y;}
495};
496
497template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19498struct _LIBCPP_TYPE_VIS divides : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16499{
500 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
501 {return __x / __y;}
502};
503
504template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19505struct _LIBCPP_TYPE_VIS modulus : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16506{
507 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
508 {return __x % __y;}
509};
510
511template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19512struct _LIBCPP_TYPE_VIS negate : unary_function<_Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16513{
514 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x) const
515 {return -__x;}
516};
517
518template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19519struct _LIBCPP_TYPE_VIS equal_to : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16520{
521 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
522 {return __x == __y;}
523};
524
525template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19526struct _LIBCPP_TYPE_VIS not_equal_to : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16527{
528 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
529 {return __x != __y;}
530};
531
532template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19533struct _LIBCPP_TYPE_VIS greater : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16534{
535 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
536 {return __x > __y;}
537};
538
Howard Hinnant3fadda32012-02-21 21:02:58539// less in <__functional_base>
Howard Hinnantbc8d3f92010-05-11 19:42:16540
541template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19542struct _LIBCPP_TYPE_VIS greater_equal : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16543{
544 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
545 {return __x >= __y;}
546};
547
548template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19549struct _LIBCPP_TYPE_VIS less_equal : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16550{
551 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
552 {return __x <= __y;}
553};
554
555template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19556struct _LIBCPP_TYPE_VIS logical_and : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16557{
558 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
559 {return __x && __y;}
560};
561
562template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19563struct _LIBCPP_TYPE_VIS logical_or : binary_function<_Tp, _Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16564{
565 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x, const _Tp& __y) const
566 {return __x || __y;}
567};
568
569template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19570struct _LIBCPP_TYPE_VIS logical_not : unary_function<_Tp, bool>
Howard Hinnantbc8d3f92010-05-11 19:42:16571{
572 _LIBCPP_INLINE_VISIBILITY bool operator()(const _Tp& __x) const
573 {return !__x;}
574};
575
576template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19577struct _LIBCPP_TYPE_VIS bit_and : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16578{
579 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
580 {return __x & __y;}
581};
582
583template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19584struct _LIBCPP_TYPE_VIS bit_or : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16585{
586 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
587 {return __x | __y;}
588};
589
590template <class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19591struct _LIBCPP_TYPE_VIS bit_xor : binary_function<_Tp, _Tp, _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16592{
593 _LIBCPP_INLINE_VISIBILITY _Tp operator()(const _Tp& __x, const _Tp& __y) const
594 {return __x ^ __y;}
595};
596
597template <class _Predicate>
Howard Hinnant83eade62013-03-06 23:30:19598class _LIBCPP_TYPE_VIS unary_negate
Howard Hinnantbc8d3f92010-05-11 19:42:16599 : public unary_function<typename _Predicate::argument_type, bool>
600{
601 _Predicate __pred_;
602public:
603 _LIBCPP_INLINE_VISIBILITY explicit unary_negate(const _Predicate& __pred)
604 : __pred_(__pred) {}
605 _LIBCPP_INLINE_VISIBILITY bool operator()(const typename _Predicate::argument_type& __x) const
606 {return !__pred_(__x);}
607};
608
609template <class _Predicate>
610inline _LIBCPP_INLINE_VISIBILITY
611unary_negate<_Predicate>
612not1(const _Predicate& __pred) {return unary_negate<_Predicate>(__pred);}
613
614template <class _Predicate>
Howard Hinnant83eade62013-03-06 23:30:19615class _LIBCPP_TYPE_VIS binary_negate
Howard Hinnantbc8d3f92010-05-11 19:42:16616 : public binary_function<typename _Predicate::first_argument_type,
617 typename _Predicate::second_argument_type,
618 bool>
619{
620 _Predicate __pred_;
621public:
622 _LIBCPP_INLINE_VISIBILITY explicit binary_negate(const _Predicate& __pred)
623 : __pred_(__pred) {}
624 _LIBCPP_INLINE_VISIBILITY bool operator()(const typename _Predicate::first_argument_type& __x,
625 const typename _Predicate::second_argument_type& __y) const
626 {return !__pred_(__x, __y);}
627};
628
629template <class _Predicate>
630inline _LIBCPP_INLINE_VISIBILITY
631binary_negate<_Predicate>
632not2(const _Predicate& __pred) {return binary_negate<_Predicate>(__pred);}
633
634template <class __Operation>
Howard Hinnant83eade62013-03-06 23:30:19635class _LIBCPP_TYPE_VIS binder1st
Howard Hinnantbc8d3f92010-05-11 19:42:16636 : public unary_function<typename __Operation::second_argument_type,
637 typename __Operation::result_type>
638{
639protected:
640 __Operation op;
641 typename __Operation::first_argument_type value;
642public:
643 _LIBCPP_INLINE_VISIBILITY binder1st(const __Operation& __x,
644 const typename __Operation::first_argument_type __y)
645 : op(__x), value(__y) {}
646 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
647 (typename __Operation::second_argument_type& __x) const
648 {return op(value, __x);}
649 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
650 (const typename __Operation::second_argument_type& __x) const
651 {return op(value, __x);}
652};
653
654template <class __Operation, class _Tp>
655inline _LIBCPP_INLINE_VISIBILITY
656binder1st<__Operation>
657bind1st(const __Operation& __op, const _Tp& __x)
658 {return binder1st<__Operation>(__op, __x);}
659
660template <class __Operation>
Howard Hinnant83eade62013-03-06 23:30:19661class _LIBCPP_TYPE_VIS binder2nd
Howard Hinnantbc8d3f92010-05-11 19:42:16662 : public unary_function<typename __Operation::first_argument_type,
663 typename __Operation::result_type>
664{
665protected:
666 __Operation op;
667 typename __Operation::second_argument_type value;
668public:
Howard Hinnant42a63a72010-09-21 22:55:27669 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16670 binder2nd(const __Operation& __x, const typename __Operation::second_argument_type __y)
671 : op(__x), value(__y) {}
672 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
673 ( typename __Operation::first_argument_type& __x) const
674 {return op(__x, value);}
675 _LIBCPP_INLINE_VISIBILITY typename __Operation::result_type operator()
676 (const typename __Operation::first_argument_type& __x) const
677 {return op(__x, value);}
678};
679
680template <class __Operation, class _Tp>
681inline _LIBCPP_INLINE_VISIBILITY
682binder2nd<__Operation>
683bind2nd(const __Operation& __op, const _Tp& __x)
684 {return binder2nd<__Operation>(__op, __x);}
685
686template <class _Arg, class _Result>
Howard Hinnant83eade62013-03-06 23:30:19687class _LIBCPP_TYPE_VIS pointer_to_unary_function
Howard Hinnant42a63a72010-09-21 22:55:27688 : public unary_function<_Arg, _Result>
Howard Hinnantbc8d3f92010-05-11 19:42:16689{
690 _Result (*__f_)(_Arg);
691public:
692 _LIBCPP_INLINE_VISIBILITY explicit pointer_to_unary_function(_Result (*__f)(_Arg))
693 : __f_(__f) {}
694 _LIBCPP_INLINE_VISIBILITY _Result operator()(_Arg __x) const
695 {return __f_(__x);}
696};
697
698template <class _Arg, class _Result>
699inline _LIBCPP_INLINE_VISIBILITY
700pointer_to_unary_function<_Arg,_Result>
701ptr_fun(_Result (*__f)(_Arg))
702 {return pointer_to_unary_function<_Arg,_Result>(__f);}
703
704template <class _Arg1, class _Arg2, class _Result>
Howard Hinnant83eade62013-03-06 23:30:19705class _LIBCPP_TYPE_VIS pointer_to_binary_function
Howard Hinnant42a63a72010-09-21 22:55:27706 : public binary_function<_Arg1, _Arg2, _Result>
Howard Hinnantbc8d3f92010-05-11 19:42:16707{
708 _Result (*__f_)(_Arg1, _Arg2);
709public:
710 _LIBCPP_INLINE_VISIBILITY explicit pointer_to_binary_function(_Result (*__f)(_Arg1, _Arg2))
711 : __f_(__f) {}
712 _LIBCPP_INLINE_VISIBILITY _Result operator()(_Arg1 __x, _Arg2 __y) const
713 {return __f_(__x, __y);}
714};
715
716template <class _Arg1, class _Arg2, class _Result>
717inline _LIBCPP_INLINE_VISIBILITY
718pointer_to_binary_function<_Arg1,_Arg2,_Result>
719ptr_fun(_Result (*__f)(_Arg1,_Arg2))
720 {return pointer_to_binary_function<_Arg1,_Arg2,_Result>(__f);}
721
722template<class _Sp, class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19723class _LIBCPP_TYPE_VIS mem_fun_t : public unary_function<_Tp*, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16724{
725 _Sp (_Tp::*__p_)();
726public:
727 _LIBCPP_INLINE_VISIBILITY explicit mem_fun_t(_Sp (_Tp::*__p)())
728 : __p_(__p) {}
729 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp* __p) const
730 {return (__p->*__p_)();}
731};
732
733template<class _Sp, class _Tp, class _Ap>
Howard Hinnant83eade62013-03-06 23:30:19734class _LIBCPP_TYPE_VIS mem_fun1_t : public binary_function<_Tp*, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16735{
736 _Sp (_Tp::*__p_)(_Ap);
737public:
738 _LIBCPP_INLINE_VISIBILITY explicit mem_fun1_t(_Sp (_Tp::*__p)(_Ap))
739 : __p_(__p) {}
740 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp* __p, _Ap __x) const
741 {return (__p->*__p_)(__x);}
742};
743
744template<class _Sp, class _Tp>
745inline _LIBCPP_INLINE_VISIBILITY
746mem_fun_t<_Sp,_Tp>
747mem_fun(_Sp (_Tp::*__f)())
748 {return mem_fun_t<_Sp,_Tp>(__f);}
749
750template<class _Sp, class _Tp, class _Ap>
751inline _LIBCPP_INLINE_VISIBILITY
752mem_fun1_t<_Sp,_Tp,_Ap>
753mem_fun(_Sp (_Tp::*__f)(_Ap))
754 {return mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
755
756template<class _Sp, class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19757class _LIBCPP_TYPE_VIS mem_fun_ref_t : public unary_function<_Tp, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16758{
759 _Sp (_Tp::*__p_)();
760public:
761 _LIBCPP_INLINE_VISIBILITY explicit mem_fun_ref_t(_Sp (_Tp::*__p)())
762 : __p_(__p) {}
763 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp& __p) const
764 {return (__p.*__p_)();}
765};
766
767template<class _Sp, class _Tp, class _Ap>
Howard Hinnant83eade62013-03-06 23:30:19768class _LIBCPP_TYPE_VIS mem_fun1_ref_t : public binary_function<_Tp, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16769{
770 _Sp (_Tp::*__p_)(_Ap);
771public:
772 _LIBCPP_INLINE_VISIBILITY explicit mem_fun1_ref_t(_Sp (_Tp::*__p)(_Ap))
773 : __p_(__p) {}
774 _LIBCPP_INLINE_VISIBILITY _Sp operator()(_Tp& __p, _Ap __x) const
775 {return (__p.*__p_)(__x);}
776};
777
778template<class _Sp, class _Tp>
779inline _LIBCPP_INLINE_VISIBILITY
780mem_fun_ref_t<_Sp,_Tp>
781mem_fun_ref(_Sp (_Tp::*__f)())
782 {return mem_fun_ref_t<_Sp,_Tp>(__f);}
783
784template<class _Sp, class _Tp, class _Ap>
785inline _LIBCPP_INLINE_VISIBILITY
786mem_fun1_ref_t<_Sp,_Tp,_Ap>
787mem_fun_ref(_Sp (_Tp::*__f)(_Ap))
788 {return mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
789
790template <class _Sp, class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19791class _LIBCPP_TYPE_VIS const_mem_fun_t : public unary_function<const _Tp*, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16792{
793 _Sp (_Tp::*__p_)() const;
794public:
795 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun_t(_Sp (_Tp::*__p)() const)
796 : __p_(__p) {}
797 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp* __p) const
798 {return (__p->*__p_)();}
799};
800
801template <class _Sp, class _Tp, class _Ap>
Howard Hinnant83eade62013-03-06 23:30:19802class _LIBCPP_TYPE_VIS const_mem_fun1_t : public binary_function<const _Tp*, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16803{
804 _Sp (_Tp::*__p_)(_Ap) const;
805public:
806 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun1_t(_Sp (_Tp::*__p)(_Ap) const)
807 : __p_(__p) {}
808 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp* __p, _Ap __x) const
809 {return (__p->*__p_)(__x);}
810};
811
812template <class _Sp, class _Tp>
813inline _LIBCPP_INLINE_VISIBILITY
814const_mem_fun_t<_Sp,_Tp>
815mem_fun(_Sp (_Tp::*__f)() const)
816 {return const_mem_fun_t<_Sp,_Tp>(__f);}
817
818template <class _Sp, class _Tp, class _Ap>
819inline _LIBCPP_INLINE_VISIBILITY
820const_mem_fun1_t<_Sp,_Tp,_Ap>
821mem_fun(_Sp (_Tp::*__f)(_Ap) const)
822 {return const_mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
823
824template <class _Sp, class _Tp>
Howard Hinnant83eade62013-03-06 23:30:19825class _LIBCPP_TYPE_VIS const_mem_fun_ref_t : public unary_function<_Tp, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16826{
827 _Sp (_Tp::*__p_)() const;
828public:
829 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun_ref_t(_Sp (_Tp::*__p)() const)
830 : __p_(__p) {}
831 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp& __p) const
832 {return (__p.*__p_)();}
833};
834
835template <class _Sp, class _Tp, class _Ap>
Howard Hinnant83eade62013-03-06 23:30:19836class _LIBCPP_TYPE_VIS const_mem_fun1_ref_t
Howard Hinnant42a63a72010-09-21 22:55:27837 : public binary_function<_Tp, _Ap, _Sp>
Howard Hinnantbc8d3f92010-05-11 19:42:16838{
839 _Sp (_Tp::*__p_)(_Ap) const;
840public:
841 _LIBCPP_INLINE_VISIBILITY explicit const_mem_fun1_ref_t(_Sp (_Tp::*__p)(_Ap) const)
842 : __p_(__p) {}
843 _LIBCPP_INLINE_VISIBILITY _Sp operator()(const _Tp& __p, _Ap __x) const
844 {return (__p.*__p_)(__x);}
845};
846
847template <class _Sp, class _Tp>
848inline _LIBCPP_INLINE_VISIBILITY
849const_mem_fun_ref_t<_Sp,_Tp>
850mem_fun_ref(_Sp (_Tp::*__f)() const)
851 {return const_mem_fun_ref_t<_Sp,_Tp>(__f);}
852
853template <class _Sp, class _Tp, class _Ap>
854inline _LIBCPP_INLINE_VISIBILITY
855const_mem_fun1_ref_t<_Sp,_Tp,_Ap>
856mem_fun_ref(_Sp (_Tp::*__f)(_Ap) const)
857 {return const_mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
858
Howard Hinnantbc8d3f92010-05-11 19:42:16859#ifdef _LIBCPP_HAS_NO_VARIADICS
860
861#include <__functional_03>
862
863#else // _LIBCPP_HAS_NO_VARIADICS
864
865template <class _Tp>
866class __mem_fn
867 : public __weak_result_type<_Tp>
868{
869public:
870 // types
871 typedef _Tp type;
872private:
873 type __f_;
874
875public:
876 _LIBCPP_INLINE_VISIBILITY __mem_fn(type __f) : __f_(__f) {}
877
878 // invoke
879 template <class... _ArgTypes>
Howard Hinnant42a63a72010-09-21 22:55:27880 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16881 typename __invoke_return<type, _ArgTypes...>::type
882 operator() (_ArgTypes&&... __args)
883 {
Howard Hinnant0949eed2011-06-30 21:18:19884 return __invoke(__f_, _VSTD::forward<_ArgTypes>(__args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:16885 }
886};
887
Howard Hinnant99968442011-11-29 18:15:50888template<class _Rp, class _Tp>
Howard Hinnantbc8d3f92010-05-11 19:42:16889inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50890__mem_fn<_Rp _Tp::*>
891mem_fn(_Rp _Tp::* __pm)
Howard Hinnantbc8d3f92010-05-11 19:42:16892{
Howard Hinnant99968442011-11-29 18:15:50893 return __mem_fn<_Rp _Tp::*>(__pm);
Howard Hinnantbc8d3f92010-05-11 19:42:16894}
895
Howard Hinnant99968442011-11-29 18:15:50896template<class _Rp, class _Tp, class ..._Args>
Howard Hinnantbc8d3f92010-05-11 19:42:16897inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50898__mem_fn<_Rp (_Tp::*)(_Args...)>
899mem_fn(_Rp (_Tp::* __pm)(_Args...))
Howard Hinnantbc8d3f92010-05-11 19:42:16900{
Howard Hinnant99968442011-11-29 18:15:50901 return __mem_fn<_Rp (_Tp::*)(_Args...)>(__pm);
Howard Hinnantbc8d3f92010-05-11 19:42:16902}
903
Howard Hinnant99968442011-11-29 18:15:50904template<class _Rp, class _Tp, class ..._Args>
Howard Hinnantbc8d3f92010-05-11 19:42:16905inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50906__mem_fn<_Rp (_Tp::*)(_Args...) const>
907mem_fn(_Rp (_Tp::* __pm)(_Args...) const)
Howard Hinnantbc8d3f92010-05-11 19:42:16908{
Howard Hinnant99968442011-11-29 18:15:50909 return __mem_fn<_Rp (_Tp::*)(_Args...) const>(__pm);
Howard Hinnantbc8d3f92010-05-11 19:42:16910}
911
Howard Hinnant99968442011-11-29 18:15:50912template<class _Rp, class _Tp, class ..._Args>
Howard Hinnantbc8d3f92010-05-11 19:42:16913inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50914__mem_fn<_Rp (_Tp::*)(_Args...) volatile>
915mem_fn(_Rp (_Tp::* __pm)(_Args...) volatile)
Howard Hinnantbc8d3f92010-05-11 19:42:16916{
Howard Hinnant99968442011-11-29 18:15:50917 return __mem_fn<_Rp (_Tp::*)(_Args...) volatile>(__pm);
Howard Hinnantbc8d3f92010-05-11 19:42:16918}
919
Howard Hinnant99968442011-11-29 18:15:50920template<class _Rp, class _Tp, class ..._Args>
Howard Hinnantbc8d3f92010-05-11 19:42:16921inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:50922__mem_fn<_Rp (_Tp::*)(_Args...) const volatile>
923mem_fn(_Rp (_Tp::* __pm)(_Args...) const volatile)
Howard Hinnantbc8d3f92010-05-11 19:42:16924{
Howard Hinnant99968442011-11-29 18:15:50925 return __mem_fn<_Rp (_Tp::*)(_Args...) const volatile>(__pm);
Howard Hinnantbc8d3f92010-05-11 19:42:16926}
927
928// bad_function_call
929
Howard Hinnant42a63a72010-09-21 22:55:27930class _LIBCPP_EXCEPTION_ABI bad_function_call
Howard Hinnantbc8d3f92010-05-11 19:42:16931 : public exception
932{
933};
934
Howard Hinnant83eade62013-03-06 23:30:19935template<class _Fp> class _LIBCPP_TYPE_VIS function; // undefined
Howard Hinnantbc8d3f92010-05-11 19:42:16936
937namespace __function
938{
939
Howard Hinnant99968442011-11-29 18:15:50940template<class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16941struct __maybe_derive_from_unary_function
942{
943};
944
Howard Hinnant99968442011-11-29 18:15:50945template<class _Rp, class _A1>
946struct __maybe_derive_from_unary_function<_Rp(_A1)>
947 : public unary_function<_A1, _Rp>
Howard Hinnantbc8d3f92010-05-11 19:42:16948{
949};
950
Howard Hinnant99968442011-11-29 18:15:50951template<class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:16952struct __maybe_derive_from_binary_function
953{
954};
955
Howard Hinnant99968442011-11-29 18:15:50956template<class _Rp, class _A1, class _A2>
957struct __maybe_derive_from_binary_function<_Rp(_A1, _A2)>
958 : public binary_function<_A1, _A2, _Rp>
Howard Hinnantbc8d3f92010-05-11 19:42:16959{
960};
961
962template<class _Fp> class __base;
963
Howard Hinnant99968442011-11-29 18:15:50964template<class _Rp, class ..._ArgTypes>
965class __base<_Rp(_ArgTypes...)>
Howard Hinnantbc8d3f92010-05-11 19:42:16966{
967 __base(const __base&);
968 __base& operator=(const __base&);
969public:
Howard Hinnant42a63a72010-09-21 22:55:27970 _LIBCPP_INLINE_VISIBILITY __base() {}
971 _LIBCPP_INLINE_VISIBILITY virtual ~__base() {}
Howard Hinnantbc8d3f92010-05-11 19:42:16972 virtual __base* __clone() const = 0;
973 virtual void __clone(__base*) const = 0;
Howard Hinnant603d2c02011-05-28 17:59:48974 virtual void destroy() _NOEXCEPT = 0;
975 virtual void destroy_deallocate() _NOEXCEPT = 0;
Howard Hinnant99968442011-11-29 18:15:50976 virtual _Rp operator()(_ArgTypes&& ...) = 0;
Howard Hinnantd4444702010-08-11 17:04:31977#ifndef _LIBCPP_NO_RTTI
Howard Hinnant603d2c02011-05-28 17:59:48978 virtual const void* target(const type_info&) const _NOEXCEPT = 0;
979 virtual const std::type_info& target_type() const _NOEXCEPT = 0;
Howard Hinnant324bb032010-08-22 00:02:43980#endif // _LIBCPP_NO_RTTI
Howard Hinnantbc8d3f92010-05-11 19:42:16981};
982
983template<class _FD, class _Alloc, class _FB> class __func;
984
Howard Hinnant99968442011-11-29 18:15:50985template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
986class __func<_Fp, _Alloc, _Rp(_ArgTypes...)>
987 : public __base<_Rp(_ArgTypes...)>
Howard Hinnantbc8d3f92010-05-11 19:42:16988{
Howard Hinnant99968442011-11-29 18:15:50989 __compressed_pair<_Fp, _Alloc> __f_;
Howard Hinnantbc8d3f92010-05-11 19:42:16990public:
Howard Hinnant42a63a72010-09-21 22:55:27991 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant4a13b2d2012-02-28 19:47:38992 explicit __func(_Fp&& __f)
993 : __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)),
994 _VSTD::forward_as_tuple()) {}
Howard Hinnant42a63a72010-09-21 22:55:27995 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant4a13b2d2012-02-28 19:47:38996 explicit __func(const _Fp& __f, const _Alloc& __a)
997 : __f_(piecewise_construct, _VSTD::forward_as_tuple(__f),
998 _VSTD::forward_as_tuple(__a)) {}
999
1000 _LIBCPP_INLINE_VISIBILITY
1001 explicit __func(const _Fp& __f, _Alloc&& __a)
1002 : __f_(piecewise_construct, _VSTD::forward_as_tuple(__f),
1003 _VSTD::forward_as_tuple(_VSTD::move(__a))) {}
1004
1005 _LIBCPP_INLINE_VISIBILITY
1006 explicit __func(_Fp&& __f, _Alloc&& __a)
1007 : __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)),
1008 _VSTD::forward_as_tuple(_VSTD::move(__a))) {}
Howard Hinnant99968442011-11-29 18:15:501009 virtual __base<_Rp(_ArgTypes...)>* __clone() const;
1010 virtual void __clone(__base<_Rp(_ArgTypes...)>*) const;
Howard Hinnant603d2c02011-05-28 17:59:481011 virtual void destroy() _NOEXCEPT;
1012 virtual void destroy_deallocate() _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:501013 virtual _Rp operator()(_ArgTypes&& ... __arg);
Howard Hinnantd4444702010-08-11 17:04:311014#ifndef _LIBCPP_NO_RTTI
Howard Hinnant603d2c02011-05-28 17:59:481015 virtual const void* target(const type_info&) const _NOEXCEPT;
1016 virtual const std::type_info& target_type() const _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431017#endif // _LIBCPP_NO_RTTI
Howard Hinnantbc8d3f92010-05-11 19:42:161018};
1019
Howard Hinnant99968442011-11-29 18:15:501020template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1021__base<_Rp(_ArgTypes...)>*
1022__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone() const
Howard Hinnantbc8d3f92010-05-11 19:42:161023{
Howard Hinnant99968442011-11-29 18:15:501024 typedef typename _Alloc::template rebind<__func>::other _Ap;
1025 _Ap __a(__f_.second());
1026 typedef __allocator_destructor<_Ap> _Dp;
1027 unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
Howard Hinnantbc8d3f92010-05-11 19:42:161028 ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
1029 return __hold.release();
1030}
1031
Howard Hinnant99968442011-11-29 18:15:501032template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161033void
Howard Hinnant99968442011-11-29 18:15:501034__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone(__base<_Rp(_ArgTypes...)>* __p) const
Howard Hinnantbc8d3f92010-05-11 19:42:161035{
1036 ::new (__p) __func(__f_.first(), __f_.second());
1037}
1038
Howard Hinnant99968442011-11-29 18:15:501039template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161040void
Howard Hinnant99968442011-11-29 18:15:501041__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161042{
Howard Hinnant99968442011-11-29 18:15:501043 __f_.~__compressed_pair<_Fp, _Alloc>();
Howard Hinnantbc8d3f92010-05-11 19:42:161044}
1045
Howard Hinnant99968442011-11-29 18:15:501046template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161047void
Howard Hinnant99968442011-11-29 18:15:501048__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy_deallocate() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161049{
Howard Hinnant99968442011-11-29 18:15:501050 typedef typename _Alloc::template rebind<__func>::other _Ap;
1051 _Ap __a(__f_.second());
1052 __f_.~__compressed_pair<_Fp, _Alloc>();
Howard Hinnantbc8d3f92010-05-11 19:42:161053 __a.deallocate(this, 1);
1054}
1055
Howard Hinnant99968442011-11-29 18:15:501056template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
1057_Rp
1058__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::operator()(_ArgTypes&& ... __arg)
Howard Hinnantbc8d3f92010-05-11 19:42:161059{
Howard Hinnant0949eed2011-06-30 21:18:191060 return __invoke(__f_.first(), _VSTD::forward<_ArgTypes>(__arg)...);
Howard Hinnantbc8d3f92010-05-11 19:42:161061}
1062
Howard Hinnantd4444702010-08-11 17:04:311063#ifndef _LIBCPP_NO_RTTI
1064
Howard Hinnant99968442011-11-29 18:15:501065template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161066const void*
Howard Hinnant99968442011-11-29 18:15:501067__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target(const type_info& __ti) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161068{
Howard Hinnant99968442011-11-29 18:15:501069 if (__ti == typeid(_Fp))
Howard Hinnantbc8d3f92010-05-11 19:42:161070 return &__f_.first();
1071 return (const void*)0;
1072}
1073
Howard Hinnant99968442011-11-29 18:15:501074template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161075const std::type_info&
Howard Hinnant99968442011-11-29 18:15:501076__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target_type() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161077{
Howard Hinnant99968442011-11-29 18:15:501078 return typeid(_Fp);
Howard Hinnantbc8d3f92010-05-11 19:42:161079}
1080
Howard Hinnant324bb032010-08-22 00:02:431081#endif // _LIBCPP_NO_RTTI
Howard Hinnantd4444702010-08-11 17:04:311082
Howard Hinnantbc8d3f92010-05-11 19:42:161083} // __function
1084
Howard Hinnant99968442011-11-29 18:15:501085template<class _Rp, class ..._ArgTypes>
Howard Hinnant83eade62013-03-06 23:30:191086class _LIBCPP_TYPE_VIS function<_Rp(_ArgTypes...)>
Howard Hinnant99968442011-11-29 18:15:501087 : public __function::__maybe_derive_from_unary_function<_Rp(_ArgTypes...)>,
1088 public __function::__maybe_derive_from_binary_function<_Rp(_ArgTypes...)>
Howard Hinnantbc8d3f92010-05-11 19:42:161089{
Howard Hinnant99968442011-11-29 18:15:501090 typedef __function::__base<_Rp(_ArgTypes...)> __base;
Howard Hinnant78f0de22013-01-21 17:26:551091 typename aligned_storage<3*sizeof(void*)>::type __buf_;
Howard Hinnantbc8d3f92010-05-11 19:42:161092 __base* __f_;
1093
Howard Hinnant99968442011-11-29 18:15:501094 template <class _Fp>
Howard Hinnant42a63a72010-09-21 22:55:271095 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501096 static bool __not_null(const _Fp&) {return true;}
1097 template <class _R2, class ..._Ap>
Howard Hinnant42a63a72010-09-21 22:55:271098 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501099 static bool __not_null(_R2 (*__p)(_Ap...)) {return __p;}
1100 template <class _R2, class _Cp, class ..._Ap>
Howard Hinnant42a63a72010-09-21 22:55:271101 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501102 static bool __not_null(_R2 (_Cp::*__p)(_Ap...)) {return __p;}
1103 template <class _R2, class _Cp, class ..._Ap>
Howard Hinnant42a63a72010-09-21 22:55:271104 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501105 static bool __not_null(_R2 (_Cp::*__p)(_Ap...) const) {return __p;}
1106 template <class _R2, class _Cp, class ..._Ap>
Howard Hinnant42a63a72010-09-21 22:55:271107 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501108 static bool __not_null(_R2 (_Cp::*__p)(_Ap...) volatile) {return __p;}
1109 template <class _R2, class _Cp, class ..._Ap>
Howard Hinnant42a63a72010-09-21 22:55:271110 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501111 static bool __not_null(_R2 (_Cp::*__p)(_Ap...) const volatile) {return __p;}
1112 template <class _R2, class ..._Ap>
Howard Hinnant42a63a72010-09-21 22:55:271113 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501114 static bool __not_null(const function<_Rp(_Ap...)>& __p) {return __p;}
Howard Hinnant083ba5f2011-05-31 21:45:261115
Howard Hinnante41f4752012-07-20 18:56:071116 template <class _Fp, bool = !is_same<_Fp, function>::value &&
1117 __invokable<_Fp&, _ArgTypes...>::value>
Howard Hinnant083ba5f2011-05-31 21:45:261118 struct __callable;
Howard Hinnant99968442011-11-29 18:15:501119 template <class _Fp>
1120 struct __callable<_Fp, true>
Howard Hinnant083ba5f2011-05-31 21:45:261121 {
1122 static const bool value =
Howard Hinnant99968442011-11-29 18:15:501123 is_convertible<typename __invoke_of<_Fp&, _ArgTypes...>::type,
1124 _Rp>::value;
Howard Hinnant083ba5f2011-05-31 21:45:261125 };
Howard Hinnant99968442011-11-29 18:15:501126 template <class _Fp>
1127 struct __callable<_Fp, false>
Howard Hinnant083ba5f2011-05-31 21:45:261128 {
1129 static const bool value = false;
1130 };
Howard Hinnantbc8d3f92010-05-11 19:42:161131public:
Howard Hinnant99968442011-11-29 18:15:501132 typedef _Rp result_type;
Howard Hinnantbc8d3f92010-05-11 19:42:161133
Howard Hinnant72552802010-08-20 19:36:461134 // construct/copy/destroy:
Howard Hinnant42a63a72010-09-21 22:55:271135 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481136 function() _NOEXCEPT : __f_(0) {}
Howard Hinnant42a63a72010-09-21 22:55:271137 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481138 function(nullptr_t) _NOEXCEPT : __f_(0) {}
Howard Hinnantbc8d3f92010-05-11 19:42:161139 function(const function&);
Howard Hinnant603d2c02011-05-28 17:59:481140 function(function&&) _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:501141 template<class _Fp>
1142 function(_Fp,
1143 typename enable_if<__callable<_Fp>::value>::type* = 0);
Howard Hinnantbc8d3f92010-05-11 19:42:161144
Howard Hinnant72552802010-08-20 19:36:461145 template<class _Alloc>
Howard Hinnant42a63a72010-09-21 22:55:271146 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481147 function(allocator_arg_t, const _Alloc&) _NOEXCEPT : __f_(0) {}
Howard Hinnant72552802010-08-20 19:36:461148 template<class _Alloc>
Howard Hinnant42a63a72010-09-21 22:55:271149 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481150 function(allocator_arg_t, const _Alloc&, nullptr_t) _NOEXCEPT : __f_(0) {}
Howard Hinnant72552802010-08-20 19:36:461151 template<class _Alloc>
1152 function(allocator_arg_t, const _Alloc&, const function&);
1153 template<class _Alloc>
1154 function(allocator_arg_t, const _Alloc&, function&&);
Howard Hinnant99968442011-11-29 18:15:501155 template<class _Fp, class _Alloc>
1156 function(allocator_arg_t, const _Alloc& __a, _Fp __f,
1157 typename enable_if<__callable<_Fp>::value>::type* = 0);
Howard Hinnantbc8d3f92010-05-11 19:42:161158
1159 function& operator=(const function&);
Howard Hinnant603d2c02011-05-28 17:59:481160 function& operator=(function&&) _NOEXCEPT;
1161 function& operator=(nullptr_t) _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:501162 template<class _Fp>
Howard Hinnantbc8d3f92010-05-11 19:42:161163 typename enable_if
1164 <
Howard Hinnant99968442011-11-29 18:15:501165 __callable<typename decay<_Fp>::type>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161166 function&
1167 >::type
Howard Hinnant99968442011-11-29 18:15:501168 operator=(_Fp&&);
Howard Hinnantbc8d3f92010-05-11 19:42:161169
1170 ~function();
1171
Howard Hinnant72552802010-08-20 19:36:461172 // function modifiers:
Howard Hinnant603d2c02011-05-28 17:59:481173 void swap(function&) _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:501174 template<class _Fp, class _Alloc>
Howard Hinnant42a63a72010-09-21 22:55:271175 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501176 void assign(_Fp&& __f, const _Alloc& __a)
1177 {function(allocator_arg, __a, _VSTD::forward<_Fp>(__f)).swap(*this);}
Howard Hinnantbc8d3f92010-05-11 19:42:161178
Howard Hinnant72552802010-08-20 19:36:461179 // function capacity:
Howard Hinnant42a63a72010-09-21 22:55:271180 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant77861882012-02-21 21:46:431181 _LIBCPP_EXPLICIT operator bool() const _NOEXCEPT {return __f_;}
Howard Hinnantbc8d3f92010-05-11 19:42:161182
Howard Hinnantbc8d3f92010-05-11 19:42:161183 // deleted overloads close possible hole in the type system
1184 template<class _R2, class... _ArgTypes2>
Howard Hinnanta0f1dc92010-09-11 15:33:211185 bool operator==(const function<_R2(_ArgTypes2...)>&) const = delete;
Howard Hinnantbc8d3f92010-05-11 19:42:161186 template<class _R2, class... _ArgTypes2>
Howard Hinnanta0f1dc92010-09-11 15:33:211187 bool operator!=(const function<_R2(_ArgTypes2...)>&) const = delete;
Howard Hinnantbc8d3f92010-05-11 19:42:161188public:
Howard Hinnant72552802010-08-20 19:36:461189 // function invocation:
Howard Hinnant99968442011-11-29 18:15:501190 _Rp operator()(_ArgTypes...) const;
Howard Hinnantbc8d3f92010-05-11 19:42:161191
Howard Hinnantd4444702010-08-11 17:04:311192#ifndef _LIBCPP_NO_RTTI
Howard Hinnant72552802010-08-20 19:36:461193 // function target access:
Howard Hinnant603d2c02011-05-28 17:59:481194 const std::type_info& target_type() const _NOEXCEPT;
Howard Hinnant99968442011-11-29 18:15:501195 template <typename _Tp> _Tp* target() _NOEXCEPT;
1196 template <typename _Tp> const _Tp* target() const _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431197#endif // _LIBCPP_NO_RTTI
Howard Hinnantbc8d3f92010-05-11 19:42:161198};
1199
Howard Hinnant99968442011-11-29 18:15:501200template<class _Rp, class ..._ArgTypes>
1201function<_Rp(_ArgTypes...)>::function(const function& __f)
Howard Hinnantbc8d3f92010-05-11 19:42:161202{
1203 if (__f.__f_ == 0)
1204 __f_ = 0;
1205 else if (__f.__f_ == (const __base*)&__f.__buf_)
1206 {
1207 __f_ = (__base*)&__buf_;
1208 __f.__f_->__clone(__f_);
1209 }
1210 else
1211 __f_ = __f.__f_->__clone();
1212}
1213
Howard Hinnant99968442011-11-29 18:15:501214template<class _Rp, class ..._ArgTypes>
Howard Hinnant72552802010-08-20 19:36:461215template <class _Alloc>
Howard Hinnant99968442011-11-29 18:15:501216function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&,
Howard Hinnant72552802010-08-20 19:36:461217 const function& __f)
1218{
1219 if (__f.__f_ == 0)
1220 __f_ = 0;
1221 else if (__f.__f_ == (const __base*)&__f.__buf_)
1222 {
1223 __f_ = (__base*)&__buf_;
1224 __f.__f_->__clone(__f_);
1225 }
1226 else
1227 __f_ = __f.__f_->__clone();
1228}
1229
Howard Hinnant99968442011-11-29 18:15:501230template<class _Rp, class ..._ArgTypes>
1231function<_Rp(_ArgTypes...)>::function(function&& __f) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161232{
1233 if (__f.__f_ == 0)
1234 __f_ = 0;
1235 else if (__f.__f_ == (__base*)&__f.__buf_)
1236 {
1237 __f_ = (__base*)&__buf_;
1238 __f.__f_->__clone(__f_);
1239 }
1240 else
1241 {
1242 __f_ = __f.__f_;
1243 __f.__f_ = 0;
1244 }
1245}
1246
Howard Hinnant99968442011-11-29 18:15:501247template<class _Rp, class ..._ArgTypes>
Howard Hinnant72552802010-08-20 19:36:461248template <class _Alloc>
Howard Hinnant99968442011-11-29 18:15:501249function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&,
Howard Hinnant72552802010-08-20 19:36:461250 function&& __f)
1251{
1252 if (__f.__f_ == 0)
1253 __f_ = 0;
1254 else if (__f.__f_ == (__base*)&__f.__buf_)
1255 {
1256 __f_ = (__base*)&__buf_;
1257 __f.__f_->__clone(__f_);
1258 }
1259 else
1260 {
1261 __f_ = __f.__f_;
1262 __f.__f_ = 0;
1263 }
1264}
1265
Howard Hinnant99968442011-11-29 18:15:501266template<class _Rp, class ..._ArgTypes>
1267template <class _Fp>
1268function<_Rp(_ArgTypes...)>::function(_Fp __f,
1269 typename enable_if<__callable<_Fp>::value>::type*)
Howard Hinnantbc8d3f92010-05-11 19:42:161270 : __f_(0)
1271{
1272 if (__not_null(__f))
1273 {
Howard Hinnant99968442011-11-29 18:15:501274 typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_ArgTypes...)> _FF;
1275 if (sizeof(_FF) <= sizeof(__buf_) && is_nothrow_copy_constructible<_Fp>::value)
Howard Hinnantbc8d3f92010-05-11 19:42:161276 {
1277 __f_ = (__base*)&__buf_;
Howard Hinnant0949eed2011-06-30 21:18:191278 ::new (__f_) _FF(_VSTD::move(__f));
Howard Hinnantbc8d3f92010-05-11 19:42:161279 }
1280 else
1281 {
Howard Hinnant99968442011-11-29 18:15:501282 typedef allocator<_FF> _Ap;
1283 _Ap __a;
1284 typedef __allocator_destructor<_Ap> _Dp;
1285 unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
1286 ::new (__hold.get()) _FF(_VSTD::move(__f), allocator<_Fp>(__a));
Howard Hinnantbc8d3f92010-05-11 19:42:161287 __f_ = __hold.release();
1288 }
1289 }
1290}
1291
Howard Hinnant99968442011-11-29 18:15:501292template<class _Rp, class ..._ArgTypes>
1293template <class _Fp, class _Alloc>
1294function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
1295 typename enable_if<__callable<_Fp>::value>::type*)
Howard Hinnant72552802010-08-20 19:36:461296 : __f_(0)
1297{
1298 typedef allocator_traits<_Alloc> __alloc_traits;
1299 if (__not_null(__f))
1300 {
Howard Hinnant99968442011-11-29 18:15:501301 typedef __function::__func<_Fp, _Alloc, _Rp(_ArgTypes...)> _FF;
1302 if (sizeof(_FF) <= sizeof(__buf_) && is_nothrow_copy_constructible<_Fp>::value)
Howard Hinnant72552802010-08-20 19:36:461303 {
1304 __f_ = (__base*)&__buf_;
Howard Hinnant0949eed2011-06-30 21:18:191305 ::new (__f_) _FF(_VSTD::move(__f));
Howard Hinnant72552802010-08-20 19:36:461306 }
1307 else
1308 {
1309 typedef typename __alloc_traits::template
1310#ifndef _LIBCPP_HAS_NO_TEMPLATE_ALIASES
1311 rebind_alloc<_FF>
1312#else
1313 rebind_alloc<_FF>::other
1314#endif
Howard Hinnant99968442011-11-29 18:15:501315 _Ap;
1316 _Ap __a(__a0);
1317 typedef __allocator_destructor<_Ap> _Dp;
1318 unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
Howard Hinnant0949eed2011-06-30 21:18:191319 ::new (__hold.get()) _FF(_VSTD::move(__f), _Alloc(__a));
Howard Hinnant72552802010-08-20 19:36:461320 __f_ = __hold.release();
1321 }
1322 }
1323}
1324
Howard Hinnant99968442011-11-29 18:15:501325template<class _Rp, class ..._ArgTypes>
1326function<_Rp(_ArgTypes...)>&
1327function<_Rp(_ArgTypes...)>::operator=(const function& __f)
Howard Hinnantbc8d3f92010-05-11 19:42:161328{
1329 function(__f).swap(*this);
1330 return *this;
1331}
1332
Howard Hinnant99968442011-11-29 18:15:501333template<class _Rp, class ..._ArgTypes>
1334function<_Rp(_ArgTypes...)>&
1335function<_Rp(_ArgTypes...)>::operator=(function&& __f) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161336{
1337 if (__f_ == (__base*)&__buf_)
1338 __f_->destroy();
1339 else if (__f_)
1340 __f_->destroy_deallocate();
1341 __f_ = 0;
1342 if (__f.__f_ == 0)
1343 __f_ = 0;
1344 else if (__f.__f_ == (__base*)&__f.__buf_)
1345 {
1346 __f_ = (__base*)&__buf_;
1347 __f.__f_->__clone(__f_);
1348 }
1349 else
1350 {
1351 __f_ = __f.__f_;
1352 __f.__f_ = 0;
1353 }
Argyrios Kyrtzidis1dc6f7a2012-10-13 02:03:451354 return *this;
Howard Hinnantbc8d3f92010-05-11 19:42:161355}
1356
Howard Hinnant99968442011-11-29 18:15:501357template<class _Rp, class ..._ArgTypes>
1358function<_Rp(_ArgTypes...)>&
1359function<_Rp(_ArgTypes...)>::operator=(nullptr_t) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161360{
1361 if (__f_ == (__base*)&__buf_)
1362 __f_->destroy();
1363 else if (__f_)
1364 __f_->destroy_deallocate();
1365 __f_ = 0;
Argyrios Kyrtzidis1dc6f7a2012-10-13 02:03:451366 return *this;
Howard Hinnantbc8d3f92010-05-11 19:42:161367}
1368
Howard Hinnant99968442011-11-29 18:15:501369template<class _Rp, class ..._ArgTypes>
1370template <class _Fp>
Howard Hinnantbc8d3f92010-05-11 19:42:161371typename enable_if
1372<
Howard Hinnant99968442011-11-29 18:15:501373 function<_Rp(_ArgTypes...)>::template __callable<typename decay<_Fp>::type>::value,
1374 function<_Rp(_ArgTypes...)>&
Howard Hinnantbc8d3f92010-05-11 19:42:161375>::type
Howard Hinnant99968442011-11-29 18:15:501376function<_Rp(_ArgTypes...)>::operator=(_Fp&& __f)
Howard Hinnantbc8d3f92010-05-11 19:42:161377{
Howard Hinnant99968442011-11-29 18:15:501378 function(_VSTD::forward<_Fp>(__f)).swap(*this);
Howard Hinnantbc8d3f92010-05-11 19:42:161379 return *this;
1380}
1381
Howard Hinnant99968442011-11-29 18:15:501382template<class _Rp, class ..._ArgTypes>
1383function<_Rp(_ArgTypes...)>::~function()
Howard Hinnantbc8d3f92010-05-11 19:42:161384{
1385 if (__f_ == (__base*)&__buf_)
1386 __f_->destroy();
1387 else if (__f_)
1388 __f_->destroy_deallocate();
1389}
1390
Howard Hinnant99968442011-11-29 18:15:501391template<class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161392void
Howard Hinnant99968442011-11-29 18:15:501393function<_Rp(_ArgTypes...)>::swap(function& __f) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161394{
1395 if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
1396 {
1397 typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
1398 __base* __t = (__base*)&__tempbuf;
1399 __f_->__clone(__t);
1400 __f_->destroy();
1401 __f_ = 0;
1402 __f.__f_->__clone((__base*)&__buf_);
1403 __f.__f_->destroy();
1404 __f.__f_ = 0;
1405 __f_ = (__base*)&__buf_;
1406 __t->__clone((__base*)&__f.__buf_);
1407 __t->destroy();
1408 __f.__f_ = (__base*)&__f.__buf_;
1409 }
1410 else if (__f_ == (__base*)&__buf_)
1411 {
1412 __f_->__clone((__base*)&__f.__buf_);
1413 __f_->destroy();
1414 __f_ = __f.__f_;
1415 __f.__f_ = (__base*)&__f.__buf_;
1416 }
1417 else if (__f.__f_ == (__base*)&__f.__buf_)
1418 {
1419 __f.__f_->__clone((__base*)&__buf_);
1420 __f.__f_->destroy();
1421 __f.__f_ = __f_;
1422 __f_ = (__base*)&__buf_;
1423 }
1424 else
Howard Hinnant0949eed2011-06-30 21:18:191425 _VSTD::swap(__f_, __f.__f_);
Howard Hinnantbc8d3f92010-05-11 19:42:161426}
1427
Howard Hinnant99968442011-11-29 18:15:501428template<class _Rp, class ..._ArgTypes>
1429_Rp
1430function<_Rp(_ArgTypes...)>::operator()(_ArgTypes... __arg) const
Howard Hinnantbc8d3f92010-05-11 19:42:161431{
Howard Hinnantd4444702010-08-11 17:04:311432#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:161433 if (__f_ == 0)
1434 throw bad_function_call();
Howard Hinnant324bb032010-08-22 00:02:431435#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnant0949eed2011-06-30 21:18:191436 return (*__f_)(_VSTD::forward<_ArgTypes>(__arg)...);
Howard Hinnantbc8d3f92010-05-11 19:42:161437}
1438
Howard Hinnantd4444702010-08-11 17:04:311439#ifndef _LIBCPP_NO_RTTI
1440
Howard Hinnant99968442011-11-29 18:15:501441template<class _Rp, class ..._ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161442const std::type_info&
Howard Hinnant99968442011-11-29 18:15:501443function<_Rp(_ArgTypes...)>::target_type() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161444{
1445 if (__f_ == 0)
1446 return typeid(void);
1447 return __f_->target_type();
1448}
1449
Howard Hinnant99968442011-11-29 18:15:501450template<class _Rp, class ..._ArgTypes>
1451template <typename _Tp>
1452_Tp*
1453function<_Rp(_ArgTypes...)>::target() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161454{
1455 if (__f_ == 0)
Howard Hinnant99968442011-11-29 18:15:501456 return (_Tp*)0;
1457 return (_Tp*)__f_->target(typeid(_Tp));
Howard Hinnantbc8d3f92010-05-11 19:42:161458}
1459
Howard Hinnant99968442011-11-29 18:15:501460template<class _Rp, class ..._ArgTypes>
1461template <typename _Tp>
1462const _Tp*
1463function<_Rp(_ArgTypes...)>::target() const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161464{
1465 if (__f_ == 0)
Howard Hinnant99968442011-11-29 18:15:501466 return (const _Tp*)0;
1467 return (const _Tp*)__f_->target(typeid(_Tp));
Howard Hinnantbc8d3f92010-05-11 19:42:161468}
1469
Howard Hinnant324bb032010-08-22 00:02:431470#endif // _LIBCPP_NO_RTTI
Howard Hinnantd4444702010-08-11 17:04:311471
Howard Hinnant99968442011-11-29 18:15:501472template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161473inline _LIBCPP_INLINE_VISIBILITY
1474bool
Howard Hinnant99968442011-11-29 18:15:501475operator==(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return !__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:161476
Howard Hinnant99968442011-11-29 18:15:501477template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161478inline _LIBCPP_INLINE_VISIBILITY
1479bool
Howard Hinnant99968442011-11-29 18:15:501480operator==(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return !__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:161481
Howard Hinnant99968442011-11-29 18:15:501482template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161483inline _LIBCPP_INLINE_VISIBILITY
1484bool
Howard Hinnant99968442011-11-29 18:15:501485operator!=(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return (bool)__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:161486
Howard Hinnant99968442011-11-29 18:15:501487template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161488inline _LIBCPP_INLINE_VISIBILITY
1489bool
Howard Hinnant99968442011-11-29 18:15:501490operator!=(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return (bool)__f;}
Howard Hinnantbc8d3f92010-05-11 19:42:161491
Howard Hinnant99968442011-11-29 18:15:501492template <class _Rp, class... _ArgTypes>
Howard Hinnantbc8d3f92010-05-11 19:42:161493inline _LIBCPP_INLINE_VISIBILITY
1494void
Howard Hinnant99968442011-11-29 18:15:501495swap(function<_Rp(_ArgTypes...)>& __x, function<_Rp(_ArgTypes...)>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161496{return __x.swap(__y);}
1497
1498template<class _Tp> struct __is_bind_expression : public false_type {};
Howard Hinnant83eade62013-03-06 23:30:191499template<class _Tp> struct _LIBCPP_TYPE_VIS is_bind_expression
Howard Hinnantbc8d3f92010-05-11 19:42:161500 : public __is_bind_expression<typename remove_cv<_Tp>::type> {};
1501
1502template<class _Tp> struct __is_placeholder : public integral_constant<int, 0> {};
Howard Hinnant83eade62013-03-06 23:30:191503template<class _Tp> struct _LIBCPP_TYPE_VIS is_placeholder
Howard Hinnantbc8d3f92010-05-11 19:42:161504 : public __is_placeholder<typename remove_cv<_Tp>::type> {};
1505
1506namespace placeholders
1507{
1508
Howard Hinnant99968442011-11-29 18:15:501509template <int _Np> struct __ph {};
Howard Hinnantbc8d3f92010-05-11 19:42:161510
1511extern __ph<1> _1;
1512extern __ph<2> _2;
1513extern __ph<3> _3;
1514extern __ph<4> _4;
1515extern __ph<5> _5;
1516extern __ph<6> _6;
1517extern __ph<7> _7;
1518extern __ph<8> _8;
1519extern __ph<9> _9;
1520extern __ph<10> _10;
1521
1522} // placeholders
1523
Howard Hinnant99968442011-11-29 18:15:501524template<int _Np>
1525struct __is_placeholder<placeholders::__ph<_Np> >
1526 : public integral_constant<int, _Np> {};
Howard Hinnantbc8d3f92010-05-11 19:42:161527
1528template <class _Tp, class _Uj>
1529inline _LIBCPP_INLINE_VISIBILITY
1530_Tp&
1531__mu(reference_wrapper<_Tp> __t, _Uj&)
1532{
1533 return __t.get();
1534}
1535
Howard Hinnantbc8d3f92010-05-11 19:42:161536template <class _Ti, class ..._Uj, size_t ..._Indx>
1537inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0148a832011-05-19 19:41:471538typename __invoke_of<_Ti&, _Uj...>::type
1539__mu_expand(_Ti& __ti, tuple<_Uj...>& __uj, __tuple_indices<_Indx...>)
Howard Hinnantbc8d3f92010-05-11 19:42:161540{
Howard Hinnant0949eed2011-06-30 21:18:191541 return __ti(_VSTD::forward<_Uj>(get<_Indx>(__uj))...);
Howard Hinnantbc8d3f92010-05-11 19:42:161542}
1543
1544template <class _Ti, class ..._Uj>
1545inline _LIBCPP_INLINE_VISIBILITY
1546typename enable_if
1547<
1548 is_bind_expression<_Ti>::value,
Howard Hinnant0148a832011-05-19 19:41:471549 typename __invoke_of<_Ti&, _Uj...>::type
Howard Hinnantbc8d3f92010-05-11 19:42:161550>::type
1551__mu(_Ti& __ti, tuple<_Uj...>& __uj)
1552{
1553 typedef typename __make_tuple_indices<sizeof...(_Uj)>::type __indices;
1554 return __mu_expand(__ti, __uj, __indices());
1555}
1556
1557template <bool IsPh, class _Ti, class _Uj>
1558struct __mu_return2 {};
1559
1560template <class _Ti, class _Uj>
1561struct __mu_return2<true, _Ti, _Uj>
1562{
1563 typedef typename tuple_element<is_placeholder<_Ti>::value - 1, _Uj>::type type;
1564};
1565
1566template <class _Ti, class _Uj>
1567inline _LIBCPP_INLINE_VISIBILITY
1568typename enable_if
1569<
1570 0 < is_placeholder<_Ti>::value,
1571 typename __mu_return2<0 < is_placeholder<_Ti>::value, _Ti, _Uj>::type
1572>::type
1573__mu(_Ti&, _Uj& __uj)
1574{
1575 const size_t _Indx = is_placeholder<_Ti>::value - 1;
Howard Hinnant0949eed2011-06-30 21:18:191576 return _VSTD::forward<typename tuple_element<_Indx, _Uj>::type>(get<_Indx>(__uj));
Howard Hinnantbc8d3f92010-05-11 19:42:161577}
1578
1579template <class _Ti, class _Uj>
1580inline _LIBCPP_INLINE_VISIBILITY
1581typename enable_if
1582<
1583 !is_bind_expression<_Ti>::value &&
1584 is_placeholder<_Ti>::value == 0 &&
1585 !__is_reference_wrapper<_Ti>::value,
1586 _Ti&
1587>::type
Howard Hinnantec3773c2011-12-01 20:21:041588__mu(_Ti& __ti, _Uj&)
Howard Hinnantbc8d3f92010-05-11 19:42:161589{
1590 return __ti;
1591}
1592
Howard Hinnantef542512011-05-22 15:07:431593template <class _Ti, bool IsReferenceWrapper, bool IsBindEx, bool IsPh,
1594 class _TupleUj>
Howard Hinnantbc8d3f92010-05-11 19:42:161595struct ____mu_return;
1596
1597template <class _Ti, class ..._Uj>
Howard Hinnantef542512011-05-22 15:07:431598struct ____mu_return<_Ti, false, true, false, tuple<_Uj...> >
Howard Hinnantbc8d3f92010-05-11 19:42:161599{
Howard Hinnant0148a832011-05-19 19:41:471600 typedef typename __invoke_of<_Ti&, _Uj...>::type type;
Howard Hinnantbc8d3f92010-05-11 19:42:161601};
1602
1603template <class _Ti, class _TupleUj>
Howard Hinnantef542512011-05-22 15:07:431604struct ____mu_return<_Ti, false, false, true, _TupleUj>
Howard Hinnantbc8d3f92010-05-11 19:42:161605{
1606 typedef typename tuple_element<is_placeholder<_Ti>::value - 1,
1607 _TupleUj>::type&& type;
1608};
1609
1610template <class _Ti, class _TupleUj>
Howard Hinnantef542512011-05-22 15:07:431611struct ____mu_return<_Ti, true, false, false, _TupleUj>
1612{
1613 typedef typename _Ti::type& type;
1614};
1615
1616template <class _Ti, class _TupleUj>
1617struct ____mu_return<_Ti, false, false, false, _TupleUj>
Howard Hinnantbc8d3f92010-05-11 19:42:161618{
1619 typedef _Ti& type;
1620};
1621
1622template <class _Ti, class _TupleUj>
1623struct __mu_return
1624 : public ____mu_return<_Ti,
Howard Hinnantef542512011-05-22 15:07:431625 __is_reference_wrapper<_Ti>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161626 is_bind_expression<_Ti>::value,
Howard Hinnant0560f782013-02-21 18:16:551627 0 < is_placeholder<_Ti>::value &&
1628 is_placeholder<_Ti>::value <= tuple_size<_TupleUj>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161629 _TupleUj>
1630{
1631};
1632
Howard Hinnant99968442011-11-29 18:15:501633template <class _Fp, class _BoundArgs, class _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:551634struct _is_valid_bind_return
1635{
1636 static const bool value = false;
1637};
1638
1639template <class _Fp, class ..._BoundArgs, class _TupleUj>
1640struct _is_valid_bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj>
1641{
1642 static const bool value = __invokable<_Fp,
1643 typename __mu_return<_BoundArgs, _TupleUj>::type...>::value;
1644};
1645
1646template <class _Fp, class ..._BoundArgs, class _TupleUj>
1647struct _is_valid_bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj>
1648{
1649 static const bool value = __invokable<_Fp,
1650 typename __mu_return<const _BoundArgs, _TupleUj>::type...>::value;
1651};
1652
1653template <class _Fp, class _BoundArgs, class _TupleUj,
1654 bool = _is_valid_bind_return<_Fp, _BoundArgs, _TupleUj>::value>
Howard Hinnantbc8d3f92010-05-11 19:42:161655struct __bind_return;
1656
Howard Hinnant99968442011-11-29 18:15:501657template <class _Fp, class ..._BoundArgs, class _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:551658struct __bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj, true>
Howard Hinnantbc8d3f92010-05-11 19:42:161659{
Howard Hinnant0148a832011-05-19 19:41:471660 typedef typename __invoke_of
Howard Hinnantbc8d3f92010-05-11 19:42:161661 <
Howard Hinnant99968442011-11-29 18:15:501662 _Fp&,
Howard Hinnantbc8d3f92010-05-11 19:42:161663 typename __mu_return
1664 <
1665 _BoundArgs,
1666 _TupleUj
1667 >::type...
1668 >::type type;
1669};
1670
Howard Hinnant99968442011-11-29 18:15:501671template <class _Fp, class ..._BoundArgs, class _TupleUj>
Howard Hinnant0560f782013-02-21 18:16:551672struct __bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj, true>
Howard Hinnantbc8d3f92010-05-11 19:42:161673{
Howard Hinnant0148a832011-05-19 19:41:471674 typedef typename __invoke_of
Howard Hinnantbc8d3f92010-05-11 19:42:161675 <
Howard Hinnant99968442011-11-29 18:15:501676 _Fp&,
Howard Hinnantbc8d3f92010-05-11 19:42:161677 typename __mu_return
1678 <
1679 const _BoundArgs,
1680 _TupleUj
1681 >::type...
1682 >::type type;
1683};
1684
Howard Hinnant99968442011-11-29 18:15:501685template <class _Fp, class _BoundArgs, size_t ..._Indx, class _Args>
Howard Hinnantbc8d3f92010-05-11 19:42:161686inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501687typename __bind_return<_Fp, _BoundArgs, _Args>::type
1688__apply_functor(_Fp& __f, _BoundArgs& __bound_args, __tuple_indices<_Indx...>,
Howard Hinnantbc8d3f92010-05-11 19:42:161689 _Args&& __args)
1690{
1691 return __invoke(__f, __mu(get<_Indx>(__bound_args), __args)...);
1692}
1693
Howard Hinnant99968442011-11-29 18:15:501694template<class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:161695class __bind
Howard Hinnant99968442011-11-29 18:15:501696 : public __weak_result_type<typename decay<_Fp>::type>
Howard Hinnantbc8d3f92010-05-11 19:42:161697{
Howard Hinnant0560f782013-02-21 18:16:551698protected:
Howard Hinnant99968442011-11-29 18:15:501699 typedef typename decay<_Fp>::type _Fd;
Howard Hinnant0148a832011-05-19 19:41:471700 typedef tuple<typename decay<_BoundArgs>::type...> _Td;
Howard Hinnant0560f782013-02-21 18:16:551701private:
Howard Hinnant0148a832011-05-19 19:41:471702 _Fd __f_;
1703 _Td __bound_args_;
Howard Hinnantbc8d3f92010-05-11 19:42:161704
1705 typedef typename __make_tuple_indices<sizeof...(_BoundArgs)>::type __indices;
1706public:
Howard Hinnant90d77852011-07-02 18:22:361707#ifdef _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
1708
1709 _LIBCPP_INLINE_VISIBILITY
1710 __bind(const __bind& __b)
1711 : __f_(__b.__f_),
1712 __bound_args_(__b.__bound_args_) {}
1713
1714 _LIBCPP_INLINE_VISIBILITY
1715 __bind& operator=(const __bind& __b)
1716 {
1717 __f_ = __b.__f_;
1718 __bound_args_ = __b.__bound_args_;
1719 return *this;
1720 }
1721
Howard Hinnant42a63a72010-09-21 22:55:271722 _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161723 __bind(__bind&& __b)
Howard Hinnant0949eed2011-06-30 21:18:191724 : __f_(_VSTD::move(__b.__f_)),
1725 __bound_args_(_VSTD::move(__b.__bound_args_)) {}
Howard Hinnantbc8d3f92010-05-11 19:42:161726
Howard Hinnant90d77852011-07-02 18:22:361727 _LIBCPP_INLINE_VISIBILITY
1728 __bind& operator=(__bind&& __b)
1729 {
1730 __f_ = _VSTD::move(__b.__f_);
1731 __bound_args_ = _VSTD::move(__b.__bound_args_);
1732 return *this;
1733 }
1734
1735#endif // _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
1736
Howard Hinnantd2da6d22012-05-04 17:21:021737 template <class _Gp, class ..._BA,
1738 class = typename enable_if
1739 <
1740 is_constructible<_Fd, _Gp>::value
1741 >::type>
Howard Hinnant42a63a72010-09-21 22:55:271742 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501743 explicit __bind(_Gp&& __f, _BA&& ...__bound_args)
1744 : __f_(_VSTD::forward<_Gp>(__f)),
Howard Hinnant0949eed2011-06-30 21:18:191745 __bound_args_(_VSTD::forward<_BA>(__bound_args)...) {}
Howard Hinnantbc8d3f92010-05-11 19:42:161746
1747 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:271748 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0148a832011-05-19 19:41:471749 typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type
Howard Hinnantbc8d3f92010-05-11 19:42:161750 operator()(_Args&& ...__args)
1751 {
Howard Hinnant324bb032010-08-22 00:02:431752 return __apply_functor(__f_, __bound_args_, __indices(),
Howard Hinnant0949eed2011-06-30 21:18:191753 tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...));
Howard Hinnantbc8d3f92010-05-11 19:42:161754 }
1755
1756 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:271757 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0560f782013-02-21 18:16:551758 typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type
Howard Hinnantbc8d3f92010-05-11 19:42:161759 operator()(_Args&& ...__args) const
1760 {
Howard Hinnant324bb032010-08-22 00:02:431761 return __apply_functor(__f_, __bound_args_, __indices(),
Howard Hinnant0949eed2011-06-30 21:18:191762 tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...));
Howard Hinnantbc8d3f92010-05-11 19:42:161763 }
1764};
1765
Howard Hinnant99968442011-11-29 18:15:501766template<class _Fp, class ..._BoundArgs>
1767struct __is_bind_expression<__bind<_Fp, _BoundArgs...> > : public true_type {};
Howard Hinnantbc8d3f92010-05-11 19:42:161768
Howard Hinnant99968442011-11-29 18:15:501769template<class _Rp, class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:161770class __bind_r
Howard Hinnant99968442011-11-29 18:15:501771 : public __bind<_Fp, _BoundArgs...>
Howard Hinnantbc8d3f92010-05-11 19:42:161772{
Howard Hinnant99968442011-11-29 18:15:501773 typedef __bind<_Fp, _BoundArgs...> base;
Howard Hinnant0560f782013-02-21 18:16:551774 typedef typename base::_Fd _Fd;
1775 typedef typename base::_Td _Td;
Howard Hinnantbc8d3f92010-05-11 19:42:161776public:
Howard Hinnant99968442011-11-29 18:15:501777 typedef _Rp result_type;
Howard Hinnantbc8d3f92010-05-11 19:42:161778
Howard Hinnant90d77852011-07-02 18:22:361779#ifdef _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
1780
1781 _LIBCPP_INLINE_VISIBILITY
1782 __bind_r(const __bind_r& __b)
1783 : base(_VSTD::forward<const base&>(__b)) {}
1784
1785 _LIBCPP_INLINE_VISIBILITY
1786 __bind_r& operator=(const __bind_r& __b)
1787 {
1788 base::operator=(_VSTD::forward<const base&>(__b));
1789 return *this;
1790 }
1791
Howard Hinnant496934a2011-05-16 16:19:011792 _LIBCPP_INLINE_VISIBILITY
1793 __bind_r(__bind_r&& __b)
Howard Hinnant0949eed2011-06-30 21:18:191794 : base(_VSTD::forward<base>(__b)) {}
Howard Hinnant496934a2011-05-16 16:19:011795
Howard Hinnant90d77852011-07-02 18:22:361796 _LIBCPP_INLINE_VISIBILITY
1797 __bind_r& operator=(__bind_r&& __b)
1798 {
1799 base::operator=(_VSTD::forward<base>(__b));
1800 return *this;
1801 }
1802
1803#endif // _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS
1804
Howard Hinnant99968442011-11-29 18:15:501805 template <class _Gp, class ..._BA>
Howard Hinnant42a63a72010-09-21 22:55:271806 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501807 explicit __bind_r(_Gp&& __f, _BA&& ...__bound_args)
1808 : base(_VSTD::forward<_Gp>(__f),
Howard Hinnant0949eed2011-06-30 21:18:191809 _VSTD::forward<_BA>(__bound_args)...) {}
Howard Hinnantbc8d3f92010-05-11 19:42:161810
1811 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:271812 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0560f782013-02-21 18:16:551813 typename enable_if
1814 <
1815 is_convertible<typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type,
1816 result_type>::value,
1817 result_type
1818 >::type
Howard Hinnantbc8d3f92010-05-11 19:42:161819 operator()(_Args&& ...__args)
1820 {
Howard Hinnant0949eed2011-06-30 21:18:191821 return base::operator()(_VSTD::forward<_Args>(__args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:161822 }
1823
1824 template <class ..._Args>
Howard Hinnant42a63a72010-09-21 22:55:271825 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant0560f782013-02-21 18:16:551826 typename enable_if
1827 <
1828 is_convertible<typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type,
1829 result_type>::value,
1830 result_type
1831 >::type
Howard Hinnantbc8d3f92010-05-11 19:42:161832 operator()(_Args&& ...__args) const
1833 {
Howard Hinnant0949eed2011-06-30 21:18:191834 return base::operator()(_VSTD::forward<_Args>(__args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:161835 }
1836};
1837
Howard Hinnant99968442011-11-29 18:15:501838template<class _Rp, class _Fp, class ..._BoundArgs>
1839struct __is_bind_expression<__bind_r<_Rp, _Fp, _BoundArgs...> > : public true_type {};
Howard Hinnantbc8d3f92010-05-11 19:42:161840
Howard Hinnant99968442011-11-29 18:15:501841template<class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:161842inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501843__bind<_Fp, _BoundArgs...>
1844bind(_Fp&& __f, _BoundArgs&&... __bound_args)
Howard Hinnantbc8d3f92010-05-11 19:42:161845{
Howard Hinnant99968442011-11-29 18:15:501846 typedef __bind<_Fp, _BoundArgs...> type;
1847 return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:161848}
1849
Howard Hinnant99968442011-11-29 18:15:501850template<class _Rp, class _Fp, class ..._BoundArgs>
Howard Hinnantbc8d3f92010-05-11 19:42:161851inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501852__bind_r<_Rp, _Fp, _BoundArgs...>
1853bind(_Fp&& __f, _BoundArgs&&... __bound_args)
Howard Hinnantbc8d3f92010-05-11 19:42:161854{
Howard Hinnant99968442011-11-29 18:15:501855 typedef __bind_r<_Rp, _Fp, _BoundArgs...> type;
1856 return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...);
Howard Hinnantbc8d3f92010-05-11 19:42:161857}
1858
1859#endif // _LIBCPP_HAS_NO_VARIADICS
1860
1861template <>
Howard Hinnant83eade62013-03-06 23:30:191862struct _LIBCPP_TYPE_VIS hash<bool>
Howard Hinnantbc8d3f92010-05-11 19:42:161863 : public unary_function<bool, size_t>
1864{
Howard Hinnant42a63a72010-09-21 22:55:271865 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481866 size_t operator()(bool __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161867};
1868
1869template <>
Howard Hinnant83eade62013-03-06 23:30:191870struct _LIBCPP_TYPE_VIS hash<char>
Howard Hinnantbc8d3f92010-05-11 19:42:161871 : public unary_function<char, size_t>
1872{
Howard Hinnant42a63a72010-09-21 22:55:271873 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481874 size_t operator()(char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161875};
1876
1877template <>
Howard Hinnant83eade62013-03-06 23:30:191878struct _LIBCPP_TYPE_VIS hash<signed char>
Howard Hinnantbc8d3f92010-05-11 19:42:161879 : public unary_function<signed char, size_t>
1880{
Howard Hinnant42a63a72010-09-21 22:55:271881 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481882 size_t operator()(signed char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161883};
1884
1885template <>
Howard Hinnant83eade62013-03-06 23:30:191886struct _LIBCPP_TYPE_VIS hash<unsigned char>
Howard Hinnantbc8d3f92010-05-11 19:42:161887 : public unary_function<unsigned char, size_t>
1888{
Howard Hinnant42a63a72010-09-21 22:55:271889 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481890 size_t operator()(unsigned char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161891};
1892
1893#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
1894
1895template <>
Howard Hinnant83eade62013-03-06 23:30:191896struct _LIBCPP_TYPE_VIS hash<char16_t>
Howard Hinnantbc8d3f92010-05-11 19:42:161897 : public unary_function<char16_t, size_t>
1898{
Howard Hinnant42a63a72010-09-21 22:55:271899 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481900 size_t operator()(char16_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161901};
1902
1903template <>
Howard Hinnant83eade62013-03-06 23:30:191904struct _LIBCPP_TYPE_VIS hash<char32_t>
Howard Hinnantbc8d3f92010-05-11 19:42:161905 : public unary_function<char32_t, size_t>
1906{
Howard Hinnant42a63a72010-09-21 22:55:271907 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481908 size_t operator()(char32_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161909};
1910
Howard Hinnant324bb032010-08-22 00:02:431911#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
Howard Hinnantbc8d3f92010-05-11 19:42:161912
1913template <>
Howard Hinnant83eade62013-03-06 23:30:191914struct _LIBCPP_TYPE_VIS hash<wchar_t>
Howard Hinnantbc8d3f92010-05-11 19:42:161915 : public unary_function<wchar_t, size_t>
1916{
Howard Hinnant42a63a72010-09-21 22:55:271917 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481918 size_t operator()(wchar_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161919};
1920
1921template <>
Howard Hinnant83eade62013-03-06 23:30:191922struct _LIBCPP_TYPE_VIS hash<short>
Howard Hinnantbc8d3f92010-05-11 19:42:161923 : public unary_function<short, size_t>
1924{
Howard Hinnant42a63a72010-09-21 22:55:271925 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481926 size_t operator()(short __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161927};
1928
1929template <>
Howard Hinnant83eade62013-03-06 23:30:191930struct _LIBCPP_TYPE_VIS hash<unsigned short>
Howard Hinnantbc8d3f92010-05-11 19:42:161931 : public unary_function<unsigned short, size_t>
1932{
Howard Hinnant42a63a72010-09-21 22:55:271933 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481934 size_t operator()(unsigned short __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161935};
1936
1937template <>
Howard Hinnant83eade62013-03-06 23:30:191938struct _LIBCPP_TYPE_VIS hash<int>
Howard Hinnantbc8d3f92010-05-11 19:42:161939 : public unary_function<int, size_t>
1940{
Howard Hinnant42a63a72010-09-21 22:55:271941 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481942 size_t operator()(int __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161943};
1944
1945template <>
Howard Hinnant83eade62013-03-06 23:30:191946struct _LIBCPP_TYPE_VIS hash<unsigned int>
Howard Hinnantbc8d3f92010-05-11 19:42:161947 : public unary_function<unsigned int, size_t>
1948{
Howard Hinnant42a63a72010-09-21 22:55:271949 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481950 size_t operator()(unsigned int __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161951};
1952
1953template <>
Howard Hinnant83eade62013-03-06 23:30:191954struct _LIBCPP_TYPE_VIS hash<long>
Howard Hinnantbc8d3f92010-05-11 19:42:161955 : public unary_function<long, size_t>
1956{
Howard Hinnant42a63a72010-09-21 22:55:271957 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481958 size_t operator()(long __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161959};
1960
1961template <>
Howard Hinnant83eade62013-03-06 23:30:191962struct _LIBCPP_TYPE_VIS hash<unsigned long>
Howard Hinnantbc8d3f92010-05-11 19:42:161963 : public unary_function<unsigned long, size_t>
1964{
Howard Hinnant42a63a72010-09-21 22:55:271965 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481966 size_t operator()(unsigned long __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
Howard Hinnantbc8d3f92010-05-11 19:42:161967};
1968
1969template <>
Howard Hinnant83eade62013-03-06 23:30:191970struct _LIBCPP_TYPE_VIS hash<long long>
Howard Hinnantcf2654b2011-12-03 21:11:361971 : public __scalar_hash<long long>
Howard Hinnantbc8d3f92010-05-11 19:42:161972{
Howard Hinnantbc8d3f92010-05-11 19:42:161973};
1974
1975template <>
Howard Hinnant83eade62013-03-06 23:30:191976struct _LIBCPP_TYPE_VIS hash<unsigned long long>
Howard Hinnantcf2654b2011-12-03 21:11:361977 : public __scalar_hash<unsigned long long>
Howard Hinnantbc8d3f92010-05-11 19:42:161978{
Howard Hinnantbc8d3f92010-05-11 19:42:161979};
1980
1981template <>
Howard Hinnant83eade62013-03-06 23:30:191982struct _LIBCPP_TYPE_VIS hash<float>
Howard Hinnantcf2654b2011-12-03 21:11:361983 : public __scalar_hash<float>
Howard Hinnantbc8d3f92010-05-11 19:42:161984{
Howard Hinnant42a63a72010-09-21 22:55:271985 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:481986 size_t operator()(float __v) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161987 {
Howard Hinnantcf2654b2011-12-03 21:11:361988 // -0.0 and 0.0 should return same hash
Howard Hinnant28916752011-12-02 23:45:221989 if (__v == 0)
1990 return 0;
Howard Hinnantcf2654b2011-12-03 21:11:361991 return __scalar_hash<float>::operator()(__v);
Howard Hinnantbc8d3f92010-05-11 19:42:161992 }
1993};
1994
1995template <>
Howard Hinnant83eade62013-03-06 23:30:191996struct _LIBCPP_TYPE_VIS hash<double>
Howard Hinnantcf2654b2011-12-03 21:11:361997 : public __scalar_hash<double>
Howard Hinnantbc8d3f92010-05-11 19:42:161998{
Howard Hinnant42a63a72010-09-21 22:55:271999 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:482000 size_t operator()(double __v) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:162001 {
Howard Hinnantcf2654b2011-12-03 21:11:362002 // -0.0 and 0.0 should return same hash
2003 if (__v == 0)
2004 return 0;
2005 return __scalar_hash<double>::operator()(__v);
Howard Hinnantbc8d3f92010-05-11 19:42:162006 }
2007};
2008
2009template <>
Howard Hinnant83eade62013-03-06 23:30:192010struct _LIBCPP_TYPE_VIS hash<long double>
Howard Hinnantcf2654b2011-12-03 21:11:362011 : public __scalar_hash<long double>
Howard Hinnantbc8d3f92010-05-11 19:42:162012{
Howard Hinnant42a63a72010-09-21 22:55:272013 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant603d2c02011-05-28 17:59:482014 size_t operator()(long double __v) const _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:162015 {
Howard Hinnantcf2654b2011-12-03 21:11:362016 // -0.0 and 0.0 should return same hash
Howard Hinnantbc8d3f92010-05-11 19:42:162017 if (__v == 0)
2018 return 0;
Howard Hinnantcf2654b2011-12-03 21:11:362019#if defined(__i386__)
2020 // Zero out padding bits
2021 union
Howard Hinnant28916752011-12-02 23:45:222022 {
Howard Hinnantcf2654b2011-12-03 21:11:362023 long double __t;
2024 struct
Howard Hinnant28916752011-12-02 23:45:222025 {
Howard Hinnantcf2654b2011-12-03 21:11:362026 size_t __a;
2027 size_t __b;
2028 size_t __c;
Howard Hinnant28916752011-12-02 23:45:222029 size_t __d;
Howard Hinnantcf2654b2011-12-03 21:11:362030 };
Howard Hinnant28916752011-12-02 23:45:222031 } __u;
Howard Hinnantcf2654b2011-12-03 21:11:362032 __u.__a = 0;
2033 __u.__b = 0;
2034 __u.__c = 0;
2035 __u.__d = 0;
2036 __u.__t = __v;
2037 return __u.__a ^ __u.__b ^ __u.__c ^ __u.__d;
2038#elif defined(__x86_64__)
2039 // Zero out padding bits
2040 union
2041 {
2042 long double __t;
2043 struct
2044 {
2045 size_t __a;
2046 size_t __b;
2047 };
2048 } __u;
2049 __u.__a = 0;
2050 __u.__b = 0;
2051 __u.__t = __v;
2052 return __u.__a ^ __u.__b;
2053#else
2054 return __scalar_hash<long double>::operator()(__v);
2055#endif
Howard Hinnantbc8d3f92010-05-11 19:42:162056 }
2057};
2058
Howard Hinnant21aefc32010-06-03 16:42:572059// struct hash<T*> in <memory>
Howard Hinnantbc8d3f92010-05-11 19:42:162060
2061_LIBCPP_END_NAMESPACE_STD
2062
2063#endif // _LIBCPP_FUNCTIONAL