summaryrefslogtreecommitdiff
path: root/third_party/libcxx/include/c++/v1/future
diff options
context:
space:
mode:
authorRichard Qin <richard.qin.x@gmail.com>2026-10-16 02:39:56 +0800
committerRichard Qin <richard.qin.x@gmail.com>2026-10-16 02:39:56 +0800
commit8cace3f05003c6cb4d38c36890055f03151c2ad4 (patch)
treeaa739deaac0266f17c4e91b333957501cb1ea2e9 /third_party/libcxx/include/c++/v1/future
parent3ad39e9878310e5317ee73c9b353c1e2c1c5c4ee (diff)
downloadlume-8cace3f05003c6cb4d38c36890055f03151c2ad4.tar.gz
lume-8cace3f05003c6cb4d38c36890055f03151c2ad4.tar.xz
Remove old code
Signed-off-by: Richard Qin <richard.qin.x@gmail.com>
Diffstat (limited to 'third_party/libcxx/include/c++/v1/future')
-rw-r--r--third_party/libcxx/include/c++/v1/future2080
1 files changed, 0 insertions, 2080 deletions
diff --git a/third_party/libcxx/include/c++/v1/future b/third_party/libcxx/include/c++/v1/future
deleted file mode 100644
index 6bd836a..0000000
--- a/third_party/libcxx/include/c++/v1/future
+++ /dev/null
@@ -1,2080 +0,0 @@
-// -*- C++ -*-
-//===----------------------------------------------------------------------===//
-//
-// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
-// See https://llvm.org/LICENSE.txt for license information.
-// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef _LIBCPP_FUTURE
-#define _LIBCPP_FUTURE
-
-/*
- future synopsis
-
-namespace std
-{
-
-enum class future_errc
-{
- future_already_retrieved = 1,
- promise_already_satisfied,
- no_state,
- broken_promise
-};
-
-enum class launch
-{
- async = 1,
- deferred = 2,
- any = async | deferred
-};
-
-enum class future_status
-{
- ready,
- timeout,
- deferred
-};
-
-template <> struct is_error_code_enum<future_errc> : public true_type { };
-error_code make_error_code(future_errc e) noexcept;
-error_condition make_error_condition(future_errc e) noexcept;
-
-const error_category& future_category() noexcept;
-
-class future_error : public logic_error {
-public:
- explicit future_error(future_errc e); // since C++17
-
- const error_code& code() const noexcept;
- const char* what() const noexcept;
-
-private:
- error_code ec_; // exposition only
-};
-
-template <class R>
-class promise
-{
-public:
- promise();
- template <class Allocator>
- promise(allocator_arg_t, const Allocator& a);
- promise(promise&& rhs) noexcept;
- promise(const promise& rhs) = delete;
- ~promise();
-
- // assignment
- promise& operator=(promise&& rhs) noexcept;
- promise& operator=(const promise& rhs) = delete;
- void swap(promise& other) noexcept;
-
- // retrieving the result
- future<R> get_future();
-
- // setting the result
- void set_value(const R& r);
- void set_value(R&& r);
- void set_exception(exception_ptr p);
-
- // setting the result with deferred notification
- void set_value_at_thread_exit(const R& r);
- void set_value_at_thread_exit(R&& r);
- void set_exception_at_thread_exit(exception_ptr p);
-};
-
-template <class R>
-class promise<R&>
-{
-public:
- promise();
- template <class Allocator>
- promise(allocator_arg_t, const Allocator& a);
- promise(promise&& rhs) noexcept;
- promise(const promise& rhs) = delete;
- ~promise();
-
- // assignment
- promise& operator=(promise&& rhs) noexcept;
- promise& operator=(const promise& rhs) = delete;
- void swap(promise& other) noexcept;
-
- // retrieving the result
- future<R&> get_future();
-
- // setting the result
- void set_value(R& r);
- void set_exception(exception_ptr p);
-
- // setting the result with deferred notification
- void set_value_at_thread_exit(R&);
- void set_exception_at_thread_exit(exception_ptr p);
-};
-
-template <>
-class promise<void>
-{
-public:
- promise();
- template <class Allocator>
- promise(allocator_arg_t, const Allocator& a);
- promise(promise&& rhs) noexcept;
- promise(const promise& rhs) = delete;
- ~promise();
-
- // assignment
- promise& operator=(promise&& rhs) noexcept;
- promise& operator=(const promise& rhs) = delete;
- void swap(promise& other) noexcept;
-
- // retrieving the result
- future<void> get_future();
-
- // setting the result
- void set_value();
- void set_exception(exception_ptr p);
-
- // setting the result with deferred notification
- void set_value_at_thread_exit();
- void set_exception_at_thread_exit(exception_ptr p);
-};
-
-template <class R> void swap(promise<R>& x, promise<R>& y) noexcept;
-
-template <class R, class Alloc>
- struct uses_allocator<promise<R>, Alloc> : public true_type {};
-
-template <class R>
-class future
-{
-public:
- future() noexcept;
- future(future&&) noexcept;
- future(const future& rhs) = delete;
- ~future();
- future& operator=(const future& rhs) = delete;
- future& operator=(future&&) noexcept;
- shared_future<R> share() noexcept;
-
- // retrieving the value
- R get();
-
- // functions to check state
- bool valid() const noexcept;
-
- void wait() const;
- template <class Rep, class Period>
- future_status
- wait_for(const chrono::duration<Rep, Period>& rel_time) const;
- template <class Clock, class Duration>
- future_status
- wait_until(const chrono::time_point<Clock, Duration>& abs_time) const;
-};
-
-template <class R>
-class future<R&>
-{
-public:
- future() noexcept;
- future(future&&) noexcept;
- future(const future& rhs) = delete;
- ~future();
- future& operator=(const future& rhs) = delete;
- future& operator=(future&&) noexcept;
- shared_future<R&> share() noexcept;
-
- // retrieving the value
- R& get();
-
- // functions to check state
- bool valid() const noexcept;
-
- void wait() const;
- template <class Rep, class Period>
- future_status
- wait_for(const chrono::duration<Rep, Period>& rel_time) const;
- template <class Clock, class Duration>
- future_status
- wait_until(const chrono::time_point<Clock, Duration>& abs_time) const;
-};
-
-template <>
-class future<void>
-{
-public:
- future() noexcept;
- future(future&&) noexcept;
- future(const future& rhs) = delete;
- ~future();
- future& operator=(const future& rhs) = delete;
- future& operator=(future&&) noexcept;
- shared_future<void> share() noexcept;
-
- // retrieving the value
- void get();
-
- // functions to check state
- bool valid() const noexcept;
-
- void wait() const;
- template <class Rep, class Period>
- future_status
- wait_for(const chrono::duration<Rep, Period>& rel_time) const;
- template <class Clock, class Duration>
- future_status
- wait_until(const chrono::time_point<Clock, Duration>& abs_time) const;
-};
-
-template <class R>
-class shared_future
-{
-public:
- shared_future() noexcept;
- shared_future(const shared_future& rhs);
- shared_future(future<R>&&) noexcept;
- shared_future(shared_future&& rhs) noexcept;
- ~shared_future();
- shared_future& operator=(const shared_future& rhs);
- shared_future& operator=(shared_future&& rhs) noexcept;
-
- // retrieving the value
- const R& get() const;
-
- // functions to check state
- bool valid() const noexcept;
-
- void wait() const;
- template <class Rep, class Period>
- future_status
- wait_for(const chrono::duration<Rep, Period>& rel_time) const;
- template <class Clock, class Duration>
- future_status
- wait_until(const chrono::time_point<Clock, Duration>& abs_time) const;
-};
-
-template <class R>
-class shared_future<R&>
-{
-public:
- shared_future() noexcept;
- shared_future(const shared_future& rhs);
- shared_future(future<R&>&&) noexcept;
- shared_future(shared_future&& rhs) noexcept;
- ~shared_future();
- shared_future& operator=(const shared_future& rhs);
- shared_future& operator=(shared_future&& rhs) noexcept;
-
- // retrieving the value
- R& get() const;
-
- // functions to check state
- bool valid() const noexcept;
-
- void wait() const;
- template <class Rep, class Period>
- future_status
- wait_for(const chrono::duration<Rep, Period>& rel_time) const;
- template <class Clock, class Duration>
- future_status
- wait_until(const chrono::time_point<Clock, Duration>& abs_time) const;
-};
-
-template <>
-class shared_future<void>
-{
-public:
- shared_future() noexcept;
- shared_future(const shared_future& rhs);
- shared_future(future<void>&&) noexcept;
- shared_future(shared_future&& rhs) noexcept;
- ~shared_future();
- shared_future& operator=(const shared_future& rhs);
- shared_future& operator=(shared_future&& rhs) noexcept;
-
- // retrieving the value
- void get() const;
-
- // functions to check state
- bool valid() const noexcept;
-
- void wait() const;
- template <class Rep, class Period>
- future_status
- wait_for(const chrono::duration<Rep, Period>& rel_time) const;
- template <class Clock, class Duration>
- future_status
- wait_until(const chrono::time_point<Clock, Duration>& abs_time) const;
-};
-
-template <class F, class... Args>
- future<typename result_of<typename decay<F>::type(typename decay<Args>::type...)>::type>
- async(F&& f, Args&&... args);
-
-template <class F, class... Args>
- future<typename result_of<typename decay<F>::type(typename decay<Args>::type...)>::type>
- async(launch policy, F&& f, Args&&... args);
-
-template <class> class packaged_task; // undefined
-
-template <class R, class... ArgTypes>
-class packaged_task<R(ArgTypes...)>
-{
-public:
- // construction and destruction
- packaged_task() noexcept;
- template <class F>
- explicit packaged_task(F&& f);
- template <class F, class Allocator>
- packaged_task(allocator_arg_t, const Allocator& a, F&& f); // removed in C++17
- ~packaged_task();
-
- // no copy
- packaged_task(const packaged_task&) = delete;
- packaged_task& operator=(const packaged_task&) = delete;
-
- // move support
- packaged_task(packaged_task&& other) noexcept;
- packaged_task& operator=(packaged_task&& other) noexcept;
- void swap(packaged_task& other) noexcept;
-
- bool valid() const noexcept;
-
- // result retrieval
- future<R> get_future();
-
- // execution
- void operator()(ArgTypes... );
- void make_ready_at_thread_exit(ArgTypes...);
-
- void reset();
-};
-
-template <class R>
- void swap(packaged_task<R(ArgTypes...)&, packaged_task<R(ArgTypes...)>&) noexcept;
-
-template <class R, class Alloc> struct uses_allocator<packaged_task<R>, Alloc>; // removed in C++17
-
-} // std
-
-*/
-
-#if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
-# include <__cxx03/future>
-#else
-# include <__config>
-
-# if _LIBCPP_HAS_THREADS
-
-# include <__assert>
-# include <__chrono/duration.h>
-# include <__chrono/steady_clock.h>
-# include <__chrono/time_point.h>
-# include <__condition_variable/condition_variable.h>
-# include <__cstddef/nullptr_t.h>
-# include <__exception/exception_ptr.h>
-# include <__memory/addressof.h>
-# include <__memory/allocator.h>
-# include <__memory/allocator_arg_t.h>
-# include <__memory/allocator_destructor.h>
-# include <__memory/allocator_traits.h>
-# include <__memory/compressed_pair.h>
-# include <__memory/pointer_traits.h>
-# include <__memory/shared_count.h>
-# include <__memory/unique_ptr.h>
-# include <__memory/uses_allocator.h>
-# include <__mutex/lock_guard.h>
-# include <__mutex/mutex.h>
-# include <__mutex/unique_lock.h>
-# include <__system_error/error_category.h>
-# include <__system_error/error_code.h>
-# include <__system_error/error_condition.h>
-# include <__thread/thread.h>
-# include <__type_traits/add_reference.h>
-# include <__type_traits/aligned_storage.h>
-# include <__type_traits/conditional.h>
-# include <__type_traits/decay.h>
-# include <__type_traits/enable_if.h>
-# include <__type_traits/invoke.h>
-# include <__type_traits/is_constructible.h>
-# include <__type_traits/is_same.h>
-# include <__type_traits/remove_cvref.h>
-# include <__type_traits/remove_reference.h>
-# include <__type_traits/strip_signature.h>
-# include <__type_traits/underlying_type.h>
-# include <__utility/auto_cast.h>
-# include <__utility/exception_guard.h>
-# include <__utility/forward.h>
-# include <__utility/move.h>
-# include <__utility/swap.h>
-# include <stdexcept>
-# include <tuple>
-# include <version>
-
-# if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
-# pragma GCC system_header
-# endif
-
-_LIBCPP_PUSH_MACROS
-# include <__undef_macros>
-
-_LIBCPP_BEGIN_NAMESPACE_STD
-
-// enum class future_errc
-_LIBCPP_DECLARE_STRONG_ENUM(future_errc){
- future_already_retrieved = 1, promise_already_satisfied, no_state, broken_promise};
-_LIBCPP_DECLARE_STRONG_ENUM_EPILOG(future_errc)
-
-template <>
-struct is_error_code_enum<future_errc> : public true_type {};
-
-# ifdef _LIBCPP_CXX03_LANG
-template <>
-struct is_error_code_enum<future_errc::__lx> : public true_type {};
-# endif
-
-// enum class launch
-_LIBCPP_DECLARE_STRONG_ENUM(launch){
- async = 1,
- deferred = 2,
- any _LIBCPP_DEPRECATED_("std::launch::any is a deprecated extension. "
- "Use std::launch::async | std::launch::deferred instead. "
- "It will be removed in LLVM 25.") = async | deferred};
-_LIBCPP_DECLARE_STRONG_ENUM_EPILOG(launch)
-
-# ifndef _LIBCPP_CXX03_LANG
-
-using __launch_underlying_type _LIBCPP_NODEBUG = __underlying_type_t<launch>;
-
-inline _LIBCPP_HIDE_FROM_ABI constexpr launch operator&(launch __x, launch __y) {
- return static_cast<launch>(static_cast<__launch_underlying_type>(__x) & static_cast<__launch_underlying_type>(__y));
-}
-
-inline _LIBCPP_HIDE_FROM_ABI constexpr launch operator|(launch __x, launch __y) {
- return static_cast<launch>(static_cast<__launch_underlying_type>(__x) | static_cast<__launch_underlying_type>(__y));
-}
-
-inline _LIBCPP_HIDE_FROM_ABI constexpr launch operator^(launch __x, launch __y) {
- return static_cast<launch>(static_cast<__launch_underlying_type>(__x) ^ static_cast<__launch_underlying_type>(__y));
-}
-
-inline _LIBCPP_HIDE_FROM_ABI constexpr launch operator~(launch __x) {
- return static_cast<launch>(~static_cast<__launch_underlying_type>(__x) & 3);
-}
-
-inline _LIBCPP_HIDE_FROM_ABI launch& operator&=(launch& __x, launch __y) {
- __x = __x & __y;
- return __x;
-}
-
-inline _LIBCPP_HIDE_FROM_ABI launch& operator|=(launch& __x, launch __y) {
- __x = __x | __y;
- return __x;
-}
-
-inline _LIBCPP_HIDE_FROM_ABI launch& operator^=(launch& __x, launch __y) {
- __x = __x ^ __y;
- return __x;
-}
-
-# endif // !_LIBCPP_CXX03_LANG
-
-// enum class future_status
-_LIBCPP_DECLARE_STRONG_ENUM(future_status){ready, timeout, deferred};
-_LIBCPP_DECLARE_STRONG_ENUM_EPILOG(future_status)
-
-[[__nodiscard__]] _LIBCPP_EXPORTED_FROM_ABI const error_category& future_category() _NOEXCEPT;
-
-[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI error_code make_error_code(future_errc __e) _NOEXCEPT {
- return error_code(static_cast<int>(__e), future_category());
-}
-
-[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI error_condition make_error_condition(future_errc __e) _NOEXCEPT {
- return error_condition(static_cast<int>(__e), future_category());
-}
-
-[[__noreturn__]] inline _LIBCPP_HIDE_FROM_ABI void __throw_future_error(future_errc __ev);
-
-class _LIBCPP_EXPORTED_FROM_ABI future_error : public logic_error {
- error_code __ec_;
-
- future_error(error_code);
- friend void __throw_future_error(future_errc);
- template <class>
- friend class promise;
-
-public:
-# if _LIBCPP_STD_VER >= 17
- _LIBCPP_HIDE_FROM_ABI explicit future_error(future_errc __ec) : future_error(std::make_error_code(__ec)) {}
-# endif
-
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI const error_code& code() const _NOEXCEPT { return __ec_; }
-
- _LIBCPP_HIDE_FROM_ABI future_error(const future_error&) _NOEXCEPT = default;
- ~future_error() _NOEXCEPT override;
-};
-
-// Declared above std::future_error
-void __throw_future_error(future_errc __ev) {
-# if _LIBCPP_HAS_EXCEPTIONS
- throw future_error(make_error_code(__ev));
-# else
- (void)__ev;
- _LIBCPP_VERBOSE_ABORT("future_error was thrown in -fno-exceptions mode");
-# endif
-}
-
-class _LIBCPP_EXPORTED_FROM_ABI __assoc_sub_state : public __shared_count {
-protected:
- exception_ptr __exception_;
- mutable mutex __mut_;
- mutable condition_variable __cv_;
- unsigned __state_;
-
- void __on_zero_shared() _NOEXCEPT override;
- void __sub_wait(unique_lock<mutex>& __lk);
-
-public:
- enum { __constructed = 1, __future_attached = 2, ready = 4, deferred = 8 };
-
- _LIBCPP_HIDE_FROM_ABI __assoc_sub_state() : __state_(0) {}
-
- _LIBCPP_HIDE_FROM_ABI bool __has_value() const { return (__state_ & __constructed) || (__exception_ != nullptr); }
-
- _LIBCPP_HIDE_FROM_ABI void __attach_future() {
- lock_guard<mutex> __lk(__mut_);
- bool __has_future_attached = (__state_ & __future_attached) != 0;
- if (__has_future_attached)
- std::__throw_future_error(future_errc::future_already_retrieved);
- this->__add_shared();
- __state_ |= __future_attached;
- }
-
- _LIBCPP_HIDE_FROM_ABI void __set_deferred() { __state_ |= deferred; }
-
- void __make_ready();
- _LIBCPP_HIDE_FROM_ABI bool __is_ready() const { return (__state_ & ready) != 0; }
-
- void set_value();
- void set_value_at_thread_exit();
-
- void set_exception(exception_ptr __p);
- void set_exception_at_thread_exit(exception_ptr __p);
-
- void copy();
-
- void wait();
- template <class _Rep, class _Period>
- future_status _LIBCPP_HIDE_FROM_ABI wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const;
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- unique_lock<mutex> __lk(__mut_);
- if (__state_ & deferred)
- return future_status::deferred;
- while (!(__state_ & ready) && _Clock::now() < __abs_time)
- __cv_.wait_until(__lk, __abs_time);
- if (__state_ & ready)
- return future_status::ready;
- return future_status::timeout;
- }
-
- virtual void __execute();
-};
-
-template <class _Rep, class _Period>
-inline future_status __assoc_sub_state::wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return wait_until(chrono::steady_clock::now() + __rel_time);
-}
-
-template <class _Rp>
-class _LIBCPP_HIDDEN __assoc_state : public __assoc_sub_state {
- typedef __assoc_sub_state base;
-
-protected:
- _ALIGNAS_TYPE(_Rp) char __value_[sizeof(_Rp)];
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL void __on_zero_shared() _NOEXCEPT override;
-
-public:
- template <class _Arg>
- _LIBCPP_HIDE_FROM_ABI void set_value(_Arg&& __arg);
-
- template <class _Arg>
- _LIBCPP_HIDE_FROM_ABI void set_value_at_thread_exit(_Arg&& __arg);
-
- _LIBCPP_HIDE_FROM_ABI _Rp move();
- _LIBCPP_HIDE_FROM_ABI _Rp& copy();
-};
-
-template <class _Rp>
-void __assoc_state<_Rp>::__on_zero_shared() _NOEXCEPT {
- if (this->__state_ & base::__constructed)
- reinterpret_cast<_Rp*>(std::addressof(__value_))->~_Rp();
- delete this;
-}
-
-template <class _Rp>
-template <class _Arg>
-void __assoc_state<_Rp>::set_value(_Arg&& __arg) {
- unique_lock<mutex> __lk(this->__mut_);
- if (this->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
- ::new ((void*)std::addressof(__value_)) _Rp(std::forward<_Arg>(__arg));
- this->__state_ |= base::__constructed | base::ready;
- __cv_.notify_all();
-}
-
-template <class _Rp>
-template <class _Arg>
-void __assoc_state<_Rp>::set_value_at_thread_exit(_Arg&& __arg) {
- unique_lock<mutex> __lk(this->__mut_);
- if (this->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
- ::new ((void*)std::addressof(__value_)) _Rp(std::forward<_Arg>(__arg));
- this->__state_ |= base::__constructed;
- __thread_local_data()->__make_ready_at_thread_exit(this);
-}
-
-template <class _Rp>
-_Rp __assoc_state<_Rp>::move() {
- unique_lock<mutex> __lk(this->__mut_);
- this->__sub_wait(__lk);
- if (this->__exception_ != nullptr)
- std::rethrow_exception(this->__exception_);
- return std::move(*reinterpret_cast<_Rp*>(std::addressof(__value_)));
-}
-
-template <class _Rp>
-_Rp& __assoc_state<_Rp>::copy() {
- unique_lock<mutex> __lk(this->__mut_);
- this->__sub_wait(__lk);
- if (this->__exception_ != nullptr)
- std::rethrow_exception(this->__exception_);
- return *reinterpret_cast<_Rp*>(std::addressof(__value_));
-}
-
-template <class _Rp>
-class __assoc_state<_Rp&> : public __assoc_sub_state {
- typedef __assoc_sub_state base;
- typedef _Rp* _Up;
-
-protected:
- _Up __value_;
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL void __on_zero_shared() _NOEXCEPT override;
-
-public:
- _LIBCPP_HIDE_FROM_ABI void set_value(_Rp& __arg);
- _LIBCPP_HIDE_FROM_ABI void set_value_at_thread_exit(_Rp& __arg);
-
- _LIBCPP_HIDE_FROM_ABI _Rp& copy();
-};
-
-template <class _Rp>
-void __assoc_state<_Rp&>::__on_zero_shared() _NOEXCEPT {
- delete this;
-}
-
-template <class _Rp>
-void __assoc_state<_Rp&>::set_value(_Rp& __arg) {
- unique_lock<mutex> __lk(this->__mut_);
- if (this->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
- __value_ = std::addressof(__arg);
- this->__state_ |= base::__constructed | base::ready;
- __cv_.notify_all();
-}
-
-template <class _Rp>
-void __assoc_state<_Rp&>::set_value_at_thread_exit(_Rp& __arg) {
- unique_lock<mutex> __lk(this->__mut_);
- if (this->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
- __value_ = std::addressof(__arg);
- this->__state_ |= base::__constructed;
- __thread_local_data()->__make_ready_at_thread_exit(this);
-}
-
-template <class _Rp>
-_Rp& __assoc_state<_Rp&>::copy() {
- unique_lock<mutex> __lk(this->__mut_);
- this->__sub_wait(__lk);
- if (this->__exception_ != nullptr)
- std::rethrow_exception(this->__exception_);
- return *__value_;
-}
-
-template <class _Rp, class _Alloc>
-class __assoc_state_alloc : public __assoc_state<_Rp> {
- typedef __assoc_state<_Rp> base;
- _Alloc __alloc_;
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void __on_zero_shared() _NOEXCEPT;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __assoc_state_alloc(const _Alloc& __a) : __alloc_(__a) {}
-};
-
-template <class _Rp, class _Alloc>
-void __assoc_state_alloc<_Rp, _Alloc>::__on_zero_shared() _NOEXCEPT {
- if (this->__state_ & base::__constructed)
- reinterpret_cast<_Rp*>(std::addressof(this->__value_))->~_Rp();
- typedef typename __allocator_traits_rebind<_Alloc, __assoc_state_alloc>::type _Al;
- typedef allocator_traits<_Al> _ATraits;
- typedef pointer_traits<typename _ATraits::pointer> _PTraits;
- _Al __a(__alloc_);
- this->~__assoc_state_alloc();
- __a.deallocate(_PTraits::pointer_to(*this), 1);
-}
-
-template <class _Rp, class _Alloc>
-class __assoc_state_alloc<_Rp&, _Alloc> : public __assoc_state<_Rp&> {
- typedef __assoc_state<_Rp&> base;
- _Alloc __alloc_;
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void __on_zero_shared() _NOEXCEPT;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __assoc_state_alloc(const _Alloc& __a) : __alloc_(__a) {}
-};
-
-template <class _Rp, class _Alloc>
-void __assoc_state_alloc<_Rp&, _Alloc>::__on_zero_shared() _NOEXCEPT {
- typedef typename __allocator_traits_rebind<_Alloc, __assoc_state_alloc>::type _Al;
- typedef allocator_traits<_Al> _ATraits;
- typedef pointer_traits<typename _ATraits::pointer> _PTraits;
- _Al __a(__alloc_);
- this->~__assoc_state_alloc();
- __a.deallocate(_PTraits::pointer_to(*this), 1);
-}
-
-template <class _Alloc>
-class __assoc_sub_state_alloc : public __assoc_sub_state {
- typedef __assoc_sub_state base;
- _Alloc __alloc_;
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL void __on_zero_shared() _NOEXCEPT override;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __assoc_sub_state_alloc(const _Alloc& __a) : __alloc_(__a) {}
-};
-
-template <class _Alloc>
-void __assoc_sub_state_alloc<_Alloc>::__on_zero_shared() _NOEXCEPT {
- typedef typename __allocator_traits_rebind<_Alloc, __assoc_sub_state_alloc>::type _Al;
- typedef allocator_traits<_Al> _ATraits;
- typedef pointer_traits<typename _ATraits::pointer> _PTraits;
- _Al __a(__alloc_);
- this->~__assoc_sub_state_alloc();
- __a.deallocate(_PTraits::pointer_to(*this), 1);
-}
-
-template <class _Rp, class _Fp>
-class __deferred_assoc_state : public __assoc_state<_Rp> {
- typedef __assoc_state<_Rp> base;
-
- _Fp __func_;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __deferred_assoc_state(_Fp&& __f);
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void __execute();
-};
-
-template <class _Rp, class _Fp>
-inline __deferred_assoc_state<_Rp, _Fp>::__deferred_assoc_state(_Fp&& __f) : __func_(std::forward<_Fp>(__f)) {
- this->__set_deferred();
-}
-
-template <class _Rp, class _Fp>
-void __deferred_assoc_state<_Rp, _Fp>::__execute() {
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- this->set_value(__func_());
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- this->set_exception(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class _Fp>
-class __deferred_assoc_state<void, _Fp> : public __assoc_sub_state {
- typedef __assoc_sub_state base;
-
- _Fp __func_;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __deferred_assoc_state(_Fp&& __f);
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL void __execute() override;
-};
-
-template <class _Fp>
-inline __deferred_assoc_state<void, _Fp>::__deferred_assoc_state(_Fp&& __f) : __func_(std::forward<_Fp>(__f)) {
- this->__set_deferred();
-}
-
-template <class _Fp>
-void __deferred_assoc_state<void, _Fp>::__execute() {
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- __func_();
- this->set_value();
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- this->set_exception(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class _Rp, class _Fp>
-class __async_assoc_state : public __assoc_state<_Rp> {
- typedef __assoc_state<_Rp> base;
-
- _Fp __func_;
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void __on_zero_shared() _NOEXCEPT;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __async_assoc_state(_Fp&& __f);
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void __execute();
-};
-
-template <class _Rp, class _Fp>
-inline __async_assoc_state<_Rp, _Fp>::__async_assoc_state(_Fp&& __f) : __func_(std::forward<_Fp>(__f)) {}
-
-template <class _Rp, class _Fp>
-void __async_assoc_state<_Rp, _Fp>::__execute() {
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- this->set_value(__func_());
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- this->set_exception(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class _Rp, class _Fp>
-void __async_assoc_state<_Rp, _Fp>::__on_zero_shared() _NOEXCEPT {
- this->wait();
- base::__on_zero_shared();
-}
-
-template <class _Fp>
-class __async_assoc_state<void, _Fp> : public __assoc_sub_state {
- typedef __assoc_sub_state base;
-
- _Fp __func_;
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL void __on_zero_shared() _NOEXCEPT override;
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __async_assoc_state(_Fp&& __f);
-
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL void __execute() override;
-};
-
-template <class _Fp>
-inline __async_assoc_state<void, _Fp>::__async_assoc_state(_Fp&& __f) : __func_(std::forward<_Fp>(__f)) {}
-
-template <class _Fp>
-void __async_assoc_state<void, _Fp>::__execute() {
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- __func_();
- this->set_value();
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- this->set_exception(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class _Fp>
-void __async_assoc_state<void, _Fp>::__on_zero_shared() _NOEXCEPT {
- this->wait();
- base::__on_zero_shared();
-}
-
-template <class _Rp>
-class promise;
-template <class _Rp>
-class shared_future;
-
-// future
-
-template <class _Rp>
-class future;
-
-template <class _Rp, class _Fp>
-_LIBCPP_HIDE_FROM_ABI future<_Rp> __make_deferred_assoc_state(_Fp&& __f);
-
-template <class _Rp, class _Fp>
-_LIBCPP_HIDE_FROM_ABI future<_Rp> __make_async_assoc_state(_Fp&& __f);
-
-template <class _Rp>
-class future {
- __assoc_state<_Rp>* __state_;
-
- explicit _LIBCPP_HIDE_FROM_ABI future(__assoc_state<_Rp>* __state);
-
- template <class>
- friend class promise;
- template <class>
- friend class shared_future;
-
- template <class _R1, class _Fp>
- friend future<_R1> __make_deferred_assoc_state(_Fp&& __f);
- template <class _R1, class _Fp>
- friend future<_R1> __make_async_assoc_state(_Fp&& __f);
-
-public:
- _LIBCPP_HIDE_FROM_ABI future() _NOEXCEPT : __state_(nullptr) {}
- _LIBCPP_HIDE_FROM_ABI future(future&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) { __rhs.__state_ = nullptr; }
- future(const future&) = delete;
- future& operator=(const future&) = delete;
- _LIBCPP_HIDE_FROM_ABI future& operator=(future&& __rhs) _NOEXCEPT {
- future(std::move(__rhs)).swap(*this);
- return *this;
- }
-
- _LIBCPP_HIDE_FROM_ABI ~future();
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI shared_future<_Rp> share() _NOEXCEPT;
-
- // retrieving the value
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI _Rp get();
-
- _LIBCPP_HIDE_FROM_ABI void swap(future& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // functions to check state
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __state_ != nullptr; }
-
- _LIBCPP_HIDE_FROM_ABI void wait() const { __state_->wait(); }
- template <class _Rep, class _Period>
- _LIBCPP_HIDE_FROM_ABI future_status wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return __state_->wait_for(__rel_time);
- }
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- return __state_->wait_until(__abs_time);
- }
-};
-
-template <class _Rp>
-future<_Rp>::future(__assoc_state<_Rp>* __state) : __state_(__state) {
- __state_->__attach_future();
-}
-
-struct __release_shared_count {
- _LIBCPP_HIDE_FROM_ABI void operator()(__shared_count* __p) { __p->__release_shared(); }
-};
-
-template <class _Rp>
-future<_Rp>::~future() {
- if (__state_)
- __state_->__release_shared();
-}
-
-template <class _Rp>
-_Rp future<_Rp>::get() {
- unique_ptr<__shared_count, __release_shared_count> __guard(__state_);
- __assoc_state<_Rp>* __s = __state_;
- __state_ = nullptr;
- return __s->move();
-}
-
-template <class _Rp>
-class future<_Rp&> {
- __assoc_state<_Rp&>* __state_;
-
- explicit _LIBCPP_HIDE_FROM_ABI future(__assoc_state<_Rp&>* __state);
-
- template <class>
- friend class promise;
- template <class>
- friend class shared_future;
-
- template <class _R1, class _Fp>
- friend future<_R1> __make_deferred_assoc_state(_Fp&& __f);
- template <class _R1, class _Fp>
- friend future<_R1> __make_async_assoc_state(_Fp&& __f);
-
-public:
- _LIBCPP_HIDE_FROM_ABI future() _NOEXCEPT : __state_(nullptr) {}
- _LIBCPP_HIDE_FROM_ABI future(future&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) { __rhs.__state_ = nullptr; }
- future(const future&) = delete;
- future& operator=(const future&) = delete;
- _LIBCPP_HIDE_FROM_ABI future& operator=(future&& __rhs) _NOEXCEPT {
- future(std::move(__rhs)).swap(*this);
- return *this;
- }
-
- _LIBCPP_HIDE_FROM_ABI ~future();
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI shared_future<_Rp&> share() _NOEXCEPT;
-
- // retrieving the value
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI _Rp& get();
-
- _LIBCPP_HIDE_FROM_ABI void swap(future& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // functions to check state
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __state_ != nullptr; }
-
- _LIBCPP_HIDE_FROM_ABI void wait() const { __state_->wait(); }
- template <class _Rep, class _Period>
- _LIBCPP_HIDE_FROM_ABI future_status wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return __state_->wait_for(__rel_time);
- }
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- return __state_->wait_until(__abs_time);
- }
-};
-
-template <class _Rp>
-future<_Rp&>::future(__assoc_state<_Rp&>* __state) : __state_(__state) {
- __state_->__attach_future();
-}
-
-template <class _Rp>
-future<_Rp&>::~future() {
- if (__state_)
- __state_->__release_shared();
-}
-
-template <class _Rp>
-_Rp& future<_Rp&>::get() {
- unique_ptr<__shared_count, __release_shared_count> __guard(__state_);
- __assoc_state<_Rp&>* __s = __state_;
- __state_ = nullptr;
- return __s->copy();
-}
-
-template <>
-class _LIBCPP_EXPORTED_FROM_ABI future<void> {
- __assoc_sub_state* __state_;
-
- explicit future(__assoc_sub_state* __state);
-
- template <class>
- friend class promise;
- template <class>
- friend class shared_future;
-
- template <class _R1, class _Fp>
- friend future<_R1> __make_deferred_assoc_state(_Fp&& __f);
- template <class _R1, class _Fp>
- friend future<_R1> __make_async_assoc_state(_Fp&& __f);
-
-public:
- _LIBCPP_HIDE_FROM_ABI future() _NOEXCEPT : __state_(nullptr) {}
- _LIBCPP_HIDE_FROM_ABI future(future&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) { __rhs.__state_ = nullptr; }
- future(const future&) = delete;
- future& operator=(const future&) = delete;
- _LIBCPP_HIDE_FROM_ABI future& operator=(future&& __rhs) _NOEXCEPT {
- future(std::move(__rhs)).swap(*this);
- return *this;
- }
-
- ~future();
- _LIBCPP_HIDE_FROM_ABI shared_future<void> share() _NOEXCEPT;
-
- // retrieving the value
- void get();
-
- _LIBCPP_HIDE_FROM_ABI void swap(future& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // functions to check state
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __state_ != nullptr; }
-
- _LIBCPP_HIDE_FROM_ABI void wait() const { __state_->wait(); }
- template <class _Rep, class _Period>
- _LIBCPP_HIDE_FROM_ABI future_status wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return __state_->wait_for(__rel_time);
- }
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- return __state_->wait_until(__abs_time);
- }
-};
-
-template <class _Rp>
-inline _LIBCPP_HIDE_FROM_ABI void swap(future<_Rp>& __x, future<_Rp>& __y) _NOEXCEPT {
- __x.swap(__y);
-}
-
-// promise<R>
-
-template <class _Callable>
-class packaged_task;
-
-template <class _Rp>
-class promise {
- __assoc_state<_Rp>* __state_;
-
- _LIBCPP_HIDE_FROM_ABI explicit promise(nullptr_t) _NOEXCEPT : __state_(nullptr) {}
-
- template <class>
- friend class packaged_task;
-
-public:
- _LIBCPP_HIDE_FROM_ABI promise();
- template <class _Alloc>
- _LIBCPP_HIDE_FROM_ABI promise(allocator_arg_t, const _Alloc& __a);
- _LIBCPP_HIDE_FROM_ABI promise(promise&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) { __rhs.__state_ = nullptr; }
- promise(const promise& __rhs) = delete;
- _LIBCPP_HIDE_FROM_ABI ~promise();
-
- // assignment
- _LIBCPP_HIDE_FROM_ABI promise& operator=(promise&& __rhs) _NOEXCEPT {
- promise(std::move(__rhs)).swap(*this);
- return *this;
- }
- promise& operator=(const promise& __rhs) = delete;
-
- _LIBCPP_HIDE_FROM_ABI void swap(promise& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // retrieving the result
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI future<_Rp> get_future();
-
- // setting the result
- _LIBCPP_HIDE_FROM_ABI void set_value(const _Rp& __r);
- _LIBCPP_HIDE_FROM_ABI void set_value(_Rp&& __r);
- _LIBCPP_HIDE_FROM_ABI void set_exception(exception_ptr __p);
-
- // setting the result with deferred notification
- _LIBCPP_HIDE_FROM_ABI void set_value_at_thread_exit(const _Rp& __r);
- _LIBCPP_HIDE_FROM_ABI void set_value_at_thread_exit(_Rp&& __r);
- _LIBCPP_HIDE_FROM_ABI void set_exception_at_thread_exit(exception_ptr __p);
-};
-
-template <class _Rp>
-promise<_Rp>::promise() : __state_(new __assoc_state<_Rp>) {}
-
-template <class _Rp>
-template <class _Alloc>
-promise<_Rp>::promise(allocator_arg_t, const _Alloc& __a0) {
- typedef __assoc_state_alloc<_Rp, _Alloc> _State;
- typedef typename __allocator_traits_rebind<_Alloc, _State>::type _A2;
- typedef __allocator_destructor<_A2> _D2;
- _A2 __a(__a0);
- unique_ptr<_State, _D2> __hold(__a.allocate(1), _D2(__a, 1));
- ::new ((void*)std::addressof(*__hold.get())) _State(__a0);
- __state_ = std::addressof(*__hold.release());
-}
-
-template <class _Rp>
-promise<_Rp>::~promise() {
- if (__state_) {
- if (!__state_->__has_value() && __state_->use_count() > 1)
- __state_->set_exception(make_exception_ptr(future_error(make_error_code(future_errc::broken_promise))));
- __state_->__release_shared();
- }
-}
-
-template <class _Rp>
-future<_Rp> promise<_Rp>::get_future() {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- return future<_Rp>(__state_);
-}
-
-template <class _Rp>
-void promise<_Rp>::set_value(const _Rp& __r) {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_value(__r);
-}
-
-template <class _Rp>
-void promise<_Rp>::set_value(_Rp&& __r) {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_value(std::move(__r));
-}
-
-template <class _Rp>
-void promise<_Rp>::set_exception(exception_ptr __p) {
- _LIBCPP_ASSERT_NON_NULL(__p != nullptr, "promise::set_exception: received nullptr");
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_exception(__p);
-}
-
-template <class _Rp>
-void promise<_Rp>::set_value_at_thread_exit(const _Rp& __r) {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_value_at_thread_exit(__r);
-}
-
-template <class _Rp>
-void promise<_Rp>::set_value_at_thread_exit(_Rp&& __r) {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_value_at_thread_exit(std::move(__r));
-}
-
-template <class _Rp>
-void promise<_Rp>::set_exception_at_thread_exit(exception_ptr __p) {
- _LIBCPP_ASSERT_NON_NULL(__p != nullptr, "promise::set_exception_at_thread_exit: received nullptr");
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_exception_at_thread_exit(__p);
-}
-
-// promise<R&>
-
-template <class _Rp>
-class promise<_Rp&> {
- __assoc_state<_Rp&>* __state_;
-
- _LIBCPP_HIDE_FROM_ABI explicit promise(nullptr_t) _NOEXCEPT : __state_(nullptr) {}
-
- template <class>
- friend class packaged_task;
-
-public:
- _LIBCPP_HIDE_FROM_ABI promise();
- template <class _Allocator>
- _LIBCPP_HIDE_FROM_ABI promise(allocator_arg_t, const _Allocator& __a);
- _LIBCPP_HIDE_FROM_ABI promise(promise&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) { __rhs.__state_ = nullptr; }
- promise(const promise& __rhs) = delete;
- _LIBCPP_HIDE_FROM_ABI ~promise();
-
- // assignment
- _LIBCPP_HIDE_FROM_ABI promise& operator=(promise&& __rhs) _NOEXCEPT {
- promise(std::move(__rhs)).swap(*this);
- return *this;
- }
- promise& operator=(const promise& __rhs) = delete;
-
- _LIBCPP_HIDE_FROM_ABI void swap(promise& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // retrieving the result
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI future<_Rp&> get_future();
-
- // setting the result
- _LIBCPP_HIDE_FROM_ABI void set_value(_Rp& __r);
- _LIBCPP_HIDE_FROM_ABI void set_exception(exception_ptr __p);
-
- // setting the result with deferred notification
- _LIBCPP_HIDE_FROM_ABI void set_value_at_thread_exit(_Rp&);
- _LIBCPP_HIDE_FROM_ABI void set_exception_at_thread_exit(exception_ptr __p);
-};
-
-template <class _Rp>
-promise<_Rp&>::promise() : __state_(new __assoc_state<_Rp&>) {}
-
-template <class _Rp>
-template <class _Alloc>
-promise<_Rp&>::promise(allocator_arg_t, const _Alloc& __a0) {
- typedef __assoc_state_alloc<_Rp&, _Alloc> _State;
- typedef typename __allocator_traits_rebind<_Alloc, _State>::type _A2;
- typedef __allocator_destructor<_A2> _D2;
- _A2 __a(__a0);
- unique_ptr<_State, _D2> __hold(__a.allocate(1), _D2(__a, 1));
- ::new ((void*)std::addressof(*__hold.get())) _State(__a0);
- __state_ = std::addressof(*__hold.release());
-}
-
-template <class _Rp>
-promise<_Rp&>::~promise() {
- if (__state_) {
- if (!__state_->__has_value() && __state_->use_count() > 1)
- __state_->set_exception(make_exception_ptr(future_error(make_error_code(future_errc::broken_promise))));
- __state_->__release_shared();
- }
-}
-
-template <class _Rp>
-future<_Rp&> promise<_Rp&>::get_future() {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- return future<_Rp&>(__state_);
-}
-
-template <class _Rp>
-void promise<_Rp&>::set_value(_Rp& __r) {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_value(__r);
-}
-
-template <class _Rp>
-void promise<_Rp&>::set_exception(exception_ptr __p) {
- _LIBCPP_ASSERT_NON_NULL(__p != nullptr, "promise::set_exception: received nullptr");
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_exception(__p);
-}
-
-template <class _Rp>
-void promise<_Rp&>::set_value_at_thread_exit(_Rp& __r) {
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_value_at_thread_exit(__r);
-}
-
-template <class _Rp>
-void promise<_Rp&>::set_exception_at_thread_exit(exception_ptr __p) {
- _LIBCPP_ASSERT_NON_NULL(__p != nullptr, "promise::set_exception_at_thread_exit: received nullptr");
- if (__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- __state_->set_exception_at_thread_exit(__p);
-}
-
-// promise<void>
-
-template <>
-class _LIBCPP_EXPORTED_FROM_ABI promise<void> {
- __assoc_sub_state* __state_;
-
- _LIBCPP_HIDE_FROM_ABI explicit promise(nullptr_t) _NOEXCEPT : __state_(nullptr) {}
-
- template <class>
- friend class packaged_task;
-
-public:
- promise();
- template <class _Alloc>
- _LIBCPP_HIDE_FROM_ABI promise(allocator_arg_t, const _Alloc& __a0) {
- typedef __assoc_sub_state_alloc<_Alloc> _State;
- typedef typename __allocator_traits_rebind<_Alloc, _State>::type _A2;
- typedef __allocator_destructor<_A2> _D2;
- _A2 __a(__a0);
- unique_ptr<_State, _D2> __hold(__a.allocate(1), _D2(__a, 1));
- ::new ((void*)std::addressof(*__hold.get())) _State(__a0);
- __state_ = std::addressof(*__hold.release());
- }
-
- _LIBCPP_HIDE_FROM_ABI promise(promise&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) { __rhs.__state_ = nullptr; }
- promise(const promise& __rhs) = delete;
- ~promise();
-
- // assignment
- _LIBCPP_HIDE_FROM_ABI promise& operator=(promise&& __rhs) _NOEXCEPT {
- promise(std::move(__rhs)).swap(*this);
- return *this;
- }
- promise& operator=(const promise& __rhs) = delete;
-
- _LIBCPP_HIDE_FROM_ABI void swap(promise& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // retrieving the result
- [[__nodiscard__]] future<void> get_future();
-
- // setting the result
- void set_value();
- void set_exception(exception_ptr __p);
-
- // setting the result with deferred notification
- void set_value_at_thread_exit();
- void set_exception_at_thread_exit(exception_ptr __p);
-};
-
-template <class _Rp>
-inline _LIBCPP_HIDE_FROM_ABI void swap(promise<_Rp>& __x, promise<_Rp>& __y) _NOEXCEPT {
- __x.swap(__y);
-}
-
-template <class _Rp, class _Alloc>
-struct uses_allocator<promise<_Rp>, _Alloc> : public true_type {};
-
-// packaged_task
-
-template <class _Fp>
-class __packaged_task_base;
-
-template <class _Rp, class... _ArgTypes>
-class __packaged_task_base<_Rp(_ArgTypes...)> {
-public:
- _LIBCPP_HIDE_FROM_ABI __packaged_task_base() {}
- __packaged_task_base(const __packaged_task_base&) = delete;
- __packaged_task_base& operator=(const __packaged_task_base&) = delete;
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL
- virtual ~__packaged_task_base() {}
- virtual void __move_to(__packaged_task_base*) _NOEXCEPT = 0;
- virtual void destroy() = 0;
- virtual void destroy_deallocate() = 0;
- virtual _Rp operator()(_ArgTypes&&...) = 0;
-};
-
-template <class _FD, class _Alloc, class _FB>
-class __packaged_task_func;
-
-template <class _Fp, class _Alloc, class _Rp, class... _ArgTypes>
-class __packaged_task_func<_Fp, _Alloc, _Rp(_ArgTypes...)> : public __packaged_task_base<_Rp(_ArgTypes...)> {
- _LIBCPP_COMPRESSED_PAIR(_Fp, __func_, _Alloc, __alloc_);
-
-public:
- _LIBCPP_HIDE_FROM_ABI explicit __packaged_task_func(const _Fp& __f) : __func_(__f) {}
- _LIBCPP_HIDE_FROM_ABI explicit __packaged_task_func(_Fp&& __f) : __func_(std::move(__f)) {}
- _LIBCPP_HIDE_FROM_ABI __packaged_task_func(const _Fp& __f, const _Alloc& __a) : __func_(__f), __alloc_(__a) {}
- _LIBCPP_HIDE_FROM_ABI __packaged_task_func(_Fp&& __f, const _Alloc& __a) : __func_(std::move(__f)), __alloc_(__a) {}
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void __move_to(__packaged_task_base<_Rp(_ArgTypes...)>*) _NOEXCEPT;
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void destroy();
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual void destroy_deallocate();
- _LIBCPP_HIDE_FROM_ABI_VIRTUAL virtual _Rp operator()(_ArgTypes&&... __args);
-};
-
-template <class _Fp, class _Alloc, class _Rp, class... _ArgTypes>
-void __packaged_task_func<_Fp, _Alloc, _Rp(_ArgTypes...)>::__move_to(
- __packaged_task_base<_Rp(_ArgTypes...)>* __p) _NOEXCEPT {
- ::new ((void*)__p) __packaged_task_func(std::move(__func_), std::move(__alloc_));
-}
-
-template <class _Fp, class _Alloc, class _Rp, class... _ArgTypes>
-void __packaged_task_func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy() {
- __func_.~_Fp();
- __alloc_.~_Alloc();
-}
-
-template <class _Fp, class _Alloc, class _Rp, class... _ArgTypes>
-void __packaged_task_func<_Fp, _Alloc, _Rp(_ArgTypes...)>::destroy_deallocate() {
- typedef typename __allocator_traits_rebind<_Alloc, __packaged_task_func>::type _Ap;
- typedef allocator_traits<_Ap> _ATraits;
- typedef pointer_traits<typename _ATraits::pointer> _PTraits;
- _Ap __a(__alloc_);
- __func_.~_Fp();
- __alloc_.~_Alloc();
- __a.deallocate(_PTraits::pointer_to(*this), 1);
-}
-
-template <class _Fp, class _Alloc, class _Rp, class... _ArgTypes>
-_Rp __packaged_task_func<_Fp, _Alloc, _Rp(_ArgTypes...)>::operator()(_ArgTypes&&... __arg) {
- return std::__invoke(__func_, std::forward<_ArgTypes>(__arg)...);
-}
-
-template <class _Callable>
-class __packaged_task_function;
-
-template <class _Rp, class... _ArgTypes>
-class __packaged_task_function<_Rp(_ArgTypes...)> {
- typedef __packaged_task_base<_Rp(_ArgTypes...)> __base;
-
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_NO_CFI __base* __get_buf() { return (__base*)&__buf_; }
-
- _LIBCPP_SUPPRESS_DEPRECATED_PUSH
- typename aligned_storage<3 * sizeof(void*)>::type __buf_;
- _LIBCPP_SUPPRESS_DEPRECATED_POP
- __base* __f_;
-
-public:
- typedef _Rp result_type;
-
- // construct/copy/destroy:
- _LIBCPP_HIDE_FROM_ABI __packaged_task_function() _NOEXCEPT : __f_(nullptr) {}
- template <class _Fp>
- _LIBCPP_HIDE_FROM_ABI __packaged_task_function(_Fp&& __f);
- template <class _Fp, class _Alloc>
- _LIBCPP_HIDE_FROM_ABI __packaged_task_function(allocator_arg_t, const _Alloc& __a, _Fp&& __f);
-
- _LIBCPP_HIDE_FROM_ABI __packaged_task_function(__packaged_task_function&&) _NOEXCEPT;
- _LIBCPP_HIDE_FROM_ABI __packaged_task_function& operator=(__packaged_task_function&&) _NOEXCEPT;
-
- __packaged_task_function(const __packaged_task_function&) = delete;
- __packaged_task_function& operator=(const __packaged_task_function&) = delete;
-
- _LIBCPP_HIDE_FROM_ABI ~__packaged_task_function();
-
- _LIBCPP_HIDE_FROM_ABI void swap(__packaged_task_function&) _NOEXCEPT;
-
- _LIBCPP_HIDE_FROM_ABI _Rp operator()(_ArgTypes...) const;
-};
-
-template <class _Rp, class... _ArgTypes>
-__packaged_task_function<_Rp(_ArgTypes...)>::__packaged_task_function(__packaged_task_function&& __f) _NOEXCEPT {
- if (__f.__f_ == nullptr)
- __f_ = nullptr;
- else if (__f.__f_ == __f.__get_buf()) {
- __f.__f_->__move_to(__get_buf());
- __f_ = (__base*)&__buf_;
- } else {
- __f_ = __f.__f_;
- __f.__f_ = nullptr;
- }
-}
-
-template <class _Rp, class... _ArgTypes>
-template <class _Fp>
-__packaged_task_function<_Rp(_ArgTypes...)>::__packaged_task_function(_Fp&& __f) : __f_(nullptr) {
- typedef __libcpp_remove_reference_t<__decay_t<_Fp> > _FR;
- typedef __packaged_task_func<_FR, allocator<_FR>, _Rp(_ArgTypes...)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_)) {
- ::new ((void*)&__buf_) _FF(std::forward<_Fp>(__f));
- __f_ = (__base*)&__buf_;
- } else {
- typedef allocator<_FF> _Ap;
- _Ap __a;
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new ((void*)__hold.get()) _FF(std::forward<_Fp>(__f), allocator<_FR>(__a));
- __f_ = __hold.release();
- }
-}
-
-template <class _Rp, class... _ArgTypes>
-template <class _Fp, class _Alloc>
-__packaged_task_function<_Rp(_ArgTypes...)>::__packaged_task_function(allocator_arg_t, const _Alloc& __a0, _Fp&& __f)
- : __f_(nullptr) {
- typedef __libcpp_remove_reference_t<__decay_t<_Fp> > _FR;
- typedef __packaged_task_func<_FR, _Alloc, _Rp(_ArgTypes...)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_)) {
- __f_ = (__base*)&__buf_;
- ::new ((void*)__f_) _FF(std::forward<_Fp>(__f));
- } else {
- typedef typename __allocator_traits_rebind<_Alloc, _FF>::type _Ap;
- _Ap __a(__a0);
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new ((void*)std::addressof(*__hold.get())) _FF(std::forward<_Fp>(__f), _Alloc(__a));
- __f_ = std::addressof(*__hold.release());
- }
-}
-
-template <class _Rp, class... _ArgTypes>
-__packaged_task_function<_Rp(_ArgTypes...)>&
-__packaged_task_function<_Rp(_ArgTypes...)>::operator=(__packaged_task_function&& __f) _NOEXCEPT {
- if (__f_ == __get_buf())
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- __f_ = nullptr;
- if (__f.__f_ == nullptr)
- __f_ = nullptr;
- else if (__f.__f_ == __f.__get_buf()) {
- __f.__f_->__move_to(__get_buf());
- __f_ = __get_buf();
- } else {
- __f_ = __f.__f_;
- __f.__f_ = nullptr;
- }
- return *this;
-}
-
-template <class _Rp, class... _ArgTypes>
-__packaged_task_function<_Rp(_ArgTypes...)>::~__packaged_task_function() {
- if (__f_ == __get_buf())
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
-}
-
-template <class _Rp, class... _ArgTypes>
-_LIBCPP_NO_CFI void __packaged_task_function<_Rp(_ArgTypes...)>::swap(__packaged_task_function& __f) _NOEXCEPT {
- if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_) {
- _LIBCPP_SUPPRESS_DEPRECATED_PUSH
- typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
- _LIBCPP_SUPPRESS_DEPRECATED_POP
- __base* __t = (__base*)&__tempbuf;
- __f_->__move_to(__t);
- __f_->destroy();
- __f_ = nullptr;
- __f.__f_->__move_to((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = nullptr;
- __f_ = (__base*)&__buf_;
- __t->__move_to((__base*)&__f.__buf_);
- __t->destroy();
- __f.__f_ = (__base*)&__f.__buf_;
- } else if (__f_ == (__base*)&__buf_) {
- __f_->__move_to((__base*)&__f.__buf_);
- __f_->destroy();
- __f_ = __f.__f_;
- __f.__f_ = (__base*)&__f.__buf_;
- } else if (__f.__f_ == (__base*)&__f.__buf_) {
- __f.__f_->__move_to((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = __f_;
- __f_ = (__base*)&__buf_;
- } else
- std::swap(__f_, __f.__f_);
-}
-
-template <class _Rp, class... _ArgTypes>
-inline _Rp __packaged_task_function<_Rp(_ArgTypes...)>::operator()(_ArgTypes... __arg) const {
- return (*__f_)(std::forward<_ArgTypes>(__arg)...);
-}
-
-template <class _Rp, class... _ArgTypes>
-class packaged_task<_Rp(_ArgTypes...)> {
-private:
- __packaged_task_function<_Rp(_ArgTypes...)> __f_;
- promise<_Rp> __p_;
-
-public:
- // construction and destruction
- _LIBCPP_HIDE_FROM_ABI packaged_task() _NOEXCEPT : __p_(nullptr) {}
-
- template <class _Fp, __enable_if_t<!is_same<__remove_cvref_t<_Fp>, packaged_task>::value, int> = 0>
- _LIBCPP_HIDE_FROM_ABI explicit packaged_task(_Fp&& __f) : __f_(std::forward<_Fp>(__f)) {}
-
-# if _LIBCPP_STD_VER <= 14
- template <class _Fp, class _Allocator, __enable_if_t<!is_same<__remove_cvref_t<_Fp>, packaged_task>::value, int> = 0>
- _LIBCPP_HIDE_FROM_ABI packaged_task(allocator_arg_t, const _Allocator& __a, _Fp&& __f)
- : __f_(allocator_arg_t(), __a, std::forward<_Fp>(__f)), __p_(allocator_arg_t(), __a) {}
-# endif
- // ~packaged_task() = default;
-
- // no copy
- packaged_task(const packaged_task&) = delete;
- packaged_task& operator=(const packaged_task&) = delete;
-
- // move support
- _LIBCPP_HIDE_FROM_ABI packaged_task(packaged_task&& __other) _NOEXCEPT
- : __f_(std::move(__other.__f_)),
- __p_(std::move(__other.__p_)) {}
- _LIBCPP_HIDE_FROM_ABI packaged_task& operator=(packaged_task&& __other) _NOEXCEPT {
- __f_ = std::move(__other.__f_);
- __p_ = std::move(__other.__p_);
- return *this;
- }
- _LIBCPP_HIDE_FROM_ABI void swap(packaged_task& __other) _NOEXCEPT {
- __f_.swap(__other.__f_);
- __p_.swap(__other.__p_);
- }
-
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __p_.__state_ != nullptr; }
-
- // result retrieval
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI future<_Rp> get_future() { return __p_.get_future(); }
-
- // execution
- _LIBCPP_HIDE_FROM_ABI void operator()(_ArgTypes... __args);
- _LIBCPP_HIDE_FROM_ABI void make_ready_at_thread_exit(_ArgTypes... __args);
-
- _LIBCPP_HIDE_FROM_ABI void reset();
-};
-
-template <class _Rp, class... _ArgTypes>
-void packaged_task<_Rp(_ArgTypes...)>::operator()(_ArgTypes... __args) {
- if (__p_.__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- if (__p_.__state_->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- __p_.set_value(__f_(std::forward<_ArgTypes>(__args)...));
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- __p_.set_exception(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class _Rp, class... _ArgTypes>
-void packaged_task<_Rp(_ArgTypes...)>::make_ready_at_thread_exit(_ArgTypes... __args) {
- if (__p_.__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- if (__p_.__state_->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- __p_.set_value_at_thread_exit(__f_(std::forward<_ArgTypes>(__args)...));
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- __p_.set_exception_at_thread_exit(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class _Rp, class... _ArgTypes>
-void packaged_task<_Rp(_ArgTypes...)>::reset() {
- if (!valid())
- std::__throw_future_error(future_errc::no_state);
- __p_ = promise<_Rp>();
-}
-
-template <class... _ArgTypes>
-class packaged_task<void(_ArgTypes...)> {
-private:
- __packaged_task_function<void(_ArgTypes...)> __f_;
- promise<void> __p_;
-
-public:
- // construction and destruction
- _LIBCPP_HIDE_FROM_ABI packaged_task() _NOEXCEPT : __p_(nullptr) {}
- template <class _Fp, __enable_if_t<!is_same<__remove_cvref_t<_Fp>, packaged_task>::value, int> = 0>
- _LIBCPP_HIDE_FROM_ABI explicit packaged_task(_Fp&& __f) : __f_(std::forward<_Fp>(__f)) {}
-# if _LIBCPP_STD_VER <= 14
- template <class _Fp, class _Allocator, __enable_if_t<!is_same<__remove_cvref_t<_Fp>, packaged_task>::value, int> = 0>
- _LIBCPP_HIDE_FROM_ABI packaged_task(allocator_arg_t, const _Allocator& __a, _Fp&& __f)
- : __f_(allocator_arg_t(), __a, std::forward<_Fp>(__f)), __p_(allocator_arg_t(), __a) {}
-# endif
- // ~packaged_task() = default;
-
- // no copy
- packaged_task(const packaged_task&) = delete;
- packaged_task& operator=(const packaged_task&) = delete;
-
- // move support
- _LIBCPP_HIDE_FROM_ABI packaged_task(packaged_task&& __other) _NOEXCEPT
- : __f_(std::move(__other.__f_)),
- __p_(std::move(__other.__p_)) {}
- _LIBCPP_HIDE_FROM_ABI packaged_task& operator=(packaged_task&& __other) _NOEXCEPT {
- __f_ = std::move(__other.__f_);
- __p_ = std::move(__other.__p_);
- return *this;
- }
- _LIBCPP_HIDE_FROM_ABI void swap(packaged_task& __other) _NOEXCEPT {
- __f_.swap(__other.__f_);
- __p_.swap(__other.__p_);
- }
-
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __p_.__state_ != nullptr; }
-
- // result retrieval
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI future<void> get_future() { return __p_.get_future(); }
-
- // execution
- _LIBCPP_HIDE_FROM_ABI void operator()(_ArgTypes... __args);
- _LIBCPP_HIDE_FROM_ABI void make_ready_at_thread_exit(_ArgTypes... __args);
-
- _LIBCPP_HIDE_FROM_ABI void reset();
-};
-
-# if _LIBCPP_STD_VER >= 17
-
-template <class _Rp, class... _Args>
-packaged_task(_Rp (*)(_Args...)) -> packaged_task<_Rp(_Args...)>;
-
-template <class _Fp, class _Stripped = __strip_signature_t<decltype(&_Fp::operator())>>
-packaged_task(_Fp) -> packaged_task<_Stripped>;
-
-# endif
-
-template <class... _ArgTypes>
-void packaged_task<void(_ArgTypes...)>::operator()(_ArgTypes... __args) {
- if (__p_.__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- if (__p_.__state_->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- __f_(std::forward<_ArgTypes>(__args)...);
- __p_.set_value();
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- __p_.set_exception(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class... _ArgTypes>
-void packaged_task<void(_ArgTypes...)>::make_ready_at_thread_exit(_ArgTypes... __args) {
- if (__p_.__state_ == nullptr)
- std::__throw_future_error(future_errc::no_state);
- if (__p_.__state_->__has_value())
- std::__throw_future_error(future_errc::promise_already_satisfied);
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif // _LIBCPP_HAS_EXCEPTIONS
- __f_(std::forward<_ArgTypes>(__args)...);
- __p_.set_value_at_thread_exit();
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- __p_.set_exception_at_thread_exit(current_exception());
- }
-# endif // _LIBCPP_HAS_EXCEPTIONS
-}
-
-template <class... _ArgTypes>
-void packaged_task<void(_ArgTypes...)>::reset() {
- if (!valid())
- std::__throw_future_error(future_errc::no_state);
- __p_ = promise<void>();
-}
-
-template <class _Rp, class... _ArgTypes>
-inline _LIBCPP_HIDE_FROM_ABI void
-swap(packaged_task<_Rp(_ArgTypes...)>& __x, packaged_task<_Rp(_ArgTypes...)>& __y) _NOEXCEPT {
- __x.swap(__y);
-}
-
-# if _LIBCPP_STD_VER <= 14
-template <class _Callable, class _Alloc>
-struct uses_allocator<packaged_task<_Callable>, _Alloc> : public true_type {};
-# endif
-
-template <class _Rp, class _Fp>
-_LIBCPP_HIDE_FROM_ABI future<_Rp> __make_deferred_assoc_state(_Fp&& __f) {
- unique_ptr<__deferred_assoc_state<_Rp, _Fp>, __release_shared_count> __h(
- new __deferred_assoc_state<_Rp, _Fp>(std::forward<_Fp>(__f)));
- return future<_Rp>(__h.get());
-}
-
-template <class _Rp, class _Fp>
-_LIBCPP_HIDE_FROM_ABI future<_Rp> __make_async_assoc_state(_Fp&& __f) {
- unique_ptr<__async_assoc_state<_Rp, _Fp>, __release_shared_count> __h(
- new __async_assoc_state<_Rp, _Fp>(std::forward<_Fp>(__f)));
- auto __guard = std::__make_exception_guard([&] { __h->__make_ready(); });
- std::thread(&__async_assoc_state<_Rp, _Fp>::__execute, __h.get()).detach();
- __guard.__complete();
- return future<_Rp>(__h.get());
-}
-
-# ifndef _LIBCPP_CXX03_LANG
-
-template <class _Fp, class... _Args>
-class _LIBCPP_HIDDEN __async_func {
- tuple<_Fp, _Args...> __f_;
-
-public:
- using _Rp _LIBCPP_NODEBUG = __invoke_result_t<_Fp, _Args...>;
-
- template <class _Gp, class... _BArgs>
- _LIBCPP_HIDE_FROM_ABI explicit __async_func(_Gp&& __g, _BArgs&&... __bargs)
- : __f_(std::forward<_Gp>(__g), std::forward<_BArgs>(__bargs)...) {}
-
- _LIBCPP_HIDE_FROM_ABI __async_func(__async_func&& __f) : __f_(std::move(__f.__f_)) {}
-
- _LIBCPP_HIDE_FROM_ABI _Rp operator()() {
- return [&]<size_t... _Indices>(__index_sequence<_Indices...>) -> _Rp {
- return std::__invoke(std::move(std::get<_Indices>(__f_))...);
- }(__index_sequence_for<_Fp, _Args...>{});
- }
-};
-
-inline _LIBCPP_HIDE_FROM_ABI bool __does_policy_contain(launch __policy, launch __value) {
- return (int(__policy) & int(__value)) != 0;
-}
-
-template <class _Fp, class... _Args>
-[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI future<__invoke_result_t<__decay_t<_Fp>, __decay_t<_Args>...> >
-async(launch __policy, _Fp&& __f, _Args&&... __args) {
- static_assert(is_constructible<__decay_t<_Fp>, _Fp>::value, "");
- static_assert(_And<is_constructible<__decay_t<_Args>, _Args>...>::value, "");
- static_assert(__is_invocable_v<__decay_t<_Fp>, __decay_t<_Args>...>, "");
-
- typedef __async_func<__decay_t<_Fp>, __decay_t<_Args>...> _BF;
- typedef typename _BF::_Rp _Rp;
-
-# if _LIBCPP_HAS_EXCEPTIONS
- try {
-# endif
- if (__does_policy_contain(__policy, launch::async))
- return std::__make_async_assoc_state<_Rp>(_BF(std::forward<_Fp>(__f), std::forward<_Args>(__args)...));
-# if _LIBCPP_HAS_EXCEPTIONS
- } catch (...) {
- if (__policy == launch::async)
- throw;
- }
-# endif
-
- if (__does_policy_contain(__policy, launch::deferred))
- return std::__make_deferred_assoc_state<_Rp>(_BF(std::forward<_Fp>(__f), std::forward<_Args>(__args)...));
- return future<_Rp>{};
-}
-
-template <class _Fp, class... _Args>
-[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI future<__invoke_result_t<__decay_t<_Fp>, __decay_t<_Args>...> >
-async(_Fp&& __f, _Args&&... __args) {
- return std::async(launch::async | launch::deferred, std::forward<_Fp>(__f), std::forward<_Args>(__args)...);
-}
-
-# endif // C++03
-
-// shared_future
-
-template <class _Rp>
-class shared_future {
- __assoc_state<_Rp>* __state_;
-
-public:
- _LIBCPP_HIDE_FROM_ABI shared_future() _NOEXCEPT : __state_(nullptr) {}
- _LIBCPP_HIDE_FROM_ABI shared_future(const shared_future& __rhs) _NOEXCEPT : __state_(__rhs.__state_) {
- if (__state_)
- __state_->__add_shared();
- }
- _LIBCPP_HIDE_FROM_ABI shared_future(future<_Rp>&& __f) _NOEXCEPT : __state_(__f.__state_) { __f.__state_ = nullptr; }
- _LIBCPP_HIDE_FROM_ABI shared_future(shared_future&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) {
- __rhs.__state_ = nullptr;
- }
- _LIBCPP_HIDE_FROM_ABI ~shared_future();
- _LIBCPP_HIDE_FROM_ABI shared_future& operator=(const shared_future& __rhs) _NOEXCEPT;
- _LIBCPP_HIDE_FROM_ABI shared_future& operator=(shared_future&& __rhs) _NOEXCEPT {
- shared_future(std::move(__rhs)).swap(*this);
- return *this;
- }
-
- // retrieving the value
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI const _Rp& get() const { return __state_->copy(); }
-
- _LIBCPP_HIDE_FROM_ABI void swap(shared_future& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // functions to check state
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __state_ != nullptr; }
-
- _LIBCPP_HIDE_FROM_ABI void wait() const { __state_->wait(); }
- template <class _Rep, class _Period>
- _LIBCPP_HIDE_FROM_ABI future_status wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return __state_->wait_for(__rel_time);
- }
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- return __state_->wait_until(__abs_time);
- }
-};
-
-template <class _Rp>
-shared_future<_Rp>::~shared_future() {
- if (__state_)
- __state_->__release_shared();
-}
-
-template <class _Rp>
-shared_future<_Rp>& shared_future<_Rp>::operator=(const shared_future& __rhs) _NOEXCEPT {
- if (__rhs.__state_)
- __rhs.__state_->__add_shared();
- if (__state_)
- __state_->__release_shared();
- __state_ = __rhs.__state_;
- return *this;
-}
-
-template <class _Rp>
-class shared_future<_Rp&> {
- __assoc_state<_Rp&>* __state_;
-
-public:
- _LIBCPP_HIDE_FROM_ABI shared_future() _NOEXCEPT : __state_(nullptr) {}
- _LIBCPP_HIDE_FROM_ABI shared_future(const shared_future& __rhs) : __state_(__rhs.__state_) {
- if (__state_)
- __state_->__add_shared();
- }
- _LIBCPP_HIDE_FROM_ABI shared_future(future<_Rp&>&& __f) _NOEXCEPT : __state_(__f.__state_) { __f.__state_ = nullptr; }
- _LIBCPP_HIDE_FROM_ABI shared_future(shared_future&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) {
- __rhs.__state_ = nullptr;
- }
- _LIBCPP_HIDE_FROM_ABI ~shared_future();
- _LIBCPP_HIDE_FROM_ABI shared_future& operator=(const shared_future& __rhs);
- _LIBCPP_HIDE_FROM_ABI shared_future& operator=(shared_future&& __rhs) _NOEXCEPT {
- shared_future(std::move(__rhs)).swap(*this);
- return *this;
- }
-
- // retrieving the value
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI _Rp& get() const { return __state_->copy(); }
-
- _LIBCPP_HIDE_FROM_ABI void swap(shared_future& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // functions to check state
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __state_ != nullptr; }
-
- _LIBCPP_HIDE_FROM_ABI void wait() const { __state_->wait(); }
- template <class _Rep, class _Period>
- _LIBCPP_HIDE_FROM_ABI future_status wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return __state_->wait_for(__rel_time);
- }
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- return __state_->wait_until(__abs_time);
- }
-};
-
-template <class _Rp>
-shared_future<_Rp&>::~shared_future() {
- if (__state_)
- __state_->__release_shared();
-}
-
-template <class _Rp>
-shared_future<_Rp&>& shared_future<_Rp&>::operator=(const shared_future& __rhs) {
- if (__rhs.__state_)
- __rhs.__state_->__add_shared();
- if (__state_)
- __state_->__release_shared();
- __state_ = __rhs.__state_;
- return *this;
-}
-
-template <>
-class _LIBCPP_EXPORTED_FROM_ABI shared_future<void> {
- __assoc_sub_state* __state_;
-
-public:
- _LIBCPP_HIDE_FROM_ABI shared_future() _NOEXCEPT : __state_(nullptr) {}
- _LIBCPP_HIDE_FROM_ABI shared_future(const shared_future& __rhs) : __state_(__rhs.__state_) {
- if (__state_)
- __state_->__add_shared();
- }
- _LIBCPP_HIDE_FROM_ABI shared_future(future<void>&& __f) _NOEXCEPT : __state_(__f.__state_) { __f.__state_ = nullptr; }
- _LIBCPP_HIDE_FROM_ABI shared_future(shared_future&& __rhs) _NOEXCEPT : __state_(__rhs.__state_) {
- __rhs.__state_ = nullptr;
- }
- ~shared_future();
- shared_future& operator=(const shared_future& __rhs);
- _LIBCPP_HIDE_FROM_ABI shared_future& operator=(shared_future&& __rhs) _NOEXCEPT {
- shared_future(std::move(__rhs)).swap(*this);
- return *this;
- }
-
- // retrieving the value
- _LIBCPP_HIDE_FROM_ABI void get() const { __state_->copy(); }
-
- _LIBCPP_HIDE_FROM_ABI void swap(shared_future& __rhs) _NOEXCEPT { std::swap(__state_, __rhs.__state_); }
-
- // functions to check state
- [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI bool valid() const _NOEXCEPT { return __state_ != nullptr; }
-
- _LIBCPP_HIDE_FROM_ABI void wait() const { __state_->wait(); }
- template <class _Rep, class _Period>
- _LIBCPP_HIDE_FROM_ABI future_status wait_for(const chrono::duration<_Rep, _Period>& __rel_time) const {
- return __state_->wait_for(__rel_time);
- }
- template <class _Clock, class _Duration>
- _LIBCPP_HIDE_FROM_ABI future_status wait_until(const chrono::time_point<_Clock, _Duration>& __abs_time) const {
- return __state_->wait_until(__abs_time);
- }
-};
-
-template <class _Rp>
-inline _LIBCPP_HIDE_FROM_ABI void swap(shared_future<_Rp>& __x, shared_future<_Rp>& __y) _NOEXCEPT {
- __x.swap(__y);
-}
-
-template <class _Rp>
-inline shared_future<_Rp> future<_Rp>::share() _NOEXCEPT {
- return shared_future<_Rp>(std::move(*this));
-}
-
-template <class _Rp>
-inline shared_future<_Rp&> future<_Rp&>::share() _NOEXCEPT {
- return shared_future<_Rp&>(std::move(*this));
-}
-
-inline shared_future<void> future<void>::share() _NOEXCEPT { return shared_future<void>(std::move(*this)); }
-
-_LIBCPP_END_NAMESPACE_STD
-
-_LIBCPP_POP_MACROS
-
-# endif // _LIBCPP_HAS_THREADS
-
-# if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 17
-# include <chrono>
-# endif
-
-# if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
-# include <atomic>
-# include <cstdlib>
-# include <exception>
-# include <iosfwd>
-# include <system_error>
-# include <thread>
-# endif
-#endif // __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
-
-#endif // _LIBCPP_FUTURE