std::experimental::unique_resource<R, D>::unique_resource

From cppreference.com
C++
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
Library fundamentals v3
std::experimental::unique_resource
unique_resource();
 (1) (library fundamentals TS v3)
template < class RR, class DD >
unique_resource( RR&& r, DD&& d ) noexcept ( /*see below*/ )
(2) (library fundamentals TS v3)
unique_resource( unique_resource&& other );
 (3) (library fundamentals TS v3)

Follow items are used for explanatory purpose:

  • RS is the type of stored resource handle.
  • The expression res_ refers the underlying resource handle.
  • del_ refers the deleter object.
1) Default constructor. Value-initializes the stored resource handle and the deleter. The constructed unique_resource does not own the resource.
This overload participates in overload resolution only if both std::is_default_constructible_v<R> and std::is_default_constructible_v<D> are true
2) The stored resource handle is initialized with std::forward <RR> (r) if std::is_nothrow_constructible_v<RS, RR> is true, otherwise r. If initialization of the stored resource handle throws an exception, calls d(r).
Then, the deleter is initialized with std::forward <DD> (d) if std::is_nothrow_constructible_v<D, DD> is true, otherwise d. If initialization of deleter throws an exception, calls d(res_).
The constructed unique_resource
This overload participates in overload resolution only if all of std::is_constructible_v<RS, RR> , std::is_constructible_v<D, DD> , std::is_nothrow_constructible_v <RS, RR> || std::is_constructible_v <RS, RR& > and std::is_nothrow_constructible_v <D, DD> || std::is_constructible_v <D, DD& > are true
The program is ill-formed if any of the expressions d(r), d(res_) and del_(res_)
The behavior is undefined if any of the expressions d(r), d(res_) and del_(res_)
3) Move constructor. The stored resource handle is initialized from the one of other, using std::move if std::is_nothrow_move_constructible_v<RS> is true. If initialization of the stored resource handle throws an exception, other is not modified.
Then, the deleter is initialized with the one of other, using std::move if std::is_nothrow_move_constructible_v<D> is true. If initialization of the deleter throws an exception and std::is_nothrow_move_constructible_v<RS> is true and other owns the resource, calls the deleter of other with res_ to dispose the resource, then calls other.release().
After construction, the constructed unique_resource owns its resource if and only if other owned the resource before the construction, and other

Parameters

r - a resource handle
d - a deleter to use to dispose the resource
other - another unique_resource to acquire the ownership from

Exceptions

Any exception thrown during initialization of the stored resource handle or the deleter.

2)
noexcept specification:  
noexcept ( (

std::is_nothrow_constructible_v <RS, RR> || std::is_nothrow_constructible_v <RS, RR& >
) &&
(
std::is_nothrow_constructible_v <D, DD> || std::is_nothrow_constructible_v <D, DD& >

) )
3)
noexcept specification:  
noexcept (

std::is_nothrow_move_constructible_v <R1> && std::is_nothrow_move_constructible_v <D>

)

Notes

The mechanism of these constructors ensures no leaking of resources.

Example

This section is incomplete
Reason: no example

See also

 constructs a new unique_ptr
(public member function of std::unique_ptr<T,Deleter>)
Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/experimental/unique_resource/unique_resource&oldid=156352