std::experimental::shared_future<T>::shared_future

 

C++

Compiler support

Freestanding and hosted

Language

Standard library

Standard library headers

Named requirements

Feature test macros (C++20)

Language support library

Concepts library (C++20)

Metaprogramming library (C++11)

Diagnostics library

General utilities library

Strings library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Numerics library

Localizations library

Input/output library

Filesystem library (C++17)

Regular expressions library (C++11)

Concurrency support library (C++11)

Execution support library (C++26)

Technical specifications

Symbols index

External libraries

 

Experimental

Technical Specification

Filesystem library (filesystem TS)

Library fundamentals (library fundamentals TS)

Library fundamentals 2 (library fundamentals TS v2)

Library fundamentals 3 (library fundamentals TS v3)

Extensions for parallelism (parallelism TS)

Extensions for parallelism 2 (parallelism TS v2)

Extensions for concurrency (concurrency TS)

Extensions for concurrency 2 (concurrency TS v2)

Concepts (concepts TS)

Ranges (ranges TS)

Reflection (reflection TS)

Mathematical special functions (special functions TR)

Experimental Non-TS

Pattern Matching

Linear Algebra

std::execution

Contracts

2D Graphics

 

Extensions for concurrency

std::future extensions

experimental::future

experimental::shared_future

experimental::when_all

experimental::when_any

experimental::make_ready_future

experimental::make_exceptional_future

Latches and barriers

experimental::latch

experimental::barrier

experimental::flex_barrier

Atomic smart pointers

experimental::atomic_shared_ptr

experimental::atomic_weak_ptr

 

std::experimental::shared_future

shared_future::shared_future

shared_future::operator=

shared_future::is_ready

shared_future::then

 

shared_future() noexcept;	(1)
shared_future( std::experimental::shared_future<T>&& f ) noexcept;	(2)
shared_future( const std::experimental::shared_future<T>& f );	(3)
shared_future( std::experimental::future<std::experimental::shared_future<T>> && other ) noexcept;	(4)
shared_future( std::experimental::future<T>&& f ) noexcept;	(5)

1) Default constructor. Constructs an empty shared_future object that does not refer to a shared state.

2) Constructs a shared_future object, transferring the shared state held by f, if any. After construction, f.valid() is false.

3) Constructs a shared future that refers to the same shared state as f, if any.

4) Unwrapping constructor. Constructs a shared_future object from the shared state referred to by other, if any. If other.valid() == false prior to this call, the constructed shared_future object is empty. Otherwise, the resulting shared_future object becomes ready when one of the following happens:

• other and other.get() are both ready. The value or exception from other.get() is stored in the shared state associated with the resulting shared_future object.
• other is ready, but other.get() is invalid. An exception of type std::future_error with an error condition of std::future_errc::broken_promise is stored in the shared state associated with the resulting shared_future object.

After this constructor returns, valid() is equal to the value of other.valid() prior to this call, and other.valid() == false.

5) Constructs a shared_future object, transferring the shared state held by f, if any. After construction, f.valid() is false.

Parameters

f	-	another future object to initialize with
other	-	a std::experimental::future object to unwrap

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR	Applied to	Behavior as published	Correct behavior
LWG 2697	Concurrency TS	behavior of unwrapping constructor is unclear with an invalid future	constructs an empty future

See also

(constructor)

constructs the future object (public member function of std::shared_future<T>)