std::move_only_function::move_only_function
From ru.cppreference.net
move_only_function() noexcept;
|
(1) | (начиная с C++23) |
move_only_function( std::nullptr_t ) noexcept;
|
(2) | (начиная с C++23) |
move_only_function( move_only_function&& other ) noexcept;
|
(3) | (начиная с C++23) |
move_only_function( const move_only_function& ) = delete;
|
(4) | (начиная с C++23) |
template< class F >
move_only_function( F&& f );
|
(5) | (начиная с C++23) |
template< class T, class... CArgs >
explicit move_only_function( std::in_place_type_t<T>, CArgs&&... args );
|
(6) | (начиная с C++23) |
template< class T, class U, class... CArgs >
explicit move_only_function( std::in_place_type_t<T>,
std::initializer_list<U> il, CArgs&&... args );
|
(7) | (начиная с C++23) |
Создаёт новый std::move_only_function.
1,2) Конструктор по умолчанию и конструктор, принимающий
nullptr создают пустой std::move_only_function.3) Конструктор перемещения создаёт
std::move_only_function, целью которого является цель other. other находится в корректном, но неопределённом состоянии после перемещения.5) Пусть
VT будет std::decay_t<F>. Если f является нулевым указателем на функцию, нулевым указателем на элемент-данные или пустым std::move_only_function (возможно, другой специализацией), то создаётся пустой std::move_only_function. В противном случае создаётся std::move_only_function, чья цель имеет тип VT и инициализируется прямой-не-списочной инициализацией из std::forward<F>(f).
- Эта перегрузка участвует в разрешении перегрузки, только если
VTне является ни тем же самым, что иmove_only_function, ни специализацией std::in_place_type_t, и/*is-callable-from*/<VT>(см. ниже) являетсяtrue. - Программа считается некорректной, если
std::is_constructible_v<VT, F>не являетсяtrue.
6) Пусть
VT будет std::decay_t<T>. Создаёт std::move_only_function, чья цель имеет тип VT и инициализируется прямой-не-списочной инициализацией из std::forward<CArgs>(args)....
- Эта перегрузка участвует в разрешении перегрузки, только если оба
std::is_constructible_v<VT, CArgs...>и/*is-callable-from*/<VT>(см. ниже) являютсяtrue. - Программа считается некорректной, если
VTне является тем же типом, что иT.
7) Пусть
VT будет std::decay_t<T>. Создаёт std::move_only_function, чья цель имеет тип VT и инициализируется прямой-не-списочной инициализацией из il, std::forward<CArgs>(args)....
- Эта перегрузка участвует в разрешении перегрузки, только если оба
std::is_constructible_v<VT, std::initializer_list<U>&, CArgs...>и/*is-callable-from*/<VT>(см. ниже) являютсяtrue. - Программа считается некорректной, если
VTне является тем же типом, что иT.
Для конструкторов (5-7), поведение не определено, если VT не удовлетворяет требованиям Destructible, или std::is_move_constructible_v<VT> является true, но VT не удовлетворяет требованиям MoveConstructible.
Константа /*is-callable-from*/<VT> зависит от cv, ref и noex в параметре шаблона std::move_only_function следующим образом:
cv ref noexcept(noex)
|
/*is-callable-from*/<VT>
|
noexcept(false)
|
std::is_invocable_r_v<R, VT, Args...> && std::is_invocable_r_v<R, VT&, Args...>
|
noexcept(true)
|
std::is_nothrow_invocable_r_v<R, VT, Args...> && std::is_nothrow_invocable_r_v<R, VT&, Args...>
|
const noexcept(false)
|
std::is_invocable_r_v<R, const VT, Args...> && std::is_invocable_r_v<R, const VT&, Args...>
|
const noexcept(true)
|
std::is_nothrow_invocable_r_v<R, const VT, Args...> && std::is_nothrow_invocable_r_v<R, const VT&, Args...>
|
& noexcept(false)
|
std::is_invocable_r_v<R, VT&, Args...>
|
& noexcept(true)
|
std::is_nothrow_invocable_r_v<R, VT&, Args...>
|
const & noexcept(false)
|
std::is_invocable_r_v<R, const VT&, Args...>
|
const & noexcept(true)
|
std::is_nothrow_invocable_r_v<R, const VT&, Args...>
|
&& noexcept(false)
|
std::is_invocable_r_v<R, VT, Args...>
|
&& noexcept(true)
|
std::is_nothrow_invocable_r_v<R, VT, Args...>
|
const && noexcept(false)
|
std::is_invocable_r_v<R, const VT, Args...>
|
const && noexcept(true)
|
std::is_nothrow_invocable_r_v<R, const VT, Args...>
|
Параметры
| other | - |
другой
std::move_only_function
для перемещения
|
| f | - | функция или Callable объект для обёртки |
| args | - | аргументы для конструирования целевого объекта |
| il | - | std::initializer_list для конструирования целевого объекта |
Исключения
5-7)
Может выбросить
std::bad_alloc
при ошибке выделения памяти или распространить исключение, выброшенное при инициализации цели. Никаких исключений не выбрасывается, если
VT
является типом указателя на функцию или специализацией
std::reference_wrapper
.
Пример
|
Этот раздел не завершён
Причина: отсутствует пример |
Смотрите также
создает новый экземпляр
std::function
(публичная функция-член
std::function<R(Args...)>
)
|
|
создает новый объект
std::copyable_function
(публичная функция-член
std::copyable_function
)
|