root / lab4 / .minix-src / include / c++ / functional @ 13
History | View | Annotate | Download (72.4 KB)
| 1 |
// -*- C++ -*- |
|---|---|
| 2 |
//===------------------------ functional ----------------------------------===// |
| 3 |
// |
| 4 |
// The LLVM Compiler Infrastructure |
| 5 |
// |
| 6 |
// This file is dual licensed under the MIT and the University of Illinois Open |
| 7 |
// Source Licenses. See LICENSE.TXT for details. |
| 8 |
// |
| 9 |
//===----------------------------------------------------------------------===// |
| 10 |
|
| 11 |
#ifndef _LIBCPP_FUNCTIONAL |
| 12 |
#define _LIBCPP_FUNCTIONAL |
| 13 |
|
| 14 |
/* |
| 15 |
functional synopsis |
| 16 |
|
| 17 |
namespace std |
| 18 |
{
|
| 19 |
|
| 20 |
template <class Arg, class Result> |
| 21 |
struct unary_function |
| 22 |
{
|
| 23 |
typedef Arg argument_type; |
| 24 |
typedef Result result_type; |
| 25 |
}; |
| 26 |
|
| 27 |
template <class Arg1, class Arg2, class Result> |
| 28 |
struct binary_function |
| 29 |
{
|
| 30 |
typedef Arg1 first_argument_type; |
| 31 |
typedef Arg2 second_argument_type; |
| 32 |
typedef Result result_type; |
| 33 |
}; |
| 34 |
|
| 35 |
template <class T> |
| 36 |
class 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 |
{
|
| 40 |
public: |
| 41 |
// types |
| 42 |
typedef T type; |
| 43 |
typedef see below result_type; // Not always defined |
| 44 |
|
| 45 |
// construct/copy/destroy |
| 46 |
reference_wrapper(T&) noexcept; |
| 47 |
reference_wrapper(T&&) = delete; // do not bind to temps |
| 48 |
reference_wrapper(const reference_wrapper<T>& x) noexcept; |
| 49 |
|
| 50 |
// assignment |
| 51 |
reference_wrapper& operator=(const reference_wrapper<T>& x) noexcept; |
| 52 |
|
| 53 |
// access |
| 54 |
operator T& () const noexcept; |
| 55 |
T& get() const noexcept; |
| 56 |
|
| 57 |
// invoke |
| 58 |
template <class... ArgTypes> |
| 59 |
typename result_of<T&(ArgTypes&&...)>::type |
| 60 |
operator() (ArgTypes&&...) const; |
| 61 |
}; |
| 62 |
|
| 63 |
template <class T> reference_wrapper<T> ref(T& t) noexcept; |
| 64 |
template <class T> void ref(const T&& t) = delete; |
| 65 |
template <class T> reference_wrapper<T> ref(reference_wrapper<T>t) noexcept; |
| 66 |
|
| 67 |
template <class T> reference_wrapper<const T> cref(const T& t) noexcept; |
| 68 |
template <class T> void cref(const T&& t) = delete; |
| 69 |
template <class T> reference_wrapper<const T> cref(reference_wrapper<T> t) noexcept; |
| 70 |
|
| 71 |
template <class T> // <class T=void> in C++14 |
| 72 |
struct plus : binary_function<T, T, T> |
| 73 |
{
|
| 74 |
T operator()(const T& x, const T& y) const; |
| 75 |
}; |
| 76 |
|
| 77 |
template <class T> // <class T=void> in C++14 |
| 78 |
struct minus : binary_function<T, T, T> |
| 79 |
{
|
| 80 |
T operator()(const T& x, const T& y) const; |
| 81 |
}; |
| 82 |
|
| 83 |
template <class T> // <class T=void> in C++14 |
| 84 |
struct multiplies : binary_function<T, T, T> |
| 85 |
{
|
| 86 |
T operator()(const T& x, const T& y) const; |
| 87 |
}; |
| 88 |
|
| 89 |
template <class T> // <class T=void> in C++14 |
| 90 |
struct divides : binary_function<T, T, T> |
| 91 |
{
|
| 92 |
T operator()(const T& x, const T& y) const; |
| 93 |
}; |
| 94 |
|
| 95 |
template <class T> // <class T=void> in C++14 |
| 96 |
struct modulus : binary_function<T, T, T> |
| 97 |
{
|
| 98 |
T operator()(const T& x, const T& y) const; |
| 99 |
}; |
| 100 |
|
| 101 |
template <class T> // <class T=void> in C++14 |
| 102 |
struct negate : unary_function<T, T> |
| 103 |
{
|
| 104 |
T operator()(const T& x) const; |
| 105 |
}; |
| 106 |
|
| 107 |
template <class T> // <class T=void> in C++14 |
| 108 |
struct equal_to : binary_function<T, T, bool> |
| 109 |
{
|
| 110 |
bool operator()(const T& x, const T& y) const; |
| 111 |
}; |
| 112 |
|
| 113 |
template <class T> // <class T=void> in C++14 |
| 114 |
struct not_equal_to : binary_function<T, T, bool> |
| 115 |
{
|
| 116 |
bool operator()(const T& x, const T& y) const; |
| 117 |
}; |
| 118 |
|
| 119 |
template <class T> // <class T=void> in C++14 |
| 120 |
struct greater : binary_function<T, T, bool> |
| 121 |
{
|
| 122 |
bool operator()(const T& x, const T& y) const; |
| 123 |
}; |
| 124 |
|
| 125 |
template <class T> // <class T=void> in C++14 |
| 126 |
struct less : binary_function<T, T, bool> |
| 127 |
{
|
| 128 |
bool operator()(const T& x, const T& y) const; |
| 129 |
}; |
| 130 |
|
| 131 |
template <class T> // <class T=void> in C++14 |
| 132 |
struct greater_equal : binary_function<T, T, bool> |
| 133 |
{
|
| 134 |
bool operator()(const T& x, const T& y) const; |
| 135 |
}; |
| 136 |
|
| 137 |
template <class T> // <class T=void> in C++14 |
| 138 |
struct less_equal : binary_function<T, T, bool> |
| 139 |
{
|
| 140 |
bool operator()(const T& x, const T& y) const; |
| 141 |
}; |
| 142 |
|
| 143 |
template <class T> // <class T=void> in C++14 |
| 144 |
struct logical_and : binary_function<T, T, bool> |
| 145 |
{
|
| 146 |
bool operator()(const T& x, const T& y) const; |
| 147 |
}; |
| 148 |
|
| 149 |
template <class T> // <class T=void> in C++14 |
| 150 |
struct logical_or : binary_function<T, T, bool> |
| 151 |
{
|
| 152 |
bool operator()(const T& x, const T& y) const; |
| 153 |
}; |
| 154 |
|
| 155 |
template <class T> // <class T=void> in C++14 |
| 156 |
struct logical_not : unary_function<T, bool> |
| 157 |
{
|
| 158 |
bool operator()(const T& x) const; |
| 159 |
}; |
| 160 |
|
| 161 |
template <class T> // <class T=void> in C++14 |
| 162 |
struct bit_and : unary_function<T, bool> |
| 163 |
{
|
| 164 |
bool operator()(const T& x, const T& y) const; |
| 165 |
}; |
| 166 |
|
| 167 |
template <class T> // <class T=void> in C++14 |
| 168 |
struct bit_or : unary_function<T, bool> |
| 169 |
{
|
| 170 |
bool operator()(const T& x, const T& y) const; |
| 171 |
}; |
| 172 |
|
| 173 |
template <class T> // <class T=void> in C++14 |
| 174 |
struct bit_xor : unary_function<T, bool> |
| 175 |
{
|
| 176 |
bool operator()(const T& x, const T& y) const; |
| 177 |
}; |
| 178 |
|
| 179 |
template <class T=void> // C++14 |
| 180 |
struct bit_xor : unary_function<T, bool> |
| 181 |
{
|
| 182 |
bool operator()(const T& x) const; |
| 183 |
}; |
| 184 |
|
| 185 |
template <class Predicate> |
| 186 |
class unary_negate |
| 187 |
: public unary_function<typename Predicate::argument_type, bool> |
| 188 |
{
|
| 189 |
public: |
| 190 |
explicit unary_negate(const Predicate& pred); |
| 191 |
bool operator()(const typename Predicate::argument_type& x) const; |
| 192 |
}; |
| 193 |
|
| 194 |
template <class Predicate> unary_negate<Predicate> not1(const Predicate& pred); |
| 195 |
|
| 196 |
template <class Predicate> |
| 197 |
class binary_negate |
| 198 |
: public binary_function<typename Predicate::first_argument_type, |
| 199 |
typename Predicate::second_argument_type, |
| 200 |
bool> |
| 201 |
{
|
| 202 |
public: |
| 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 |
|
| 208 |
template <class Predicate> binary_negate<Predicate> not2(const Predicate& pred); |
| 209 |
|
| 210 |
template<class T> struct is_bind_expression; |
| 211 |
template<class T> struct is_placeholder; |
| 212 |
|
| 213 |
template<class Fn, class... BoundArgs> |
| 214 |
unspecified bind(Fn&&, BoundArgs&&...); |
| 215 |
template<class R, class Fn, class... BoundArgs> |
| 216 |
unspecified bind(Fn&&, BoundArgs&&...); |
| 217 |
|
| 218 |
namespace placeholders {
|
| 219 |
// M is the implementation-defined number of placeholders |
| 220 |
extern unspecified _1; |
| 221 |
extern unspecified _2; |
| 222 |
. |
| 223 |
. |
| 224 |
. |
| 225 |
extern unspecified _Mp; |
| 226 |
} |
| 227 |
|
| 228 |
template <class Operation> |
| 229 |
class binder1st |
| 230 |
: public unary_function<typename Operation::second_argument_type, |
| 231 |
typename Operation::result_type> |
| 232 |
{
|
| 233 |
protected: |
| 234 |
Operation op; |
| 235 |
typename Operation::first_argument_type value; |
| 236 |
public: |
| 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 |
|
| 242 |
template <class Operation, class T> |
| 243 |
binder1st<Operation> bind1st(const Operation& op, const T& x); |
| 244 |
|
| 245 |
template <class Operation> |
| 246 |
class binder2nd |
| 247 |
: public unary_function<typename Operation::first_argument_type, |
| 248 |
typename Operation::result_type> |
| 249 |
{
|
| 250 |
protected: |
| 251 |
Operation op; |
| 252 |
typename Operation::second_argument_type value; |
| 253 |
public: |
| 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 |
|
| 259 |
template <class Operation, class T> |
| 260 |
binder2nd<Operation> bind2nd(const Operation& op, const T& x); |
| 261 |
|
| 262 |
template <class Arg, class Result> |
| 263 |
class pointer_to_unary_function : public unary_function<Arg, Result> |
| 264 |
{
|
| 265 |
public: |
| 266 |
explicit pointer_to_unary_function(Result (*f)(Arg)); |
| 267 |
Result operator()(Arg x) const; |
| 268 |
}; |
| 269 |
|
| 270 |
template <class Arg, class Result> |
| 271 |
pointer_to_unary_function<Arg,Result> ptr_fun(Result (*f)(Arg)); |
| 272 |
|
| 273 |
template <class Arg1, class Arg2, class Result> |
| 274 |
class pointer_to_binary_function : public binary_function<Arg1, Arg2, Result> |
| 275 |
{
|
| 276 |
public: |
| 277 |
explicit pointer_to_binary_function(Result (*f)(Arg1, Arg2)); |
| 278 |
Result operator()(Arg1 x, Arg2 y) const; |
| 279 |
}; |
| 280 |
|
| 281 |
template <class Arg1, class Arg2, class Result> |
| 282 |
pointer_to_binary_function<Arg1,Arg2,Result> ptr_fun(Result (*f)(Arg1,Arg2)); |
| 283 |
|
| 284 |
template<class S, class T> |
| 285 |
class mem_fun_t : public unary_function<T*, S> |
| 286 |
{
|
| 287 |
public: |
| 288 |
explicit mem_fun_t(S (T::*p)()); |
| 289 |
S operator()(T* p) const; |
| 290 |
}; |
| 291 |
|
| 292 |
template<class S, class T, class A> |
| 293 |
class mem_fun1_t : public binary_function<T*, A, S> |
| 294 |
{
|
| 295 |
public: |
| 296 |
explicit mem_fun1_t(S (T::*p)(A)); |
| 297 |
S operator()(T* p, A x) const; |
| 298 |
}; |
| 299 |
|
| 300 |
template<class S, class T> mem_fun_t<S,T> mem_fun(S (T::*f)()); |
| 301 |
template<class S, class T, class A> mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A)); |
| 302 |
|
| 303 |
template<class S, class T> |
| 304 |
class mem_fun_ref_t : public unary_function<T, S> |
| 305 |
{
|
| 306 |
public: |
| 307 |
explicit mem_fun_ref_t(S (T::*p)()); |
| 308 |
S operator()(T& p) const; |
| 309 |
}; |
| 310 |
|
| 311 |
template<class S, class T, class A> |
| 312 |
class mem_fun1_ref_t : public binary_function<T, A, S> |
| 313 |
{
|
| 314 |
public: |
| 315 |
explicit mem_fun1_ref_t(S (T::*p)(A)); |
| 316 |
S operator()(T& p, A x) const; |
| 317 |
}; |
| 318 |
|
| 319 |
template<class S, class T> mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)()); |
| 320 |
template<class S, class T, class A> mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A)); |
| 321 |
|
| 322 |
template <class S, class T> |
| 323 |
class const_mem_fun_t : public unary_function<const T*, S> |
| 324 |
{
|
| 325 |
public: |
| 326 |
explicit const_mem_fun_t(S (T::*p)() const); |
| 327 |
S operator()(const T* p) const; |
| 328 |
}; |
| 329 |
|
| 330 |
template <class S, class T, class A> |
| 331 |
class const_mem_fun1_t : public binary_function<const T*, A, S> |
| 332 |
{
|
| 333 |
public: |
| 334 |
explicit const_mem_fun1_t(S (T::*p)(A) const); |
| 335 |
S operator()(const T* p, A x) const; |
| 336 |
}; |
| 337 |
|
| 338 |
template <class S, class T> const_mem_fun_t<S,T> mem_fun(S (T::*f)() const); |
| 339 |
template <class S, class T, class A> const_mem_fun1_t<S,T,A> mem_fun(S (T::*f)(A) const); |
| 340 |
|
| 341 |
template <class S, class T> |
| 342 |
class const_mem_fun_ref_t : public unary_function<T, S> |
| 343 |
{
|
| 344 |
public: |
| 345 |
explicit const_mem_fun_ref_t(S (T::*p)() const); |
| 346 |
S operator()(const T& p) const; |
| 347 |
}; |
| 348 |
|
| 349 |
template <class S, class T, class A> |
| 350 |
class const_mem_fun1_ref_t : public binary_function<T, A, S> |
| 351 |
{
|
| 352 |
public: |
| 353 |
explicit const_mem_fun1_ref_t(S (T::*p)(A) const); |
| 354 |
S operator()(const T& p, A x) const; |
| 355 |
}; |
| 356 |
|
| 357 |
template <class S, class T> const_mem_fun_ref_t<S,T> mem_fun_ref(S (T::*f)() const); |
| 358 |
template <class S, class T, class A> const_mem_fun1_ref_t<S,T,A> mem_fun_ref(S (T::*f)(A) const); |
| 359 |
|
| 360 |
template<class R, class T> unspecified mem_fn(R T::*); |
| 361 |
|
| 362 |
class bad_function_call |
| 363 |
: public exception |
| 364 |
{
|
| 365 |
}; |
| 366 |
|
| 367 |
template<class> class function; // undefined |
| 368 |
|
| 369 |
template<class R, class... ArgTypes> |
| 370 |
class 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 |
{
|
| 376 |
public: |
| 377 |
typedef R result_type; |
| 378 |
|
| 379 |
// construct/copy/destroy: |
| 380 |
function() noexcept; |
| 381 |
function(nullptr_t) noexcept; |
| 382 |
function(const function&); |
| 383 |
function(function&&) noexcept; |
| 384 |
template<class F> |
| 385 |
function(F); |
| 386 |
template<Allocator Alloc> |
| 387 |
function(allocator_arg_t, const Alloc&) noexcept; |
| 388 |
template<Allocator Alloc> |
| 389 |
function(allocator_arg_t, const Alloc&, nullptr_t) noexcept; |
| 390 |
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); |
| 396 |
|
| 397 |
function& operator=(const function&); |
| 398 |
function& operator=(function&&) noexcept; |
| 399 |
function& operator=(nullptr_t) noexcept; |
| 400 |
template<class F> |
| 401 |
function& operator=(F&&); |
| 402 |
template<class F> |
| 403 |
function& operator=(reference_wrapper<F>) noexcept; |
| 404 |
|
| 405 |
~function(); |
| 406 |
|
| 407 |
// function modifiers: |
| 408 |
void swap(function&) noexcept; |
| 409 |
template<class F, class Alloc> |
| 410 |
void assign(F&&, const Alloc&); |
| 411 |
|
| 412 |
// function capacity: |
| 413 |
explicit operator bool() const noexcept; |
| 414 |
|
| 415 |
// function invocation: |
| 416 |
R operator()(ArgTypes...) const; |
| 417 |
|
| 418 |
// function target access: |
| 419 |
const std::type_info& target_type() const noexcept; |
| 420 |
template <typename T> T* target() noexcept; |
| 421 |
template <typename T> const T* target() const noexcept; |
| 422 |
}; |
| 423 |
|
| 424 |
// Null pointer comparisons: |
| 425 |
template <class R, class ... ArgTypes> |
| 426 |
bool operator==(const function<R(ArgTypes...)>&, nullptr_t) noexcept; |
| 427 |
|
| 428 |
template <class R, class ... ArgTypes> |
| 429 |
bool operator==(nullptr_t, const function<R(ArgTypes...)>&) noexcept; |
| 430 |
|
| 431 |
template <class R, class ... ArgTypes> |
| 432 |
bool operator!=(const function<R(ArgTypes...)>&, nullptr_t) noexcept; |
| 433 |
|
| 434 |
template <class R, class ... ArgTypes> |
| 435 |
bool operator!=(nullptr_t, const function<R(ArgTypes...)>&) noexcept; |
| 436 |
|
| 437 |
// specialized algorithms: |
| 438 |
template <class R, class ... ArgTypes> |
| 439 |
void swap(function<R(ArgTypes...)>&, function<R(ArgTypes...)>&) noexcept; |
| 440 |
|
| 441 |
template <class T> struct hash; |
| 442 |
|
| 443 |
template <> struct hash<bool>; |
| 444 |
template <> struct hash<char>; |
| 445 |
template <> struct hash<signed char>; |
| 446 |
template <> struct hash<unsigned char>; |
| 447 |
template <> struct hash<char16_t>; |
| 448 |
template <> struct hash<char32_t>; |
| 449 |
template <> struct hash<wchar_t>; |
| 450 |
template <> struct hash<short>; |
| 451 |
template <> struct hash<unsigned short>; |
| 452 |
template <> struct hash<int>; |
| 453 |
template <> struct hash<unsigned int>; |
| 454 |
template <> struct hash<long>; |
| 455 |
template <> struct hash<long long>; |
| 456 |
template <> struct hash<unsigned long>; |
| 457 |
template <> struct hash<unsigned long long>; |
| 458 |
|
| 459 |
template <> struct hash<float>; |
| 460 |
template <> struct hash<double>; |
| 461 |
template <> struct hash<long double>; |
| 462 |
|
| 463 |
template<class T> struct hash<T*>; |
| 464 |
|
| 465 |
} // std |
| 466 |
|
| 467 |
POLICY: 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 |
|
| 482 |
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) |
| 483 |
#pragma GCC system_header |
| 484 |
#endif |
| 485 |
|
| 486 |
_LIBCPP_BEGIN_NAMESPACE_STD |
| 487 |
|
| 488 |
#if _LIBCPP_STD_VER > 11 |
| 489 |
template <class _Tp = void> |
| 490 |
#else |
| 491 |
template <class _Tp> |
| 492 |
#endif |
| 493 |
struct _LIBCPP_TYPE_VIS_ONLY plus : binary_function<_Tp, _Tp, _Tp> |
| 494 |
{
|
| 495 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 496 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 497 |
{return __x + __y;}
|
| 498 |
}; |
| 499 |
|
| 500 |
#if _LIBCPP_STD_VER > 11 |
| 501 |
template <> |
| 502 |
struct _LIBCPP_TYPE_VIS_ONLY plus<void> |
| 503 |
{
|
| 504 |
template <class _T1, class _T2> |
| 505 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 506 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 507 |
_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); }
|
| 510 |
typedef void is_transparent; |
| 511 |
}; |
| 512 |
#endif |
| 513 |
|
| 514 |
|
| 515 |
#if _LIBCPP_STD_VER > 11 |
| 516 |
template <class _Tp = void> |
| 517 |
#else |
| 518 |
template <class _Tp> |
| 519 |
#endif |
| 520 |
struct _LIBCPP_TYPE_VIS_ONLY minus : binary_function<_Tp, _Tp, _Tp> |
| 521 |
{
|
| 522 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 523 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 524 |
{return __x - __y;}
|
| 525 |
}; |
| 526 |
|
| 527 |
#if _LIBCPP_STD_VER > 11 |
| 528 |
template <> |
| 529 |
struct _LIBCPP_TYPE_VIS_ONLY minus<void> |
| 530 |
{
|
| 531 |
template <class _T1, class _T2> |
| 532 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 533 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 534 |
_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); }
|
| 537 |
typedef void is_transparent; |
| 538 |
}; |
| 539 |
#endif |
| 540 |
|
| 541 |
|
| 542 |
#if _LIBCPP_STD_VER > 11 |
| 543 |
template <class _Tp = void> |
| 544 |
#else |
| 545 |
template <class _Tp> |
| 546 |
#endif |
| 547 |
struct _LIBCPP_TYPE_VIS_ONLY multiplies : binary_function<_Tp, _Tp, _Tp> |
| 548 |
{
|
| 549 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 550 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 551 |
{return __x * __y;}
|
| 552 |
}; |
| 553 |
|
| 554 |
#if _LIBCPP_STD_VER > 11 |
| 555 |
template <> |
| 556 |
struct _LIBCPP_TYPE_VIS_ONLY multiplies<void> |
| 557 |
{
|
| 558 |
template <class _T1, class _T2> |
| 559 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 560 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 561 |
_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); }
|
| 564 |
typedef void is_transparent; |
| 565 |
}; |
| 566 |
#endif |
| 567 |
|
| 568 |
|
| 569 |
#if _LIBCPP_STD_VER > 11 |
| 570 |
template <class _Tp = void> |
| 571 |
#else |
| 572 |
template <class _Tp> |
| 573 |
#endif |
| 574 |
struct _LIBCPP_TYPE_VIS_ONLY divides : binary_function<_Tp, _Tp, _Tp> |
| 575 |
{
|
| 576 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 577 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 578 |
{return __x / __y;}
|
| 579 |
}; |
| 580 |
|
| 581 |
#if _LIBCPP_STD_VER > 11 |
| 582 |
template <> |
| 583 |
struct _LIBCPP_TYPE_VIS_ONLY divides<void> |
| 584 |
{
|
| 585 |
template <class _T1, class _T2> |
| 586 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 587 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 588 |
_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); }
|
| 591 |
typedef void is_transparent; |
| 592 |
}; |
| 593 |
#endif |
| 594 |
|
| 595 |
|
| 596 |
#if _LIBCPP_STD_VER > 11 |
| 597 |
template <class _Tp = void> |
| 598 |
#else |
| 599 |
template <class _Tp> |
| 600 |
#endif |
| 601 |
struct _LIBCPP_TYPE_VIS_ONLY modulus : binary_function<_Tp, _Tp, _Tp> |
| 602 |
{
|
| 603 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 604 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 605 |
{return __x % __y;}
|
| 606 |
}; |
| 607 |
|
| 608 |
#if _LIBCPP_STD_VER > 11 |
| 609 |
template <> |
| 610 |
struct _LIBCPP_TYPE_VIS_ONLY modulus<void> |
| 611 |
{
|
| 612 |
template <class _T1, class _T2> |
| 613 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 614 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 615 |
_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); }
|
| 618 |
typedef void is_transparent; |
| 619 |
}; |
| 620 |
#endif |
| 621 |
|
| 622 |
|
| 623 |
#if _LIBCPP_STD_VER > 11 |
| 624 |
template <class _Tp = void> |
| 625 |
#else |
| 626 |
template <class _Tp> |
| 627 |
#endif |
| 628 |
struct _LIBCPP_TYPE_VIS_ONLY negate : unary_function<_Tp, _Tp> |
| 629 |
{
|
| 630 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 631 |
_Tp operator()(const _Tp& __x) const |
| 632 |
{return -__x;}
|
| 633 |
}; |
| 634 |
|
| 635 |
#if _LIBCPP_STD_VER > 11 |
| 636 |
template <> |
| 637 |
struct _LIBCPP_TYPE_VIS_ONLY negate<void> |
| 638 |
{
|
| 639 |
template <class _Tp> |
| 640 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 641 |
auto operator()(_Tp&& __x) const |
| 642 |
_NOEXCEPT_(noexcept(- _VSTD::forward<_Tp>(__x))) |
| 643 |
-> decltype (- _VSTD::forward<_Tp>(__x)) |
| 644 |
{ return - _VSTD::forward<_Tp>(__x); }
|
| 645 |
typedef void is_transparent; |
| 646 |
}; |
| 647 |
#endif |
| 648 |
|
| 649 |
|
| 650 |
#if _LIBCPP_STD_VER > 11 |
| 651 |
template <class _Tp = void> |
| 652 |
#else |
| 653 |
template <class _Tp> |
| 654 |
#endif |
| 655 |
struct _LIBCPP_TYPE_VIS_ONLY equal_to : binary_function<_Tp, _Tp, bool> |
| 656 |
{
|
| 657 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 658 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 659 |
{return __x == __y;}
|
| 660 |
}; |
| 661 |
|
| 662 |
#if _LIBCPP_STD_VER > 11 |
| 663 |
template <> |
| 664 |
struct _LIBCPP_TYPE_VIS_ONLY equal_to<void> |
| 665 |
{
|
| 666 |
template <class _T1, class _T2> |
| 667 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 668 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 669 |
_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); }
|
| 672 |
typedef void is_transparent; |
| 673 |
}; |
| 674 |
#endif |
| 675 |
|
| 676 |
|
| 677 |
#if _LIBCPP_STD_VER > 11 |
| 678 |
template <class _Tp = void> |
| 679 |
#else |
| 680 |
template <class _Tp> |
| 681 |
#endif |
| 682 |
struct _LIBCPP_TYPE_VIS_ONLY not_equal_to : binary_function<_Tp, _Tp, bool> |
| 683 |
{
|
| 684 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 685 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 686 |
{return __x != __y;}
|
| 687 |
}; |
| 688 |
|
| 689 |
#if _LIBCPP_STD_VER > 11 |
| 690 |
template <> |
| 691 |
struct _LIBCPP_TYPE_VIS_ONLY not_equal_to<void> |
| 692 |
{
|
| 693 |
template <class _T1, class _T2> |
| 694 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 695 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 696 |
_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); }
|
| 699 |
typedef void is_transparent; |
| 700 |
}; |
| 701 |
#endif |
| 702 |
|
| 703 |
|
| 704 |
#if _LIBCPP_STD_VER > 11 |
| 705 |
template <class _Tp = void> |
| 706 |
#else |
| 707 |
template <class _Tp> |
| 708 |
#endif |
| 709 |
struct _LIBCPP_TYPE_VIS_ONLY greater : binary_function<_Tp, _Tp, bool> |
| 710 |
{
|
| 711 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 712 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 713 |
{return __x > __y;}
|
| 714 |
}; |
| 715 |
|
| 716 |
#if _LIBCPP_STD_VER > 11 |
| 717 |
template <> |
| 718 |
struct _LIBCPP_TYPE_VIS_ONLY greater<void> |
| 719 |
{
|
| 720 |
template <class _T1, class _T2> |
| 721 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 722 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 723 |
_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); }
|
| 726 |
typedef void is_transparent; |
| 727 |
}; |
| 728 |
#endif |
| 729 |
|
| 730 |
|
| 731 |
// less in <__functional_base> |
| 732 |
|
| 733 |
#if _LIBCPP_STD_VER > 11 |
| 734 |
template <class _Tp = void> |
| 735 |
#else |
| 736 |
template <class _Tp> |
| 737 |
#endif |
| 738 |
struct _LIBCPP_TYPE_VIS_ONLY greater_equal : binary_function<_Tp, _Tp, bool> |
| 739 |
{
|
| 740 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 741 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 742 |
{return __x >= __y;}
|
| 743 |
}; |
| 744 |
|
| 745 |
#if _LIBCPP_STD_VER > 11 |
| 746 |
template <> |
| 747 |
struct _LIBCPP_TYPE_VIS_ONLY greater_equal<void> |
| 748 |
{
|
| 749 |
template <class _T1, class _T2> |
| 750 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 751 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 752 |
_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); }
|
| 755 |
typedef void is_transparent; |
| 756 |
}; |
| 757 |
#endif |
| 758 |
|
| 759 |
|
| 760 |
#if _LIBCPP_STD_VER > 11 |
| 761 |
template <class _Tp = void> |
| 762 |
#else |
| 763 |
template <class _Tp> |
| 764 |
#endif |
| 765 |
struct _LIBCPP_TYPE_VIS_ONLY less_equal : binary_function<_Tp, _Tp, bool> |
| 766 |
{
|
| 767 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 768 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 769 |
{return __x <= __y;}
|
| 770 |
}; |
| 771 |
|
| 772 |
#if _LIBCPP_STD_VER > 11 |
| 773 |
template <> |
| 774 |
struct _LIBCPP_TYPE_VIS_ONLY less_equal<void> |
| 775 |
{
|
| 776 |
template <class _T1, class _T2> |
| 777 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 778 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 779 |
_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); }
|
| 782 |
typedef void is_transparent; |
| 783 |
}; |
| 784 |
#endif |
| 785 |
|
| 786 |
|
| 787 |
#if _LIBCPP_STD_VER > 11 |
| 788 |
template <class _Tp = void> |
| 789 |
#else |
| 790 |
template <class _Tp> |
| 791 |
#endif |
| 792 |
struct _LIBCPP_TYPE_VIS_ONLY logical_and : binary_function<_Tp, _Tp, bool> |
| 793 |
{
|
| 794 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 795 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 796 |
{return __x && __y;}
|
| 797 |
}; |
| 798 |
|
| 799 |
#if _LIBCPP_STD_VER > 11 |
| 800 |
template <> |
| 801 |
struct _LIBCPP_TYPE_VIS_ONLY logical_and<void> |
| 802 |
{
|
| 803 |
template <class _T1, class _T2> |
| 804 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 805 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 806 |
_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); }
|
| 809 |
typedef void is_transparent; |
| 810 |
}; |
| 811 |
#endif |
| 812 |
|
| 813 |
|
| 814 |
#if _LIBCPP_STD_VER > 11 |
| 815 |
template <class _Tp = void> |
| 816 |
#else |
| 817 |
template <class _Tp> |
| 818 |
#endif |
| 819 |
struct _LIBCPP_TYPE_VIS_ONLY logical_or : binary_function<_Tp, _Tp, bool> |
| 820 |
{
|
| 821 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 822 |
bool operator()(const _Tp& __x, const _Tp& __y) const |
| 823 |
{return __x || __y;}
|
| 824 |
}; |
| 825 |
|
| 826 |
#if _LIBCPP_STD_VER > 11 |
| 827 |
template <> |
| 828 |
struct _LIBCPP_TYPE_VIS_ONLY logical_or<void> |
| 829 |
{
|
| 830 |
template <class _T1, class _T2> |
| 831 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 832 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 833 |
_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); }
|
| 836 |
typedef void is_transparent; |
| 837 |
}; |
| 838 |
#endif |
| 839 |
|
| 840 |
|
| 841 |
#if _LIBCPP_STD_VER > 11 |
| 842 |
template <class _Tp = void> |
| 843 |
#else |
| 844 |
template <class _Tp> |
| 845 |
#endif |
| 846 |
struct _LIBCPP_TYPE_VIS_ONLY logical_not : unary_function<_Tp, bool> |
| 847 |
{
|
| 848 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 849 |
bool operator()(const _Tp& __x) const |
| 850 |
{return !__x;}
|
| 851 |
}; |
| 852 |
|
| 853 |
#if _LIBCPP_STD_VER > 11 |
| 854 |
template <> |
| 855 |
struct _LIBCPP_TYPE_VIS_ONLY logical_not<void> |
| 856 |
{
|
| 857 |
template <class _Tp> |
| 858 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 859 |
auto operator()(_Tp&& __x) const |
| 860 |
_NOEXCEPT_(noexcept(!_VSTD::forward<_Tp>(__x))) |
| 861 |
-> decltype (!_VSTD::forward<_Tp>(__x)) |
| 862 |
{ return !_VSTD::forward<_Tp>(__x); }
|
| 863 |
typedef void is_transparent; |
| 864 |
}; |
| 865 |
#endif |
| 866 |
|
| 867 |
|
| 868 |
#if _LIBCPP_STD_VER > 11 |
| 869 |
template <class _Tp = void> |
| 870 |
#else |
| 871 |
template <class _Tp> |
| 872 |
#endif |
| 873 |
struct _LIBCPP_TYPE_VIS_ONLY bit_and : binary_function<_Tp, _Tp, _Tp> |
| 874 |
{
|
| 875 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 876 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 877 |
{return __x & __y;}
|
| 878 |
}; |
| 879 |
|
| 880 |
#if _LIBCPP_STD_VER > 11 |
| 881 |
template <> |
| 882 |
struct _LIBCPP_TYPE_VIS_ONLY bit_and<void> |
| 883 |
{
|
| 884 |
template <class _T1, class _T2> |
| 885 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 886 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 887 |
_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); }
|
| 890 |
typedef void is_transparent; |
| 891 |
}; |
| 892 |
#endif |
| 893 |
|
| 894 |
|
| 895 |
#if _LIBCPP_STD_VER > 11 |
| 896 |
template <class _Tp = void> |
| 897 |
#else |
| 898 |
template <class _Tp> |
| 899 |
#endif |
| 900 |
struct _LIBCPP_TYPE_VIS_ONLY bit_or : binary_function<_Tp, _Tp, _Tp> |
| 901 |
{
|
| 902 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 903 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 904 |
{return __x | __y;}
|
| 905 |
}; |
| 906 |
|
| 907 |
#if _LIBCPP_STD_VER > 11 |
| 908 |
template <> |
| 909 |
struct _LIBCPP_TYPE_VIS_ONLY bit_or<void> |
| 910 |
{
|
| 911 |
template <class _T1, class _T2> |
| 912 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 913 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 914 |
_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); }
|
| 917 |
typedef void is_transparent; |
| 918 |
}; |
| 919 |
#endif |
| 920 |
|
| 921 |
|
| 922 |
#if _LIBCPP_STD_VER > 11 |
| 923 |
template <class _Tp = void> |
| 924 |
#else |
| 925 |
template <class _Tp> |
| 926 |
#endif |
| 927 |
struct _LIBCPP_TYPE_VIS_ONLY bit_xor : binary_function<_Tp, _Tp, _Tp> |
| 928 |
{
|
| 929 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 930 |
_Tp operator()(const _Tp& __x, const _Tp& __y) const |
| 931 |
{return __x ^ __y;}
|
| 932 |
}; |
| 933 |
|
| 934 |
#if _LIBCPP_STD_VER > 11 |
| 935 |
template <> |
| 936 |
struct _LIBCPP_TYPE_VIS_ONLY bit_xor<void> |
| 937 |
{
|
| 938 |
template <class _T1, class _T2> |
| 939 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 940 |
auto operator()(_T1&& __t, _T2&& __u) const |
| 941 |
_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); }
|
| 944 |
typedef void is_transparent; |
| 945 |
}; |
| 946 |
#endif |
| 947 |
|
| 948 |
|
| 949 |
#if _LIBCPP_STD_VER > 11 |
| 950 |
template <class _Tp = void> |
| 951 |
struct _LIBCPP_TYPE_VIS_ONLY bit_not : unary_function<_Tp, _Tp> |
| 952 |
{
|
| 953 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 954 |
_Tp operator()(const _Tp& __x) const |
| 955 |
{return ~__x;}
|
| 956 |
}; |
| 957 |
|
| 958 |
template <> |
| 959 |
struct _LIBCPP_TYPE_VIS_ONLY bit_not<void> |
| 960 |
{
|
| 961 |
template <class _Tp> |
| 962 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 963 |
auto operator()(_Tp&& __x) const |
| 964 |
_NOEXCEPT_(noexcept(~_VSTD::forward<_Tp>(__x))) |
| 965 |
-> decltype (~_VSTD::forward<_Tp>(__x)) |
| 966 |
{ return ~_VSTD::forward<_Tp>(__x); }
|
| 967 |
typedef void is_transparent; |
| 968 |
}; |
| 969 |
#endif |
| 970 |
|
| 971 |
template <class _Predicate> |
| 972 |
class _LIBCPP_TYPE_VIS_ONLY unary_negate |
| 973 |
: public unary_function<typename _Predicate::argument_type, bool> |
| 974 |
{
|
| 975 |
_Predicate __pred_; |
| 976 |
public: |
| 977 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 978 |
explicit unary_negate(const _Predicate& __pred) |
| 979 |
: __pred_(__pred) {}
|
| 980 |
_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 981 |
bool operator()(const typename _Predicate::argument_type& __x) const |
| 982 |
{return !__pred_(__x);}
|
| 983 |
}; |
| 984 |
|
| 985 |
template <class _Predicate> |
| 986 |
inline _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 987 |
unary_negate<_Predicate> |
| 988 |
not1(const _Predicate& __pred) {return unary_negate<_Predicate>(__pred);}
|
| 989 |
|
| 990 |
template <class _Predicate> |
| 991 |
class _LIBCPP_TYPE_VIS_ONLY binary_negate |
| 992 |
: public binary_function<typename _Predicate::first_argument_type, |
| 993 |
typename _Predicate::second_argument_type, |
| 994 |
bool> |
| 995 |
{
|
| 996 |
_Predicate __pred_; |
| 997 |
public: |
| 998 |
_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, |
| 1003 |
const typename _Predicate::second_argument_type& __y) const |
| 1004 |
{return !__pred_(__x, __y);}
|
| 1005 |
}; |
| 1006 |
|
| 1007 |
template <class _Predicate> |
| 1008 |
inline _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY |
| 1009 |
binary_negate<_Predicate> |
| 1010 |
not2(const _Predicate& __pred) {return binary_negate<_Predicate>(__pred);}
|
| 1011 |
|
| 1012 |
template <class __Operation> |
| 1013 |
class _LIBCPP_TYPE_VIS_ONLY binder1st |
| 1014 |
: public unary_function<typename __Operation::second_argument_type, |
| 1015 |
typename __Operation::result_type> |
| 1016 |
{
|
| 1017 |
protected: |
| 1018 |
__Operation op; |
| 1019 |
typename __Operation::first_argument_type value; |
| 1020 |
public: |
| 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 |
|
| 1032 |
template <class __Operation, class _Tp> |
| 1033 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1034 |
binder1st<__Operation> |
| 1035 |
bind1st(const __Operation& __op, const _Tp& __x) |
| 1036 |
{return binder1st<__Operation>(__op, __x);}
|
| 1037 |
|
| 1038 |
template <class __Operation> |
| 1039 |
class _LIBCPP_TYPE_VIS_ONLY binder2nd |
| 1040 |
: public unary_function<typename __Operation::first_argument_type, |
| 1041 |
typename __Operation::result_type> |
| 1042 |
{
|
| 1043 |
protected: |
| 1044 |
__Operation op; |
| 1045 |
typename __Operation::second_argument_type value; |
| 1046 |
public: |
| 1047 |
_LIBCPP_INLINE_VISIBILITY |
| 1048 |
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 |
|
| 1058 |
template <class __Operation, class _Tp> |
| 1059 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1060 |
binder2nd<__Operation> |
| 1061 |
bind2nd(const __Operation& __op, const _Tp& __x) |
| 1062 |
{return binder2nd<__Operation>(__op, __x);}
|
| 1063 |
|
| 1064 |
template <class _Arg, class _Result> |
| 1065 |
class _LIBCPP_TYPE_VIS_ONLY pointer_to_unary_function |
| 1066 |
: public unary_function<_Arg, _Result> |
| 1067 |
{
|
| 1068 |
_Result (*__f_)(_Arg); |
| 1069 |
public: |
| 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 |
|
| 1076 |
template <class _Arg, class _Result> |
| 1077 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1078 |
pointer_to_unary_function<_Arg,_Result> |
| 1079 |
ptr_fun(_Result (*__f)(_Arg)) |
| 1080 |
{return pointer_to_unary_function<_Arg,_Result>(__f);}
|
| 1081 |
|
| 1082 |
template <class _Arg1, class _Arg2, class _Result> |
| 1083 |
class _LIBCPP_TYPE_VIS_ONLY pointer_to_binary_function |
| 1084 |
: public binary_function<_Arg1, _Arg2, _Result> |
| 1085 |
{
|
| 1086 |
_Result (*__f_)(_Arg1, _Arg2); |
| 1087 |
public: |
| 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 |
|
| 1094 |
template <class _Arg1, class _Arg2, class _Result> |
| 1095 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1096 |
pointer_to_binary_function<_Arg1,_Arg2,_Result> |
| 1097 |
ptr_fun(_Result (*__f)(_Arg1,_Arg2)) |
| 1098 |
{return pointer_to_binary_function<_Arg1,_Arg2,_Result>(__f);}
|
| 1099 |
|
| 1100 |
template<class _Sp, class _Tp> |
| 1101 |
class _LIBCPP_TYPE_VIS_ONLY mem_fun_t : public unary_function<_Tp*, _Sp> |
| 1102 |
{
|
| 1103 |
_Sp (_Tp::*__p_)(); |
| 1104 |
public: |
| 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 |
|
| 1111 |
template<class _Sp, class _Tp, class _Ap> |
| 1112 |
class _LIBCPP_TYPE_VIS_ONLY mem_fun1_t : public binary_function<_Tp*, _Ap, _Sp> |
| 1113 |
{
|
| 1114 |
_Sp (_Tp::*__p_)(_Ap); |
| 1115 |
public: |
| 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 |
|
| 1122 |
template<class _Sp, class _Tp> |
| 1123 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1124 |
mem_fun_t<_Sp,_Tp> |
| 1125 |
mem_fun(_Sp (_Tp::*__f)()) |
| 1126 |
{return mem_fun_t<_Sp,_Tp>(__f);}
|
| 1127 |
|
| 1128 |
template<class _Sp, class _Tp, class _Ap> |
| 1129 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1130 |
mem_fun1_t<_Sp,_Tp,_Ap> |
| 1131 |
mem_fun(_Sp (_Tp::*__f)(_Ap)) |
| 1132 |
{return mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
|
| 1133 |
|
| 1134 |
template<class _Sp, class _Tp> |
| 1135 |
class _LIBCPP_TYPE_VIS_ONLY mem_fun_ref_t : public unary_function<_Tp, _Sp> |
| 1136 |
{
|
| 1137 |
_Sp (_Tp::*__p_)(); |
| 1138 |
public: |
| 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 |
|
| 1145 |
template<class _Sp, class _Tp, class _Ap> |
| 1146 |
class _LIBCPP_TYPE_VIS_ONLY mem_fun1_ref_t : public binary_function<_Tp, _Ap, _Sp> |
| 1147 |
{
|
| 1148 |
_Sp (_Tp::*__p_)(_Ap); |
| 1149 |
public: |
| 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 |
|
| 1156 |
template<class _Sp, class _Tp> |
| 1157 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1158 |
mem_fun_ref_t<_Sp,_Tp> |
| 1159 |
mem_fun_ref(_Sp (_Tp::*__f)()) |
| 1160 |
{return mem_fun_ref_t<_Sp,_Tp>(__f);}
|
| 1161 |
|
| 1162 |
template<class _Sp, class _Tp, class _Ap> |
| 1163 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1164 |
mem_fun1_ref_t<_Sp,_Tp,_Ap> |
| 1165 |
mem_fun_ref(_Sp (_Tp::*__f)(_Ap)) |
| 1166 |
{return mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
|
| 1167 |
|
| 1168 |
template <class _Sp, class _Tp> |
| 1169 |
class _LIBCPP_TYPE_VIS_ONLY const_mem_fun_t : public unary_function<const _Tp*, _Sp> |
| 1170 |
{
|
| 1171 |
_Sp (_Tp::*__p_)() const; |
| 1172 |
public: |
| 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 |
|
| 1179 |
template <class _Sp, class _Tp, class _Ap> |
| 1180 |
class _LIBCPP_TYPE_VIS_ONLY const_mem_fun1_t : public binary_function<const _Tp*, _Ap, _Sp> |
| 1181 |
{
|
| 1182 |
_Sp (_Tp::*__p_)(_Ap) const; |
| 1183 |
public: |
| 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 |
|
| 1190 |
template <class _Sp, class _Tp> |
| 1191 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1192 |
const_mem_fun_t<_Sp,_Tp> |
| 1193 |
mem_fun(_Sp (_Tp::*__f)() const) |
| 1194 |
{return const_mem_fun_t<_Sp,_Tp>(__f);}
|
| 1195 |
|
| 1196 |
template <class _Sp, class _Tp, class _Ap> |
| 1197 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1198 |
const_mem_fun1_t<_Sp,_Tp,_Ap> |
| 1199 |
mem_fun(_Sp (_Tp::*__f)(_Ap) const) |
| 1200 |
{return const_mem_fun1_t<_Sp,_Tp,_Ap>(__f);}
|
| 1201 |
|
| 1202 |
template <class _Sp, class _Tp> |
| 1203 |
class _LIBCPP_TYPE_VIS_ONLY const_mem_fun_ref_t : public unary_function<_Tp, _Sp> |
| 1204 |
{
|
| 1205 |
_Sp (_Tp::*__p_)() const; |
| 1206 |
public: |
| 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 |
|
| 1213 |
template <class _Sp, class _Tp, class _Ap> |
| 1214 |
class _LIBCPP_TYPE_VIS_ONLY const_mem_fun1_ref_t |
| 1215 |
: public binary_function<_Tp, _Ap, _Sp> |
| 1216 |
{
|
| 1217 |
_Sp (_Tp::*__p_)(_Ap) const; |
| 1218 |
public: |
| 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 |
|
| 1225 |
template <class _Sp, class _Tp> |
| 1226 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1227 |
const_mem_fun_ref_t<_Sp,_Tp> |
| 1228 |
mem_fun_ref(_Sp (_Tp::*__f)() const) |
| 1229 |
{return const_mem_fun_ref_t<_Sp,_Tp>(__f);}
|
| 1230 |
|
| 1231 |
template <class _Sp, class _Tp, class _Ap> |
| 1232 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1233 |
const_mem_fun1_ref_t<_Sp,_Tp,_Ap> |
| 1234 |
mem_fun_ref(_Sp (_Tp::*__f)(_Ap) const) |
| 1235 |
{return const_mem_fun1_ref_t<_Sp,_Tp,_Ap>(__f);}
|
| 1236 |
|
| 1237 |
//////////////////////////////////////////////////////////////////////////////// |
| 1238 |
// MEMFUN |
| 1239 |
//============================================================================== |
| 1240 |
|
| 1241 |
template <class _Tp> |
| 1242 |
class __mem_fn |
| 1243 |
: public __weak_result_type<_Tp> |
| 1244 |
{
|
| 1245 |
public: |
| 1246 |
// types |
| 1247 |
typedef _Tp type; |
| 1248 |
private: |
| 1249 |
type __f_; |
| 1250 |
|
| 1251 |
public: |
| 1252 |
_LIBCPP_INLINE_VISIBILITY __mem_fn(type __f) : __f_(__f) {}
|
| 1253 |
|
| 1254 |
#ifndef _LIBCPP_HAS_NO_VARIADICS |
| 1255 |
// invoke |
| 1256 |
template <class... _ArgTypes> |
| 1257 |
_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 |
| 1263 |
|
| 1264 |
template <class _A0> |
| 1265 |
typename __invoke_return0<type, _A0>::type |
| 1266 |
operator() (_A0& __a0) const {
|
| 1267 |
return __invoke(__f_, __a0); |
| 1268 |
} |
| 1269 |
|
| 1270 |
template <class _A0, class _A1> |
| 1271 |
typename __invoke_return1<type, _A0, _A1>::type |
| 1272 |
operator() (_A0& __a0, _A1& __a1) const {
|
| 1273 |
return __invoke(__f_, __a0, __a1); |
| 1274 |
} |
| 1275 |
|
| 1276 |
template <class _A0, class _A1, class _A2> |
| 1277 |
typename __invoke_return2<type, _A0, _A1, _A2>::type |
| 1278 |
operator() (_A0& __a0, _A1& __a1, _A2& __a2) const {
|
| 1279 |
return __invoke(__f_, __a0, __a1, __a2); |
| 1280 |
} |
| 1281 |
#endif |
| 1282 |
}; |
| 1283 |
|
| 1284 |
template<class _Rp, class _Tp> |
| 1285 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1286 |
__mem_fn<_Rp _Tp::*> |
| 1287 |
mem_fn(_Rp _Tp::* __pm) |
| 1288 |
{
|
| 1289 |
return __mem_fn<_Rp _Tp::*>(__pm); |
| 1290 |
} |
| 1291 |
|
| 1292 |
//////////////////////////////////////////////////////////////////////////////// |
| 1293 |
// FUNCTION |
| 1294 |
//============================================================================== |
| 1295 |
|
| 1296 |
// bad_function_call |
| 1297 |
|
| 1298 |
class _LIBCPP_EXCEPTION_ABI bad_function_call |
| 1299 |
: public exception |
| 1300 |
{
|
| 1301 |
}; |
| 1302 |
|
| 1303 |
template<class _Fp> class _LIBCPP_TYPE_VIS_ONLY function; // undefined |
| 1304 |
|
| 1305 |
namespace __function |
| 1306 |
{
|
| 1307 |
|
| 1308 |
template<class _Rp> |
| 1309 |
struct __maybe_derive_from_unary_function |
| 1310 |
{
|
| 1311 |
}; |
| 1312 |
|
| 1313 |
template<class _Rp, class _A1> |
| 1314 |
struct __maybe_derive_from_unary_function<_Rp(_A1)> |
| 1315 |
: public unary_function<_A1, _Rp> |
| 1316 |
{
|
| 1317 |
}; |
| 1318 |
|
| 1319 |
template<class _Rp> |
| 1320 |
struct __maybe_derive_from_binary_function |
| 1321 |
{
|
| 1322 |
}; |
| 1323 |
|
| 1324 |
template<class _Rp, class _A1, class _A2> |
| 1325 |
struct __maybe_derive_from_binary_function<_Rp(_A1, _A2)> |
| 1326 |
: public binary_function<_A1, _A2, _Rp> |
| 1327 |
{
|
| 1328 |
}; |
| 1329 |
|
| 1330 |
template <class _Fp> |
| 1331 |
_LIBCPP_INLINE_VISIBILITY |
| 1332 |
bool __not_null(_Fp const&) { return true; }
|
| 1333 |
|
| 1334 |
template <class _Fp> |
| 1335 |
_LIBCPP_INLINE_VISIBILITY |
| 1336 |
bool __not_null(_Fp* __ptr) { return __ptr; }
|
| 1337 |
|
| 1338 |
template <class _Ret, class _Class> |
| 1339 |
_LIBCPP_INLINE_VISIBILITY |
| 1340 |
bool __not_null(_Ret _Class::*__ptr) { return __ptr; }
|
| 1341 |
|
| 1342 |
template <class _Fp> |
| 1343 |
_LIBCPP_INLINE_VISIBILITY |
| 1344 |
bool __not_null(function<_Fp> const& __f) { return !!__f; }
|
| 1345 |
|
| 1346 |
} // namespace __function |
| 1347 |
|
| 1348 |
#ifndef _LIBCPP_HAS_NO_VARIADICS |
| 1349 |
|
| 1350 |
namespace __function {
|
| 1351 |
|
| 1352 |
template<class _Fp> class __base; |
| 1353 |
|
| 1354 |
template<class _Rp, class ..._ArgTypes> |
| 1355 |
class __base<_Rp(_ArgTypes...)> |
| 1356 |
{
|
| 1357 |
__base(const __base&); |
| 1358 |
__base& operator=(const __base&); |
| 1359 |
public: |
| 1360 |
_LIBCPP_INLINE_VISIBILITY __base() {}
|
| 1361 |
_LIBCPP_INLINE_VISIBILITY virtual ~__base() {}
|
| 1362 |
virtual __base* __clone() const = 0; |
| 1363 |
virtual void __clone(__base*) const = 0; |
| 1364 |
virtual void destroy() _NOEXCEPT = 0; |
| 1365 |
virtual void destroy_deallocate() _NOEXCEPT = 0; |
| 1366 |
virtual _Rp operator()(_ArgTypes&& ...) = 0; |
| 1367 |
#ifndef _LIBCPP_NO_RTTI |
| 1368 |
virtual const void* target(const type_info&) const _NOEXCEPT = 0; |
| 1369 |
virtual const std::type_info& target_type() const _NOEXCEPT = 0; |
| 1370 |
#endif // _LIBCPP_NO_RTTI |
| 1371 |
}; |
| 1372 |
|
| 1373 |
template<class _FD, class _Alloc, class _FB> class __func; |
| 1374 |
|
| 1375 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1376 |
class __func<_Fp, _Alloc, _Rp(_ArgTypes...)> |
| 1377 |
: public __base<_Rp(_ArgTypes...)> |
| 1378 |
{
|
| 1379 |
__compressed_pair<_Fp, _Alloc> __f_; |
| 1380 |
public: |
| 1381 |
_LIBCPP_INLINE_VISIBILITY |
| 1382 |
explicit __func(_Fp&& __f) |
| 1383 |
: __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)), |
| 1384 |
_VSTD::forward_as_tuple()) {}
|
| 1385 |
_LIBCPP_INLINE_VISIBILITY |
| 1386 |
explicit __func(const _Fp& __f, const _Alloc& __a) |
| 1387 |
: __f_(piecewise_construct, _VSTD::forward_as_tuple(__f), |
| 1388 |
_VSTD::forward_as_tuple(__a)) {}
|
| 1389 |
|
| 1390 |
_LIBCPP_INLINE_VISIBILITY |
| 1391 |
explicit __func(const _Fp& __f, _Alloc&& __a) |
| 1392 |
: __f_(piecewise_construct, _VSTD::forward_as_tuple(__f), |
| 1393 |
_VSTD::forward_as_tuple(_VSTD::move(__a))) {}
|
| 1394 |
|
| 1395 |
_LIBCPP_INLINE_VISIBILITY |
| 1396 |
explicit __func(_Fp&& __f, _Alloc&& __a) |
| 1397 |
: __f_(piecewise_construct, _VSTD::forward_as_tuple(_VSTD::move(__f)), |
| 1398 |
_VSTD::forward_as_tuple(_VSTD::move(__a))) {}
|
| 1399 |
virtual __base<_Rp(_ArgTypes...)>* __clone() const; |
| 1400 |
virtual void __clone(__base<_Rp(_ArgTypes...)>*) const; |
| 1401 |
virtual void destroy() _NOEXCEPT; |
| 1402 |
virtual void destroy_deallocate() _NOEXCEPT; |
| 1403 |
virtual _Rp operator()(_ArgTypes&& ... __arg); |
| 1404 |
#ifndef _LIBCPP_NO_RTTI |
| 1405 |
virtual const void* target(const type_info&) const _NOEXCEPT; |
| 1406 |
virtual const std::type_info& target_type() const _NOEXCEPT; |
| 1407 |
#endif // _LIBCPP_NO_RTTI |
| 1408 |
}; |
| 1409 |
|
| 1410 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1411 |
__base<_Rp(_ArgTypes...)>* |
| 1412 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone() const |
| 1413 |
{
|
| 1414 |
typedef allocator_traits<_Alloc> __alloc_traits; |
| 1415 |
typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap; |
| 1416 |
_Ap __a(__f_.second()); |
| 1417 |
typedef __allocator_destructor<_Ap> _Dp; |
| 1418 |
unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1)); |
| 1419 |
::new (__hold.get()) __func(__f_.first(), _Alloc(__a)); |
| 1420 |
return __hold.release(); |
| 1421 |
} |
| 1422 |
|
| 1423 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1424 |
void |
| 1425 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__clone(__base<_Rp(_ArgTypes...)>* __p) const |
| 1426 |
{
|
| 1427 |
::new (__p) __func(__f_.first(), __f_.second()); |
| 1428 |
} |
| 1429 |
|
| 1430 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1431 |
void |
| 1432 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy() _NOEXCEPT |
| 1433 |
{
|
| 1434 |
__f_.~__compressed_pair<_Fp, _Alloc>(); |
| 1435 |
} |
| 1436 |
|
| 1437 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1438 |
void |
| 1439 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy_deallocate() _NOEXCEPT |
| 1440 |
{
|
| 1441 |
typedef allocator_traits<_Alloc> __alloc_traits; |
| 1442 |
typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap; |
| 1443 |
_Ap __a(__f_.second()); |
| 1444 |
__f_.~__compressed_pair<_Fp, _Alloc>(); |
| 1445 |
__a.deallocate(this, 1); |
| 1446 |
} |
| 1447 |
|
| 1448 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1449 |
_Rp |
| 1450 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::operator()(_ArgTypes&& ... __arg) |
| 1451 |
{
|
| 1452 |
typedef __invoke_void_return_wrapper<_Rp> _Invoker; |
| 1453 |
return _Invoker::__call(__f_.first(), _VSTD::forward<_ArgTypes>(__arg)...); |
| 1454 |
} |
| 1455 |
|
| 1456 |
#ifndef _LIBCPP_NO_RTTI |
| 1457 |
|
| 1458 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1459 |
const void* |
| 1460 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target(const type_info& __ti) const _NOEXCEPT |
| 1461 |
{
|
| 1462 |
if (__ti == typeid(_Fp)) |
| 1463 |
return &__f_.first(); |
| 1464 |
return (const void*)0; |
| 1465 |
} |
| 1466 |
|
| 1467 |
template<class _Fp, class _Alloc, class _Rp, class ..._ArgTypes> |
| 1468 |
const std::type_info& |
| 1469 |
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target_type() const _NOEXCEPT |
| 1470 |
{
|
| 1471 |
return typeid(_Fp); |
| 1472 |
} |
| 1473 |
|
| 1474 |
#endif // _LIBCPP_NO_RTTI |
| 1475 |
|
| 1476 |
} // __function |
| 1477 |
|
| 1478 |
template<class _Rp, class ..._ArgTypes> |
| 1479 |
class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_ArgTypes...)> |
| 1480 |
: public __function::__maybe_derive_from_unary_function<_Rp(_ArgTypes...)>, |
| 1481 |
public __function::__maybe_derive_from_binary_function<_Rp(_ArgTypes...)> |
| 1482 |
{
|
| 1483 |
typedef __function::__base<_Rp(_ArgTypes...)> __base; |
| 1484 |
typename aligned_storage<3*sizeof(void*)>::type __buf_; |
| 1485 |
__base* __f_; |
| 1486 |
|
| 1487 |
template <class _Fp, bool = !is_same<_Fp, function>::value && |
| 1488 |
__invokable<_Fp&, _ArgTypes...>::value> |
| 1489 |
struct __callable; |
| 1490 |
template <class _Fp> |
| 1491 |
struct __callable<_Fp, true> |
| 1492 |
{
|
| 1493 |
static const bool value = is_same<void, _Rp>::value || |
| 1494 |
is_convertible<typename __invoke_of<_Fp&, _ArgTypes...>::type, |
| 1495 |
_Rp>::value; |
| 1496 |
}; |
| 1497 |
template <class _Fp> |
| 1498 |
struct __callable<_Fp, false> |
| 1499 |
{
|
| 1500 |
static const bool value = false; |
| 1501 |
}; |
| 1502 |
public: |
| 1503 |
typedef _Rp result_type; |
| 1504 |
|
| 1505 |
// construct/copy/destroy: |
| 1506 |
_LIBCPP_INLINE_VISIBILITY |
| 1507 |
function() _NOEXCEPT : __f_(0) {}
|
| 1508 |
_LIBCPP_INLINE_VISIBILITY |
| 1509 |
function(nullptr_t) _NOEXCEPT : __f_(0) {}
|
| 1510 |
function(const function&); |
| 1511 |
function(function&&) _NOEXCEPT; |
| 1512 |
template<class _Fp> |
| 1513 |
function(_Fp, typename enable_if |
| 1514 |
< |
| 1515 |
__callable<_Fp>::value && |
| 1516 |
!is_same<_Fp, function>::value |
| 1517 |
>::type* = 0); |
| 1518 |
|
| 1519 |
template<class _Alloc> |
| 1520 |
_LIBCPP_INLINE_VISIBILITY |
| 1521 |
function(allocator_arg_t, const _Alloc&) _NOEXCEPT : __f_(0) {}
|
| 1522 |
template<class _Alloc> |
| 1523 |
_LIBCPP_INLINE_VISIBILITY |
| 1524 |
function(allocator_arg_t, const _Alloc&, nullptr_t) _NOEXCEPT : __f_(0) {}
|
| 1525 |
template<class _Alloc> |
| 1526 |
function(allocator_arg_t, const _Alloc&, const function&); |
| 1527 |
template<class _Alloc> |
| 1528 |
function(allocator_arg_t, const _Alloc&, function&&); |
| 1529 |
template<class _Fp, class _Alloc> |
| 1530 |
function(allocator_arg_t, const _Alloc& __a, _Fp __f, |
| 1531 |
typename enable_if<__callable<_Fp>::value>::type* = 0); |
| 1532 |
|
| 1533 |
function& operator=(const function&); |
| 1534 |
function& operator=(function&&) _NOEXCEPT; |
| 1535 |
function& operator=(nullptr_t) _NOEXCEPT; |
| 1536 |
template<class _Fp> |
| 1537 |
typename enable_if |
| 1538 |
< |
| 1539 |
__callable<typename decay<_Fp>::type>::value && |
| 1540 |
!is_same<typename remove_reference<_Fp>::type, function>::value, |
| 1541 |
function& |
| 1542 |
>::type |
| 1543 |
operator=(_Fp&&); |
| 1544 |
|
| 1545 |
~function(); |
| 1546 |
|
| 1547 |
// function modifiers: |
| 1548 |
void swap(function&) _NOEXCEPT; |
| 1549 |
template<class _Fp, class _Alloc> |
| 1550 |
_LIBCPP_INLINE_VISIBILITY |
| 1551 |
void assign(_Fp&& __f, const _Alloc& __a) |
| 1552 |
{function(allocator_arg, __a, _VSTD::forward<_Fp>(__f)).swap(*this);}
|
| 1553 |
|
| 1554 |
// function capacity: |
| 1555 |
_LIBCPP_INLINE_VISIBILITY |
| 1556 |
_LIBCPP_EXPLICIT operator bool() const _NOEXCEPT {return __f_;}
|
| 1557 |
|
| 1558 |
// deleted overloads close possible hole in the type system |
| 1559 |
template<class _R2, class... _ArgTypes2> |
| 1560 |
bool operator==(const function<_R2(_ArgTypes2...)>&) const = delete; |
| 1561 |
template<class _R2, class... _ArgTypes2> |
| 1562 |
bool operator!=(const function<_R2(_ArgTypes2...)>&) const = delete; |
| 1563 |
public: |
| 1564 |
// function invocation: |
| 1565 |
_Rp operator()(_ArgTypes...) const; |
| 1566 |
|
| 1567 |
#ifndef _LIBCPP_NO_RTTI |
| 1568 |
// function target access: |
| 1569 |
const std::type_info& target_type() const _NOEXCEPT; |
| 1570 |
template <typename _Tp> _Tp* target() _NOEXCEPT; |
| 1571 |
template <typename _Tp> const _Tp* target() const _NOEXCEPT; |
| 1572 |
#endif // _LIBCPP_NO_RTTI |
| 1573 |
}; |
| 1574 |
|
| 1575 |
template<class _Rp, class ..._ArgTypes> |
| 1576 |
function<_Rp(_ArgTypes...)>::function(const function& __f) |
| 1577 |
{
|
| 1578 |
if (__f.__f_ == 0) |
| 1579 |
__f_ = 0; |
| 1580 |
else if (__f.__f_ == (const __base*)&__f.__buf_) |
| 1581 |
{
|
| 1582 |
__f_ = (__base*)&__buf_; |
| 1583 |
__f.__f_->__clone(__f_); |
| 1584 |
} |
| 1585 |
else |
| 1586 |
__f_ = __f.__f_->__clone(); |
| 1587 |
} |
| 1588 |
|
| 1589 |
template<class _Rp, class ..._ArgTypes> |
| 1590 |
template <class _Alloc> |
| 1591 |
function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&, |
| 1592 |
const function& __f) |
| 1593 |
{
|
| 1594 |
if (__f.__f_ == 0) |
| 1595 |
__f_ = 0; |
| 1596 |
else if (__f.__f_ == (const __base*)&__f.__buf_) |
| 1597 |
{
|
| 1598 |
__f_ = (__base*)&__buf_; |
| 1599 |
__f.__f_->__clone(__f_); |
| 1600 |
} |
| 1601 |
else |
| 1602 |
__f_ = __f.__f_->__clone(); |
| 1603 |
} |
| 1604 |
|
| 1605 |
template<class _Rp, class ..._ArgTypes> |
| 1606 |
function<_Rp(_ArgTypes...)>::function(function&& __f) _NOEXCEPT |
| 1607 |
{
|
| 1608 |
if (__f.__f_ == 0) |
| 1609 |
__f_ = 0; |
| 1610 |
else if (__f.__f_ == (__base*)&__f.__buf_) |
| 1611 |
{
|
| 1612 |
__f_ = (__base*)&__buf_; |
| 1613 |
__f.__f_->__clone(__f_); |
| 1614 |
} |
| 1615 |
else |
| 1616 |
{
|
| 1617 |
__f_ = __f.__f_; |
| 1618 |
__f.__f_ = 0; |
| 1619 |
} |
| 1620 |
} |
| 1621 |
|
| 1622 |
template<class _Rp, class ..._ArgTypes> |
| 1623 |
template <class _Alloc> |
| 1624 |
function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc&, |
| 1625 |
function&& __f) |
| 1626 |
{
|
| 1627 |
if (__f.__f_ == 0) |
| 1628 |
__f_ = 0; |
| 1629 |
else if (__f.__f_ == (__base*)&__f.__buf_) |
| 1630 |
{
|
| 1631 |
__f_ = (__base*)&__buf_; |
| 1632 |
__f.__f_->__clone(__f_); |
| 1633 |
} |
| 1634 |
else |
| 1635 |
{
|
| 1636 |
__f_ = __f.__f_; |
| 1637 |
__f.__f_ = 0; |
| 1638 |
} |
| 1639 |
} |
| 1640 |
|
| 1641 |
template<class _Rp, class ..._ArgTypes> |
| 1642 |
template <class _Fp> |
| 1643 |
function<_Rp(_ArgTypes...)>::function(_Fp __f, |
| 1644 |
typename enable_if |
| 1645 |
< |
| 1646 |
__callable<_Fp>::value && |
| 1647 |
!is_same<_Fp, function>::value |
| 1648 |
>::type*) |
| 1649 |
: __f_(0) |
| 1650 |
{
|
| 1651 |
if (__function::__not_null(__f)) |
| 1652 |
{
|
| 1653 |
typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_ArgTypes...)> _FF; |
| 1654 |
if (sizeof(_FF) <= sizeof(__buf_) && is_nothrow_copy_constructible<_Fp>::value) |
| 1655 |
{
|
| 1656 |
__f_ = (__base*)&__buf_; |
| 1657 |
::new (__f_) _FF(_VSTD::move(__f)); |
| 1658 |
} |
| 1659 |
else |
| 1660 |
{
|
| 1661 |
typedef allocator<_FF> _Ap; |
| 1662 |
_Ap __a; |
| 1663 |
typedef __allocator_destructor<_Ap> _Dp; |
| 1664 |
unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1)); |
| 1665 |
::new (__hold.get()) _FF(_VSTD::move(__f), allocator<_Fp>(__a)); |
| 1666 |
__f_ = __hold.release(); |
| 1667 |
} |
| 1668 |
} |
| 1669 |
} |
| 1670 |
|
| 1671 |
template<class _Rp, class ..._ArgTypes> |
| 1672 |
template <class _Fp, class _Alloc> |
| 1673 |
function<_Rp(_ArgTypes...)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f, |
| 1674 |
typename enable_if<__callable<_Fp>::value>::type*) |
| 1675 |
: __f_(0) |
| 1676 |
{
|
| 1677 |
typedef allocator_traits<_Alloc> __alloc_traits; |
| 1678 |
if (__function::__not_null(__f)) |
| 1679 |
{
|
| 1680 |
typedef __function::__func<_Fp, _Alloc, _Rp(_ArgTypes...)> _FF; |
| 1681 |
typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap; |
| 1682 |
_Ap __a(__a0); |
| 1683 |
if (sizeof(_FF) <= sizeof(__buf_) && |
| 1684 |
is_nothrow_copy_constructible<_Fp>::value && is_nothrow_copy_constructible<_Ap>::value) |
| 1685 |
{
|
| 1686 |
__f_ = (__base*)&__buf_; |
| 1687 |
::new (__f_) _FF(_VSTD::move(__f), _Alloc(__a)); |
| 1688 |
} |
| 1689 |
else |
| 1690 |
{
|
| 1691 |
typedef __allocator_destructor<_Ap> _Dp; |
| 1692 |
unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1)); |
| 1693 |
::new (__hold.get()) _FF(_VSTD::move(__f), _Alloc(__a)); |
| 1694 |
__f_ = __hold.release(); |
| 1695 |
} |
| 1696 |
} |
| 1697 |
} |
| 1698 |
|
| 1699 |
template<class _Rp, class ..._ArgTypes> |
| 1700 |
function<_Rp(_ArgTypes...)>& |
| 1701 |
function<_Rp(_ArgTypes...)>::operator=(const function& __f) |
| 1702 |
{
|
| 1703 |
function(__f).swap(*this); |
| 1704 |
return *this; |
| 1705 |
} |
| 1706 |
|
| 1707 |
template<class _Rp, class ..._ArgTypes> |
| 1708 |
function<_Rp(_ArgTypes...)>& |
| 1709 |
function<_Rp(_ArgTypes...)>::operator=(function&& __f) _NOEXCEPT |
| 1710 |
{
|
| 1711 |
if (__f_ == (__base*)&__buf_) |
| 1712 |
__f_->destroy(); |
| 1713 |
else if (__f_) |
| 1714 |
__f_->destroy_deallocate(); |
| 1715 |
__f_ = 0; |
| 1716 |
if (__f.__f_ == 0) |
| 1717 |
__f_ = 0; |
| 1718 |
else if (__f.__f_ == (__base*)&__f.__buf_) |
| 1719 |
{
|
| 1720 |
__f_ = (__base*)&__buf_; |
| 1721 |
__f.__f_->__clone(__f_); |
| 1722 |
} |
| 1723 |
else |
| 1724 |
{
|
| 1725 |
__f_ = __f.__f_; |
| 1726 |
__f.__f_ = 0; |
| 1727 |
} |
| 1728 |
return *this; |
| 1729 |
} |
| 1730 |
|
| 1731 |
template<class _Rp, class ..._ArgTypes> |
| 1732 |
function<_Rp(_ArgTypes...)>& |
| 1733 |
function<_Rp(_ArgTypes...)>::operator=(nullptr_t) _NOEXCEPT |
| 1734 |
{
|
| 1735 |
if (__f_ == (__base*)&__buf_) |
| 1736 |
__f_->destroy(); |
| 1737 |
else if (__f_) |
| 1738 |
__f_->destroy_deallocate(); |
| 1739 |
__f_ = 0; |
| 1740 |
return *this; |
| 1741 |
} |
| 1742 |
|
| 1743 |
template<class _Rp, class ..._ArgTypes> |
| 1744 |
template <class _Fp> |
| 1745 |
typename enable_if |
| 1746 |
< |
| 1747 |
function<_Rp(_ArgTypes...)>::template __callable<typename decay<_Fp>::type>::value && |
| 1748 |
!is_same<typename remove_reference<_Fp>::type, function<_Rp(_ArgTypes...)>>::value, |
| 1749 |
function<_Rp(_ArgTypes...)>& |
| 1750 |
>::type |
| 1751 |
function<_Rp(_ArgTypes...)>::operator=(_Fp&& __f) |
| 1752 |
{
|
| 1753 |
function(_VSTD::forward<_Fp>(__f)).swap(*this); |
| 1754 |
return *this; |
| 1755 |
} |
| 1756 |
|
| 1757 |
template<class _Rp, class ..._ArgTypes> |
| 1758 |
function<_Rp(_ArgTypes...)>::~function() |
| 1759 |
{
|
| 1760 |
if (__f_ == (__base*)&__buf_) |
| 1761 |
__f_->destroy(); |
| 1762 |
else if (__f_) |
| 1763 |
__f_->destroy_deallocate(); |
| 1764 |
} |
| 1765 |
|
| 1766 |
template<class _Rp, class ..._ArgTypes> |
| 1767 |
void |
| 1768 |
function<_Rp(_ArgTypes...)>::swap(function& __f) _NOEXCEPT |
| 1769 |
{
|
| 1770 |
if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_) |
| 1771 |
{
|
| 1772 |
typename aligned_storage<sizeof(__buf_)>::type __tempbuf; |
| 1773 |
__base* __t = (__base*)&__tempbuf; |
| 1774 |
__f_->__clone(__t); |
| 1775 |
__f_->destroy(); |
| 1776 |
__f_ = 0; |
| 1777 |
__f.__f_->__clone((__base*)&__buf_); |
| 1778 |
__f.__f_->destroy(); |
| 1779 |
__f.__f_ = 0; |
| 1780 |
__f_ = (__base*)&__buf_; |
| 1781 |
__t->__clone((__base*)&__f.__buf_); |
| 1782 |
__t->destroy(); |
| 1783 |
__f.__f_ = (__base*)&__f.__buf_; |
| 1784 |
} |
| 1785 |
else if (__f_ == (__base*)&__buf_) |
| 1786 |
{
|
| 1787 |
__f_->__clone((__base*)&__f.__buf_); |
| 1788 |
__f_->destroy(); |
| 1789 |
__f_ = __f.__f_; |
| 1790 |
__f.__f_ = (__base*)&__f.__buf_; |
| 1791 |
} |
| 1792 |
else if (__f.__f_ == (__base*)&__f.__buf_) |
| 1793 |
{
|
| 1794 |
__f.__f_->__clone((__base*)&__buf_); |
| 1795 |
__f.__f_->destroy(); |
| 1796 |
__f.__f_ = __f_; |
| 1797 |
__f_ = (__base*)&__buf_; |
| 1798 |
} |
| 1799 |
else |
| 1800 |
_VSTD::swap(__f_, __f.__f_); |
| 1801 |
} |
| 1802 |
|
| 1803 |
template<class _Rp, class ..._ArgTypes> |
| 1804 |
_Rp |
| 1805 |
function<_Rp(_ArgTypes...)>::operator()(_ArgTypes... __arg) const |
| 1806 |
{
|
| 1807 |
#ifndef _LIBCPP_NO_EXCEPTIONS |
| 1808 |
if (__f_ == 0) |
| 1809 |
throw bad_function_call(); |
| 1810 |
#endif // _LIBCPP_NO_EXCEPTIONS |
| 1811 |
return (*__f_)(_VSTD::forward<_ArgTypes>(__arg)...); |
| 1812 |
} |
| 1813 |
|
| 1814 |
#ifndef _LIBCPP_NO_RTTI |
| 1815 |
|
| 1816 |
template<class _Rp, class ..._ArgTypes> |
| 1817 |
const std::type_info& |
| 1818 |
function<_Rp(_ArgTypes...)>::target_type() const _NOEXCEPT |
| 1819 |
{
|
| 1820 |
if (__f_ == 0) |
| 1821 |
return typeid(void); |
| 1822 |
return __f_->target_type(); |
| 1823 |
} |
| 1824 |
|
| 1825 |
template<class _Rp, class ..._ArgTypes> |
| 1826 |
template <typename _Tp> |
| 1827 |
_Tp* |
| 1828 |
function<_Rp(_ArgTypes...)>::target() _NOEXCEPT |
| 1829 |
{
|
| 1830 |
if (__f_ == 0) |
| 1831 |
return (_Tp*)0; |
| 1832 |
return (_Tp*)__f_->target(typeid(_Tp)); |
| 1833 |
} |
| 1834 |
|
| 1835 |
template<class _Rp, class ..._ArgTypes> |
| 1836 |
template <typename _Tp> |
| 1837 |
const _Tp* |
| 1838 |
function<_Rp(_ArgTypes...)>::target() const _NOEXCEPT |
| 1839 |
{
|
| 1840 |
if (__f_ == 0) |
| 1841 |
return (const _Tp*)0; |
| 1842 |
return (const _Tp*)__f_->target(typeid(_Tp)); |
| 1843 |
} |
| 1844 |
|
| 1845 |
#endif // _LIBCPP_NO_RTTI |
| 1846 |
|
| 1847 |
template <class _Rp, class... _ArgTypes> |
| 1848 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1849 |
bool |
| 1850 |
operator==(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return !__f;}
|
| 1851 |
|
| 1852 |
template <class _Rp, class... _ArgTypes> |
| 1853 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1854 |
bool |
| 1855 |
operator==(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return !__f;}
|
| 1856 |
|
| 1857 |
template <class _Rp, class... _ArgTypes> |
| 1858 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1859 |
bool |
| 1860 |
operator!=(const function<_Rp(_ArgTypes...)>& __f, nullptr_t) _NOEXCEPT {return (bool)__f;}
|
| 1861 |
|
| 1862 |
template <class _Rp, class... _ArgTypes> |
| 1863 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1864 |
bool |
| 1865 |
operator!=(nullptr_t, const function<_Rp(_ArgTypes...)>& __f) _NOEXCEPT {return (bool)__f;}
|
| 1866 |
|
| 1867 |
template <class _Rp, class... _ArgTypes> |
| 1868 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1869 |
void |
| 1870 |
swap(function<_Rp(_ArgTypes...)>& __x, function<_Rp(_ArgTypes...)>& __y) _NOEXCEPT |
| 1871 |
{return __x.swap(__y);}
|
| 1872 |
|
| 1873 |
#else // _LIBCPP_HAS_NO_VARIADICS |
| 1874 |
|
| 1875 |
#include <__functional_03> |
| 1876 |
|
| 1877 |
#endif |
| 1878 |
|
| 1879 |
//////////////////////////////////////////////////////////////////////////////// |
| 1880 |
// BIND |
| 1881 |
//============================================================================== |
| 1882 |
|
| 1883 |
template<class _Tp> struct __is_bind_expression : public false_type {};
|
| 1884 |
template<class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_bind_expression |
| 1885 |
: public __is_bind_expression<typename remove_cv<_Tp>::type> {};
|
| 1886 |
|
| 1887 |
template<class _Tp> struct __is_placeholder : public integral_constant<int, 0> {};
|
| 1888 |
template<class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_placeholder |
| 1889 |
: public __is_placeholder<typename remove_cv<_Tp>::type> {};
|
| 1890 |
|
| 1891 |
namespace placeholders |
| 1892 |
{
|
| 1893 |
|
| 1894 |
template <int _Np> struct __ph {};
|
| 1895 |
|
| 1896 |
_LIBCPP_FUNC_VIS extern __ph<1> _1; |
| 1897 |
_LIBCPP_FUNC_VIS extern __ph<2> _2; |
| 1898 |
_LIBCPP_FUNC_VIS extern __ph<3> _3; |
| 1899 |
_LIBCPP_FUNC_VIS extern __ph<4> _4; |
| 1900 |
_LIBCPP_FUNC_VIS extern __ph<5> _5; |
| 1901 |
_LIBCPP_FUNC_VIS extern __ph<6> _6; |
| 1902 |
_LIBCPP_FUNC_VIS extern __ph<7> _7; |
| 1903 |
_LIBCPP_FUNC_VIS extern __ph<8> _8; |
| 1904 |
_LIBCPP_FUNC_VIS extern __ph<9> _9; |
| 1905 |
_LIBCPP_FUNC_VIS extern __ph<10> _10; |
| 1906 |
|
| 1907 |
} // placeholders |
| 1908 |
|
| 1909 |
template<int _Np> |
| 1910 |
struct __is_placeholder<placeholders::__ph<_Np> > |
| 1911 |
: public integral_constant<int, _Np> {};
|
| 1912 |
|
| 1913 |
|
| 1914 |
#ifndef _LIBCPP_HAS_NO_VARIADICS |
| 1915 |
|
| 1916 |
template <class _Tp, class _Uj> |
| 1917 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1918 |
_Tp& |
| 1919 |
__mu(reference_wrapper<_Tp> __t, _Uj&) |
| 1920 |
{
|
| 1921 |
return __t.get(); |
| 1922 |
} |
| 1923 |
|
| 1924 |
template <class _Ti, class ..._Uj, size_t ..._Indx> |
| 1925 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1926 |
typename __invoke_of<_Ti&, _Uj...>::type |
| 1927 |
__mu_expand(_Ti& __ti, tuple<_Uj...>& __uj, __tuple_indices<_Indx...>) |
| 1928 |
{
|
| 1929 |
return __ti(_VSTD::forward<_Uj>(_VSTD::get<_Indx>(__uj))...); |
| 1930 |
} |
| 1931 |
|
| 1932 |
template <class _Ti, class ..._Uj> |
| 1933 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1934 |
typename __lazy_enable_if |
| 1935 |
< |
| 1936 |
is_bind_expression<_Ti>::value, |
| 1937 |
__invoke_of<_Ti&, _Uj...> |
| 1938 |
>::type |
| 1939 |
__mu(_Ti& __ti, tuple<_Uj...>& __uj) |
| 1940 |
{
|
| 1941 |
typedef typename __make_tuple_indices<sizeof...(_Uj)>::type __indices; |
| 1942 |
return __mu_expand(__ti, __uj, __indices()); |
| 1943 |
} |
| 1944 |
|
| 1945 |
template <bool IsPh, class _Ti, class _Uj> |
| 1946 |
struct __mu_return2 {};
|
| 1947 |
|
| 1948 |
template <class _Ti, class _Uj> |
| 1949 |
struct __mu_return2<true, _Ti, _Uj> |
| 1950 |
{
|
| 1951 |
typedef typename tuple_element<is_placeholder<_Ti>::value - 1, _Uj>::type type; |
| 1952 |
}; |
| 1953 |
|
| 1954 |
template <class _Ti, class _Uj> |
| 1955 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1956 |
typename enable_if |
| 1957 |
< |
| 1958 |
0 < is_placeholder<_Ti>::value, |
| 1959 |
typename __mu_return2<0 < is_placeholder<_Ti>::value, _Ti, _Uj>::type |
| 1960 |
>::type |
| 1961 |
__mu(_Ti&, _Uj& __uj) |
| 1962 |
{
|
| 1963 |
const size_t _Indx = is_placeholder<_Ti>::value - 1; |
| 1964 |
return _VSTD::forward<typename tuple_element<_Indx, _Uj>::type>(_VSTD::get<_Indx>(__uj)); |
| 1965 |
} |
| 1966 |
|
| 1967 |
template <class _Ti, class _Uj> |
| 1968 |
inline _LIBCPP_INLINE_VISIBILITY |
| 1969 |
typename enable_if |
| 1970 |
< |
| 1971 |
!is_bind_expression<_Ti>::value && |
| 1972 |
is_placeholder<_Ti>::value == 0 && |
| 1973 |
!__is_reference_wrapper<_Ti>::value, |
| 1974 |
_Ti& |
| 1975 |
>::type |
| 1976 |
__mu(_Ti& __ti, _Uj&) |
| 1977 |
{
|
| 1978 |
return __ti; |
| 1979 |
} |
| 1980 |
|
| 1981 |
template <class _Ti, bool IsReferenceWrapper, bool IsBindEx, bool IsPh, |
| 1982 |
class _TupleUj> |
| 1983 |
struct ____mu_return; |
| 1984 |
|
| 1985 |
template <bool _Invokable, class _Ti, class ..._Uj> |
| 1986 |
struct ____mu_return_invokable // false |
| 1987 |
{
|
| 1988 |
typedef __nat type; |
| 1989 |
}; |
| 1990 |
|
| 1991 |
template <class _Ti, class ..._Uj> |
| 1992 |
struct ____mu_return_invokable<true, _Ti, _Uj...> |
| 1993 |
{
|
| 1994 |
typedef typename __invoke_of<_Ti&, _Uj...>::type type; |
| 1995 |
}; |
| 1996 |
|
| 1997 |
template <class _Ti, class ..._Uj> |
| 1998 |
struct ____mu_return<_Ti, false, true, false, tuple<_Uj...> > |
| 1999 |
: public ____mu_return_invokable<__invokable<_Ti&, _Uj...>::value, _Ti, _Uj...> |
| 2000 |
{
|
| 2001 |
}; |
| 2002 |
|
| 2003 |
template <class _Ti, class _TupleUj> |
| 2004 |
struct ____mu_return<_Ti, false, false, true, _TupleUj> |
| 2005 |
{
|
| 2006 |
typedef typename tuple_element<is_placeholder<_Ti>::value - 1, |
| 2007 |
_TupleUj>::type&& type; |
| 2008 |
}; |
| 2009 |
|
| 2010 |
template <class _Ti, class _TupleUj> |
| 2011 |
struct ____mu_return<_Ti, true, false, false, _TupleUj> |
| 2012 |
{
|
| 2013 |
typedef typename _Ti::type& type; |
| 2014 |
}; |
| 2015 |
|
| 2016 |
template <class _Ti, class _TupleUj> |
| 2017 |
struct ____mu_return<_Ti, false, false, false, _TupleUj> |
| 2018 |
{
|
| 2019 |
typedef _Ti& type; |
| 2020 |
}; |
| 2021 |
|
| 2022 |
template <class _Ti, class _TupleUj> |
| 2023 |
struct __mu_return |
| 2024 |
: public ____mu_return<_Ti, |
| 2025 |
__is_reference_wrapper<_Ti>::value, |
| 2026 |
is_bind_expression<_Ti>::value, |
| 2027 |
0 < is_placeholder<_Ti>::value && |
| 2028 |
is_placeholder<_Ti>::value <= tuple_size<_TupleUj>::value, |
| 2029 |
_TupleUj> |
| 2030 |
{
|
| 2031 |
}; |
| 2032 |
|
| 2033 |
template <class _Fp, class _BoundArgs, class _TupleUj> |
| 2034 |
struct __is_valid_bind_return |
| 2035 |
{
|
| 2036 |
static const bool value = false; |
| 2037 |
}; |
| 2038 |
|
| 2039 |
template <class _Fp, class ..._BoundArgs, class _TupleUj> |
| 2040 |
struct __is_valid_bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj> |
| 2041 |
{
|
| 2042 |
static const bool value = __invokable<_Fp, |
| 2043 |
typename __mu_return<_BoundArgs, _TupleUj>::type...>::value; |
| 2044 |
}; |
| 2045 |
|
| 2046 |
template <class _Fp, class ..._BoundArgs, class _TupleUj> |
| 2047 |
struct __is_valid_bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj> |
| 2048 |
{
|
| 2049 |
static const bool value = __invokable<_Fp, |
| 2050 |
typename __mu_return<const _BoundArgs, _TupleUj>::type...>::value; |
| 2051 |
}; |
| 2052 |
|
| 2053 |
template <class _Fp, class _BoundArgs, class _TupleUj, |
| 2054 |
bool = __is_valid_bind_return<_Fp, _BoundArgs, _TupleUj>::value> |
| 2055 |
struct __bind_return; |
| 2056 |
|
| 2057 |
template <class _Fp, class ..._BoundArgs, class _TupleUj> |
| 2058 |
struct __bind_return<_Fp, tuple<_BoundArgs...>, _TupleUj, true> |
| 2059 |
{
|
| 2060 |
typedef typename __invoke_of |
| 2061 |
< |
| 2062 |
_Fp&, |
| 2063 |
typename __mu_return |
| 2064 |
< |
| 2065 |
_BoundArgs, |
| 2066 |
_TupleUj |
| 2067 |
>::type... |
| 2068 |
>::type type; |
| 2069 |
}; |
| 2070 |
|
| 2071 |
template <class _Fp, class ..._BoundArgs, class _TupleUj> |
| 2072 |
struct __bind_return<_Fp, const tuple<_BoundArgs...>, _TupleUj, true> |
| 2073 |
{
|
| 2074 |
typedef typename __invoke_of |
| 2075 |
< |
| 2076 |
_Fp&, |
| 2077 |
typename __mu_return |
| 2078 |
< |
| 2079 |
const _BoundArgs, |
| 2080 |
_TupleUj |
| 2081 |
>::type... |
| 2082 |
>::type type; |
| 2083 |
}; |
| 2084 |
|
| 2085 |
template <class _Fp, class _BoundArgs, size_t ..._Indx, class _Args> |
| 2086 |
inline _LIBCPP_INLINE_VISIBILITY |
| 2087 |
typename __bind_return<_Fp, _BoundArgs, _Args>::type |
| 2088 |
__apply_functor(_Fp& __f, _BoundArgs& __bound_args, __tuple_indices<_Indx...>, |
| 2089 |
_Args&& __args) |
| 2090 |
{
|
| 2091 |
return __invoke(__f, __mu(_VSTD::get<_Indx>(__bound_args), __args)...); |
| 2092 |
} |
| 2093 |
|
| 2094 |
template<class _Fp, class ..._BoundArgs> |
| 2095 |
class __bind |
| 2096 |
: public __weak_result_type<typename decay<_Fp>::type> |
| 2097 |
{
|
| 2098 |
protected: |
| 2099 |
typedef typename decay<_Fp>::type _Fd; |
| 2100 |
typedef tuple<typename decay<_BoundArgs>::type...> _Td; |
| 2101 |
private: |
| 2102 |
_Fd __f_; |
| 2103 |
_Td __bound_args_; |
| 2104 |
|
| 2105 |
typedef typename __make_tuple_indices<sizeof...(_BoundArgs)>::type __indices; |
| 2106 |
public: |
| 2107 |
#ifdef _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS |
| 2108 |
|
| 2109 |
_LIBCPP_INLINE_VISIBILITY |
| 2110 |
__bind(const __bind& __b) |
| 2111 |
: __f_(__b.__f_), |
| 2112 |
__bound_args_(__b.__bound_args_) {}
|
| 2113 |
|
| 2114 |
_LIBCPP_INLINE_VISIBILITY |
| 2115 |
__bind& operator=(const __bind& __b) |
| 2116 |
{
|
| 2117 |
__f_ = __b.__f_; |
| 2118 |
__bound_args_ = __b.__bound_args_; |
| 2119 |
return *this; |
| 2120 |
} |
| 2121 |
|
| 2122 |
_LIBCPP_INLINE_VISIBILITY |
| 2123 |
__bind(__bind&& __b) |
| 2124 |
: __f_(_VSTD::move(__b.__f_)), |
| 2125 |
__bound_args_(_VSTD::move(__b.__bound_args_)) {}
|
| 2126 |
|
| 2127 |
_LIBCPP_INLINE_VISIBILITY |
| 2128 |
__bind& operator=(__bind&& __b) |
| 2129 |
{
|
| 2130 |
__f_ = _VSTD::move(__b.__f_); |
| 2131 |
__bound_args_ = _VSTD::move(__b.__bound_args_); |
| 2132 |
return *this; |
| 2133 |
} |
| 2134 |
|
| 2135 |
#endif // _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS |
| 2136 |
|
| 2137 |
template <class _Gp, class ..._BA, |
| 2138 |
class = typename enable_if |
| 2139 |
< |
| 2140 |
is_constructible<_Fd, _Gp>::value && |
| 2141 |
!is_same<typename remove_reference<_Gp>::type, |
| 2142 |
__bind>::value |
| 2143 |
>::type> |
| 2144 |
_LIBCPP_INLINE_VISIBILITY |
| 2145 |
explicit __bind(_Gp&& __f, _BA&& ...__bound_args) |
| 2146 |
: __f_(_VSTD::forward<_Gp>(__f)), |
| 2147 |
__bound_args_(_VSTD::forward<_BA>(__bound_args)...) {}
|
| 2148 |
|
| 2149 |
template <class ..._Args> |
| 2150 |
_LIBCPP_INLINE_VISIBILITY |
| 2151 |
typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type |
| 2152 |
operator()(_Args&& ...__args) |
| 2153 |
{
|
| 2154 |
return __apply_functor(__f_, __bound_args_, __indices(), |
| 2155 |
tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...)); |
| 2156 |
} |
| 2157 |
|
| 2158 |
template <class ..._Args> |
| 2159 |
_LIBCPP_INLINE_VISIBILITY |
| 2160 |
typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type |
| 2161 |
operator()(_Args&& ...__args) const |
| 2162 |
{
|
| 2163 |
return __apply_functor(__f_, __bound_args_, __indices(), |
| 2164 |
tuple<_Args&&...>(_VSTD::forward<_Args>(__args)...)); |
| 2165 |
} |
| 2166 |
}; |
| 2167 |
|
| 2168 |
template<class _Fp, class ..._BoundArgs> |
| 2169 |
struct __is_bind_expression<__bind<_Fp, _BoundArgs...> > : public true_type {};
|
| 2170 |
|
| 2171 |
template<class _Rp, class _Fp, class ..._BoundArgs> |
| 2172 |
class __bind_r |
| 2173 |
: public __bind<_Fp, _BoundArgs...> |
| 2174 |
{
|
| 2175 |
typedef __bind<_Fp, _BoundArgs...> base; |
| 2176 |
typedef typename base::_Fd _Fd; |
| 2177 |
typedef typename base::_Td _Td; |
| 2178 |
public: |
| 2179 |
typedef _Rp result_type; |
| 2180 |
|
| 2181 |
#ifdef _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS |
| 2182 |
|
| 2183 |
_LIBCPP_INLINE_VISIBILITY |
| 2184 |
__bind_r(const __bind_r& __b) |
| 2185 |
: base(_VSTD::forward<const base&>(__b)) {}
|
| 2186 |
|
| 2187 |
_LIBCPP_INLINE_VISIBILITY |
| 2188 |
__bind_r& operator=(const __bind_r& __b) |
| 2189 |
{
|
| 2190 |
base::operator=(_VSTD::forward<const base&>(__b)); |
| 2191 |
return *this; |
| 2192 |
} |
| 2193 |
|
| 2194 |
_LIBCPP_INLINE_VISIBILITY |
| 2195 |
__bind_r(__bind_r&& __b) |
| 2196 |
: base(_VSTD::forward<base>(__b)) {}
|
| 2197 |
|
| 2198 |
_LIBCPP_INLINE_VISIBILITY |
| 2199 |
__bind_r& operator=(__bind_r&& __b) |
| 2200 |
{
|
| 2201 |
base::operator=(_VSTD::forward<base>(__b)); |
| 2202 |
return *this; |
| 2203 |
} |
| 2204 |
|
| 2205 |
#endif // _LIBCPP_HAS_NO_DEFAULTED_FUNCTIONS |
| 2206 |
|
| 2207 |
template <class _Gp, class ..._BA, |
| 2208 |
class = typename enable_if |
| 2209 |
< |
| 2210 |
is_constructible<_Fd, _Gp>::value && |
| 2211 |
!is_same<typename remove_reference<_Gp>::type, |
| 2212 |
__bind_r>::value |
| 2213 |
>::type> |
| 2214 |
_LIBCPP_INLINE_VISIBILITY |
| 2215 |
explicit __bind_r(_Gp&& __f, _BA&& ...__bound_args) |
| 2216 |
: base(_VSTD::forward<_Gp>(__f), |
| 2217 |
_VSTD::forward<_BA>(__bound_args)...) {}
|
| 2218 |
|
| 2219 |
template <class ..._Args> |
| 2220 |
_LIBCPP_INLINE_VISIBILITY |
| 2221 |
typename enable_if |
| 2222 |
< |
| 2223 |
is_convertible<typename __bind_return<_Fd, _Td, tuple<_Args&&...> >::type, |
| 2224 |
result_type>::value || is_void<_Rp>::value, |
| 2225 |
result_type |
| 2226 |
>::type |
| 2227 |
operator()(_Args&& ...__args) |
| 2228 |
{
|
| 2229 |
typedef __invoke_void_return_wrapper<_Rp> _Invoker; |
| 2230 |
return _Invoker::__call(static_cast<base&>(*this), _VSTD::forward<_Args>(__args)...); |
| 2231 |
} |
| 2232 |
|
| 2233 |
template <class ..._Args> |
| 2234 |
_LIBCPP_INLINE_VISIBILITY |
| 2235 |
typename enable_if |
| 2236 |
< |
| 2237 |
is_convertible<typename __bind_return<const _Fd, const _Td, tuple<_Args&&...> >::type, |
| 2238 |
result_type>::value || is_void<_Rp>::value, |
| 2239 |
result_type |
| 2240 |
>::type |
| 2241 |
operator()(_Args&& ...__args) const |
| 2242 |
{
|
| 2243 |
typedef __invoke_void_return_wrapper<_Rp> _Invoker; |
| 2244 |
return _Invoker::__call(static_cast<base const&>(*this), _VSTD::forward<_Args>(__args)...); |
| 2245 |
} |
| 2246 |
}; |
| 2247 |
|
| 2248 |
template<class _Rp, class _Fp, class ..._BoundArgs> |
| 2249 |
struct __is_bind_expression<__bind_r<_Rp, _Fp, _BoundArgs...> > : public true_type {};
|
| 2250 |
|
| 2251 |
template<class _Fp, class ..._BoundArgs> |
| 2252 |
inline _LIBCPP_INLINE_VISIBILITY |
| 2253 |
__bind<_Fp, _BoundArgs...> |
| 2254 |
bind(_Fp&& __f, _BoundArgs&&... __bound_args) |
| 2255 |
{
|
| 2256 |
typedef __bind<_Fp, _BoundArgs...> type; |
| 2257 |
return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...); |
| 2258 |
} |
| 2259 |
|
| 2260 |
template<class _Rp, class _Fp, class ..._BoundArgs> |
| 2261 |
inline _LIBCPP_INLINE_VISIBILITY |
| 2262 |
__bind_r<_Rp, _Fp, _BoundArgs...> |
| 2263 |
bind(_Fp&& __f, _BoundArgs&&... __bound_args) |
| 2264 |
{
|
| 2265 |
typedef __bind_r<_Rp, _Fp, _BoundArgs...> type; |
| 2266 |
return type(_VSTD::forward<_Fp>(__f), _VSTD::forward<_BoundArgs>(__bound_args)...); |
| 2267 |
} |
| 2268 |
|
| 2269 |
#endif // _LIBCPP_HAS_NO_VARIADICS |
| 2270 |
|
| 2271 |
template <> |
| 2272 |
struct _LIBCPP_TYPE_VIS_ONLY hash<bool> |
| 2273 |
: public unary_function<bool, size_t> |
| 2274 |
{
|
| 2275 |
_LIBCPP_INLINE_VISIBILITY |
| 2276 |
size_t operator()(bool __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2277 |
}; |
| 2278 |
|
| 2279 |
template <> |
| 2280 |
struct _LIBCPP_TYPE_VIS_ONLY hash<char> |
| 2281 |
: public unary_function<char, size_t> |
| 2282 |
{
|
| 2283 |
_LIBCPP_INLINE_VISIBILITY |
| 2284 |
size_t operator()(char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2285 |
}; |
| 2286 |
|
| 2287 |
template <> |
| 2288 |
struct _LIBCPP_TYPE_VIS_ONLY hash<signed char> |
| 2289 |
: public unary_function<signed char, size_t> |
| 2290 |
{
|
| 2291 |
_LIBCPP_INLINE_VISIBILITY |
| 2292 |
size_t operator()(signed char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2293 |
}; |
| 2294 |
|
| 2295 |
template <> |
| 2296 |
struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned char> |
| 2297 |
: public unary_function<unsigned char, size_t> |
| 2298 |
{
|
| 2299 |
_LIBCPP_INLINE_VISIBILITY |
| 2300 |
size_t operator()(unsigned char __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2301 |
}; |
| 2302 |
|
| 2303 |
#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS |
| 2304 |
|
| 2305 |
template <> |
| 2306 |
struct _LIBCPP_TYPE_VIS_ONLY hash<char16_t> |
| 2307 |
: public unary_function<char16_t, size_t> |
| 2308 |
{
|
| 2309 |
_LIBCPP_INLINE_VISIBILITY |
| 2310 |
size_t operator()(char16_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2311 |
}; |
| 2312 |
|
| 2313 |
template <> |
| 2314 |
struct _LIBCPP_TYPE_VIS_ONLY hash<char32_t> |
| 2315 |
: public unary_function<char32_t, size_t> |
| 2316 |
{
|
| 2317 |
_LIBCPP_INLINE_VISIBILITY |
| 2318 |
size_t operator()(char32_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2319 |
}; |
| 2320 |
|
| 2321 |
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS |
| 2322 |
|
| 2323 |
template <> |
| 2324 |
struct _LIBCPP_TYPE_VIS_ONLY hash<wchar_t> |
| 2325 |
: public unary_function<wchar_t, size_t> |
| 2326 |
{
|
| 2327 |
_LIBCPP_INLINE_VISIBILITY |
| 2328 |
size_t operator()(wchar_t __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2329 |
}; |
| 2330 |
|
| 2331 |
template <> |
| 2332 |
struct _LIBCPP_TYPE_VIS_ONLY hash<short> |
| 2333 |
: public unary_function<short, size_t> |
| 2334 |
{
|
| 2335 |
_LIBCPP_INLINE_VISIBILITY |
| 2336 |
size_t operator()(short __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2337 |
}; |
| 2338 |
|
| 2339 |
template <> |
| 2340 |
struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned short> |
| 2341 |
: public unary_function<unsigned short, size_t> |
| 2342 |
{
|
| 2343 |
_LIBCPP_INLINE_VISIBILITY |
| 2344 |
size_t operator()(unsigned short __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2345 |
}; |
| 2346 |
|
| 2347 |
template <> |
| 2348 |
struct _LIBCPP_TYPE_VIS_ONLY hash<int> |
| 2349 |
: public unary_function<int, size_t> |
| 2350 |
{
|
| 2351 |
_LIBCPP_INLINE_VISIBILITY |
| 2352 |
size_t operator()(int __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2353 |
}; |
| 2354 |
|
| 2355 |
template <> |
| 2356 |
struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned int> |
| 2357 |
: public unary_function<unsigned int, size_t> |
| 2358 |
{
|
| 2359 |
_LIBCPP_INLINE_VISIBILITY |
| 2360 |
size_t operator()(unsigned int __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2361 |
}; |
| 2362 |
|
| 2363 |
template <> |
| 2364 |
struct _LIBCPP_TYPE_VIS_ONLY hash<long> |
| 2365 |
: public unary_function<long, size_t> |
| 2366 |
{
|
| 2367 |
_LIBCPP_INLINE_VISIBILITY |
| 2368 |
size_t operator()(long __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2369 |
}; |
| 2370 |
|
| 2371 |
template <> |
| 2372 |
struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned long> |
| 2373 |
: public unary_function<unsigned long, size_t> |
| 2374 |
{
|
| 2375 |
_LIBCPP_INLINE_VISIBILITY |
| 2376 |
size_t operator()(unsigned long __v) const _NOEXCEPT {return static_cast<size_t>(__v);}
|
| 2377 |
}; |
| 2378 |
|
| 2379 |
template <> |
| 2380 |
struct _LIBCPP_TYPE_VIS_ONLY hash<long long> |
| 2381 |
: public __scalar_hash<long long> |
| 2382 |
{
|
| 2383 |
}; |
| 2384 |
|
| 2385 |
template <> |
| 2386 |
struct _LIBCPP_TYPE_VIS_ONLY hash<unsigned long long> |
| 2387 |
: public __scalar_hash<unsigned long long> |
| 2388 |
{
|
| 2389 |
}; |
| 2390 |
|
| 2391 |
template <> |
| 2392 |
struct _LIBCPP_TYPE_VIS_ONLY hash<float> |
| 2393 |
: public __scalar_hash<float> |
| 2394 |
{
|
| 2395 |
_LIBCPP_INLINE_VISIBILITY |
| 2396 |
size_t operator()(float __v) const _NOEXCEPT |
| 2397 |
{
|
| 2398 |
// -0.0 and 0.0 should return same hash |
| 2399 |
if (__v == 0) |
| 2400 |
return 0; |
| 2401 |
return __scalar_hash<float>::operator()(__v); |
| 2402 |
} |
| 2403 |
}; |
| 2404 |
|
| 2405 |
template <> |
| 2406 |
struct _LIBCPP_TYPE_VIS_ONLY hash<double> |
| 2407 |
: public __scalar_hash<double> |
| 2408 |
{
|
| 2409 |
_LIBCPP_INLINE_VISIBILITY |
| 2410 |
size_t operator()(double __v) const _NOEXCEPT |
| 2411 |
{
|
| 2412 |
// -0.0 and 0.0 should return same hash |
| 2413 |
if (__v == 0) |
| 2414 |
return 0; |
| 2415 |
return __scalar_hash<double>::operator()(__v); |
| 2416 |
} |
| 2417 |
}; |
| 2418 |
|
| 2419 |
template <> |
| 2420 |
struct _LIBCPP_TYPE_VIS_ONLY hash<long double> |
| 2421 |
: public __scalar_hash<long double> |
| 2422 |
{
|
| 2423 |
_LIBCPP_INLINE_VISIBILITY |
| 2424 |
size_t operator()(long double __v) const _NOEXCEPT |
| 2425 |
{
|
| 2426 |
// -0.0 and 0.0 should return same hash |
| 2427 |
if (__v == 0) |
| 2428 |
return 0; |
| 2429 |
#if defined(__i386__) |
| 2430 |
// Zero out padding bits |
| 2431 |
union |
| 2432 |
{
|
| 2433 |
long double __t; |
| 2434 |
struct |
| 2435 |
{
|
| 2436 |
size_t __a; |
| 2437 |
size_t __b; |
| 2438 |
size_t __c; |
| 2439 |
size_t __d; |
| 2440 |
} __s; |
| 2441 |
} __u; |
| 2442 |
__u.__s.__a = 0; |
| 2443 |
__u.__s.__b = 0; |
| 2444 |
__u.__s.__c = 0; |
| 2445 |
__u.__s.__d = 0; |
| 2446 |
__u.__t = __v; |
| 2447 |
return __u.__s.__a ^ __u.__s.__b ^ __u.__s.__c ^ __u.__s.__d; |
| 2448 |
#elif defined(__x86_64__) |
| 2449 |
// Zero out padding bits |
| 2450 |
union |
| 2451 |
{
|
| 2452 |
long double __t; |
| 2453 |
struct |
| 2454 |
{
|
| 2455 |
size_t __a; |
| 2456 |
size_t __b; |
| 2457 |
} __s; |
| 2458 |
} __u; |
| 2459 |
__u.__s.__a = 0; |
| 2460 |
__u.__s.__b = 0; |
| 2461 |
__u.__t = __v; |
| 2462 |
return __u.__s.__a ^ __u.__s.__b; |
| 2463 |
#else |
| 2464 |
return __scalar_hash<long double>::operator()(__v); |
| 2465 |
#endif |
| 2466 |
} |
| 2467 |
}; |
| 2468 |
|
| 2469 |
#if _LIBCPP_STD_VER > 11 |
| 2470 |
template <class _Tp> |
| 2471 |
struct _LIBCPP_TYPE_VIS_ONLY hash |
| 2472 |
: public unary_function<_Tp, size_t> |
| 2473 |
{
|
| 2474 |
static_assert(is_enum<_Tp>::value, "This hash only works for enumeration types"); |
| 2475 |
|
| 2476 |
_LIBCPP_INLINE_VISIBILITY |
| 2477 |
size_t operator()(_Tp __v) const _NOEXCEPT |
| 2478 |
{
|
| 2479 |
typedef typename underlying_type<_Tp>::type type; |
| 2480 |
return hash<type>{}(static_cast<type>(__v));
|
| 2481 |
} |
| 2482 |
}; |
| 2483 |
#endif |
| 2484 |
|
| 2485 |
|
| 2486 |
#if _LIBCPP_STD_VER > 14 |
| 2487 |
template <class _Fn, class ..._Args> |
| 2488 |
result_of_t<_Fn&&(_Args&&...)> |
| 2489 |
invoke(_Fn&& __f, _Args&&... __args) {
|
| 2490 |
return __invoke(_VSTD::forward<_Fn>(__f), _VSTD::forward<_Args>(__args)...); |
| 2491 |
} |
| 2492 |
#endif |
| 2493 |
|
| 2494 |
// struct hash<T*> in <memory> |
| 2495 |
|
| 2496 |
_LIBCPP_END_NAMESPACE_STD |
| 2497 |
|
| 2498 |
#endif // _LIBCPP_FUNCTIONAL |