NAME¶

std::experimental::unique_resource::unique_resource - std::experimental::unique_resource::unique_resource

Synopsis¶

unique_resource(); (1) (library fundamentals TS v3)
template< class RR, class DD >
unique_resource( RR&& r, DD&& d ) noexcept(/*see (2) (library fundamentals TS v3)
below*/)
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 owns the 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_) is
ill-formed.
The behavior is undefined if any of the expressions d(r), d(res_) and del_(res_)
results in undefined behavior or throws an exception.
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 is set to not own the
resource.

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¶

constructor constructs a new unique_ptr
(public member function of std::unique_ptr<T,Deleter>)

Categories:¶

* conditionally noexcept
* Todo no example