std::move_only_function

template< class... >
class move_only_function; // not defined

template< class R, class... Args >
class move_only_function<R(Args...)>;
template< class R, class... Args >
class move_only_function<R(Args...) noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) &>;
template< class R, class... Args >
class move_only_function<R(Args...) & noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) &&>;
template< class R, class... Args >
class move_only_function<R(Args...) && noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) const>;
template< class R, class... Args >
class move_only_function<R(Args...) const noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) const &>;
template< class R, class... Args >
class move_only_function<R(Args...) const & noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) const &&>;
template< class R, class... Args >
class move_only_function<R(Args...) const && noexcept>;

Шаблон класса std::move_only_function представляет собой универсальную полиморфную обёртку функций. std::move_only_functionОбъекты могут хранить и вызывать любую конструируемую (не обязательно конструируемую перемещением) Вызываемуюцель — функции, лямбда-выражения, выражения bind, или другие функциональные объекты, а также указатели на функции-члены и указатели на члены-данные.

Хранимый вызываемый объект называется целью std::move_only_function. Если std::move_only_function не содержит цели, он называется пустым. В отличие от std::function, вызов пустого std::move_only_function приводит к неопределённому поведению.

std::move_only_function поддерживает любую возможную комбинацию cv-квалификаторов (кроме volatile), ref-квалификаторов и спецификаторов noexcept, указанных в его параметре шаблона. Эти квалификаторы и спецификатор (если есть) добавляются к его operator().

std::move_only_function удовлетворяет требованиям MoveConstructible и MoveAssignable, но не удовлетворяет CopyConstructible или CopyAssignable.

Типы членов

Функции-члены

Функции, не являющиеся членами класса

Примечания

Реализации могут хранить вызываемый объект небольшого размера внутри объекта std::move_only_function . Такая оптимизация малых объектов фактически обязательна для указателей на функции и специализаций std::reference_wrapper , и может применяться только к типам T , для которых std:: is_nothrow_move_constructible_v < T > равно true .

Если std::move_only_function , возвращающая ссылку, инициализируется из функции или функционального объекта, возвращающего prvalue (включая лямбда-выражение без завершающего возвращаемого типа), программа некорректна, поскольку привязка возвращаемой ссылки к временному объекту запрещена. См. также std::function Notes.

Пример

#include <functional>
#include <future>
#include <iostream>
int main()
{
    std::packaged_task<double()> packaged_task([](){ return 3.14159; });
    std::future<double> future = packaged_task.get_future();
    auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
//  std::function<void()> function = std::move(lambda); // Ошибка
    std::move_only_function<void()> function = std::move(lambda); // OK
    function();
    std::cout << future.get();
}

3.14159

Смотрите также